1
0
0
(1 - 19 von 25
)
Computer Aided Verification: 21st International Conference, CAV
books.google.de
This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in...
Computer Aided Verification: 21st International Conference, CAV
books.google.de
Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints Peter Lammich, Markus M ̈uller-Olm, and Alexander Wenner Institut f ̈ur ...
Computer Aided Verification: 21st International Conference, ...books.google.com › books
books.google.de
Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints Peter Lammich, Markus Müller-Olm, and Alexander Wenner Institut für ...
Computer Aided Verification: 21st International Conference, CAV
books.google.de
... und Informatik Westf ̈alische Wilhelms-Universit ̈at M ̈unster Abstract. Dynamic ...
dblp: Markus Müller-Olm
dblp.uni-trier.de
List of computer science publications by Markus Müller-Olm
Automatic Data Refinement | SpringerLinklink.springer.com › chapter
link.springer.com
Peter Lammich. Conference paper Accesses. 31 Citations. Part of the Lecture Notes in Computer Science book series (LNTCS,volume 7998) ...
Dr. Peter Lammich - Computer Science - TUM
www21.in.tum.de
Unpublished Isabelle/HOL Related Projects Formalization of pre* for DPNs. Peter Lammich (Preliminary version, not yet published) Abstract We present a formalization of Dynamic Pushdown Networks (DPNs) and the automata based algorithm for com…ng backward reachability sets using Isabelle/HOL. Dynamic pushdown networks are an abstract model for multithreaded, interprocedural …
dblp: BibTeX records: Peter Lammich
136.199.55.186
List of computer science publications by BibTeX records: Peter Lammich
Dr. Peter Lammich - Computer Science - TUMwww21.in.tum.de › ~lammich
www21.in.tum.de
Chair for Logic and Verification. Peter Lammich. Technische Universität München Institut für Informatik Garching Deutschland.
Dr. Peter Lammich - Computer Science - TUM
www21.in.tum.de
The Autoref Tool Abstract We present the Autoref tool for Isabelle/HOL, which automatically refines algorithms specified over abstract concepts like maps and sets …
Maximilian P. L. Haslbeck - Computer Science - TUM
www21.in.tum.de
I studied computer science, with mathematics as minor subject, ... Maximilian P.L. Haslbeck, Peter Lammich Submitted, March ; Competitive Proving for Fun.
Simon Wimmer - Computer Science - TUM
home.in.tum.de
Simon Wimmer and Peter Lammich. TABLEAUX/FroCoS/ITP Archive of Formal Proofs. Hidden Markov Models Simon Wimmer. May Probabilistic Timed Automata Simon Wimmer and Johannes Hölzl. May Monadification, Memoization and Dynamic Programming Simon Wimmer, Shuwei Hu and Tobias Nipkow. May VerifyThis – Polished Isabelle
A Verified SAT Solver Framework with Learn, Forget, Restart, and ...pubmed.ncbi.nlm.nih.gov › ...
pubmed.ncbi.nlm.nih.gov
Authors. Jasmin Christian Blanchette , Mathias Fleury , Peter Lammich , Christoph Weidenbach. Affiliations. 1 1Section of Theoretical Computer Science, ...
A verified SAT solver with watched literals using Imperative HOL...
research.vu.nl
· Mathias Fleury, Jasmin Christian Blanchette, Peter Lammich. Theoretical Computer Science · Network Institute · Theoretical Computer Science.
Alle Infos zum Namen "Peter Lammich"
sortiert nach Relevanz / Datum