21. CADE 2007:
Bremen,
Germany - VERIFY
Bernhard Beckert (Ed.):
Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007.
CEUR Workshop Proceedings 259 CEUR-WS.org 2007 BibTeX
Abstracts of Invited Talks
Research Papers
- Eyad Alkassar, Mark A. Hillebrand, Steffen Knapp, Rostislav Rusev, Sergey Tverdyshev:
Formal Device and Programming Model for a Serial Interface.
Electronic Edition (link) BibTeX
- Mamoun Filali:
A Mechanization of Phylogenetic Trees.
Electronic Edition (link) BibTeX
- Pascal Fontaine:
Combinations of Theories and the Bernays-Schönfinkel-Ramsey Class.
Electronic Edition (link) BibTeX
- Borislav Gajanovic, Bernhard Rumpe:
ALICE: An Advanced Logic for Interactive Component Engineering.
Electronic Edition (link) BibTeX
- Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan:
A History-based Verification of Distributed Applications.
Electronic Edition (link) BibTeX
- Daniel Larsson, Reiner Hähnle:
Symbolic Fault Injection.
Electronic Edition (link) BibTeX
- Jia Meng, Lawrence C. Paulson, Gerwin Klein:
A Termination Checker for Isabelle Hoare Logic.
Electronic Edition (link) BibTeX
- Till Mossakowski, Christian Maeder, Klaus Lüttich:
The Heterogeneous Tool Set (Hets).
Electronic Edition (link) BibTeX
- Wojciech Mostowski:
Fully Verified Java Card API Reference Implementation.
Electronic Edition (link) BibTeX
- Olivera Pavlovic, Ralf Pinger, Maik Kollmann:
Automation of Formal Verification of PLC Programs Written in IL.
Electronic Edition (link) BibTeX
- André Platzer:
Combining Deduction and Algebraic Constraints for Hybrid System Analysis.
Electronic Edition (link) BibTeX
- Philipp Rümmer:
A Sequent Calculus for Integer Arithmetic with Counterexample Generation.
Electronic Edition (link) BibTeX
- Peter H. Schmitt, Benjamin Weiss:
Inferring Invariants by Symbolic Execution.
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:00:06 2009
by Michael Ley (ley@uni-trier.de)
