FM 2006:
Hamilton,
Canada
Jayadev Misra, Tobias Nipkow, Emil Sekerinski (Eds.):
FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings.
Lecture Notes in Computer Science 4085 Springer 2006, ISBN 3-540-37215-6 BibTeX
Invited Talk
Interactive Verification
- Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Wolfgang Reif:
The Mondex Challenge: Machine Checked Proofs for an Electronic Purse.
16-31
Electronic Edition (link) BibTeX
- Jonathan Schmitt, Alwin Hoffmann, Michael Balser, Wolfgang Reif, Mar Marcos:
Interactive Verification of Medical Guidelines.
32-47
Electronic Edition (link) BibTeX
- David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge:
Certifying Airport Security Regulations Using the Focal Environment.
48-63
Electronic Edition (link) BibTeX
- Shinya Umeno, Nancy A. Lynch:
Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study.
64-80
Electronic Edition (link) BibTeX
Invited Talk
Formal Modelling of Systems
Real Time
Industrial Experience
Specification and Refinement
Programming Languages
Algebra
Education
Formal Modelling of Systems
Formal Aspects of Java
Programming Languages
Model Checking
Industry Day:
Abstracts of Invited Talks
Copyright © Sat May 16 23:12:15 2009
by Michael Ley (ley@uni-trier.de)