Intelligent Computer Mathematics - kwarc.info
kwarc.info
A Sequent Calculus for a First-order Dynamic Logic with Trace Modalities for Promela$^+$. Florian Rabe, Steffen Schlager, Peter Schmitt, Proceedings of ...
Steffen Schlager - Looploop.frontiersin.org › people › overview
loop.frontiersin.org
Wolfgang Ahrendt; Thomas Baar; Bernhard Beckert; Richard Bubel; Martin Giese; Reiner Hähnle; Wolfram Menzel; 3 more; Peter H. Schmitt. Software and ...
Prof. . Steffen Schlager
www.steffen-schlager.de
Steffen Schlager PhD-Thesis, Universität Karlsruhe Sierke-Verlag. The KeY System 1.0 (Deduction Component) Bernhard Beckert, Martin Giese, Reiner Hähnle, Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, and Peter H. Schmitt Proceedings, International Conference on Automated Deduction (CADE) PDF - BibTeX - Abstract - Springer-Verlag, LNCS Dynamic Logic Bernhard Beckert, …
Automated Reasoning with Analytic Tableaux and Related Methods
books.google.de
... Beckert, Richard Bubel, Martin Giese, Reiner Hähnle and Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, and Peter H. Schmitt.
Model Driven Engineering Languages and Systems: 8th International...
books.google.de
... Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, and Peter H. Schmitt.
Communicating Process Architectures 2005: WoTUG-28 : Proceedings of...
books.google.nl
Verification of JCSP Programs Vladimir KLEBANOV, a Philipp RÜMMER, b,1 Steffen SCHLAGER c and Peter H. SCHMITT c aUniversity of Koblenz-Landau, ...
Scientific Engineering of Distributed Java Applications: 4th...
books.google.de
... Beckert, Richard Bubel, Martin Giese, Reiner H ̈ahnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, and Peter H. Schmitt. The KeY ...
The KeY Toolciteseerx.ist.psu.edu › summary
citeseerx.ist.psu.edu
... Bernhard Beckert , Richard Bubel , Martin Giese , Reiner Hähnle , Wolfram Menzel , Wojciech Mostowski , Andreas Roth , Steffen Schlager , Peter H. Schmitt ...
The KeY Tool Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert ...www.cse.chalmers.se › papers › sosym05.abstract.txt
www.cse.chalmers.se
... Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt KeY is a tool that provides facilities for formal specification and verification of programs ...
Your list of literature
lupus.cs.uni-dortmund.de
Steffen Schlager. und. Peter H. Schmitt. : The KeY system (Deduction Component). In: CADE, Seiten 379–384,
2005 — Universität Koblenz · Landau
www.uni-koblenz-landau.de
Bernhard Beckert, Steffen Schlager, and Peter H. Schmitt. An improved rule for while loops in deductive program verification. In Kung-Kiu Lau, editor, ...
Alle Infos zum Namen "Steffen Schlager"
2nd International KeY Workshop
i12www.ira.uka.de
Steffen Schlager (Universität Karlsruhe) Peter H. Schmitt (Universität Karlsruhe) Holger Stenger (Universität Karlsruhe) Angela Wallenburg (Chalmers University of ...
KIT - Anwendungsorientierte Formale Verifikation - Veröffentlichungen
formal.kastel.kit.edu
Bernhard Beckert and Martin Giese and Reiner Hähnle and Vladimir Klebanov and Philipp Rümmer and Steffen Schlager and Peter H. Schmitt: In: Proceedings, ...
Publications
lfm.iti.kit.edu
The KeY System 1.0 (Deduction Component) Author(s): Bernhard Beckert Martin Giese Reiner Hähnle Vladimir Klebanov Philipp Rümmer Steffen Schlager Peter H. Schmitt
CiteSeerX — Active Bibliography: A Sequent Calculus for First-order...
citeseer.uark.edu
by Bernhard Beckert , Steffen Schlager ... Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt
KeY Project: Integrated Deductive Software Designi12www.ira.uka.de › key › publicat
i12www.ira.uka.de
Bernhard Beckert, Martin Giese, Reiner Hähnle, Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, and Peter H. Schmitt International Conference on ...
LPAR-12 Accepted Paperswww.cs.miami.edu › home › geoff › Conferences
www.cs.miami.edu
Extensional Higher-Order Datalog; Florian Rabe, Steffen Schlager and Peter Schmitt A Sequent Calculus for a First-order Dynamic Logic with Trace Modalities ...
IOS Press Ebooks - Verification of JCSP Programs
ebooks.iospress.nl
loading subjects... cover. Verification of JCSP Programs. Authors. Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt. Pages
sortiert nach Relevanz / Datum