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
Invited Talk
Interactive Verification
- Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Wolfgang Reif:
The Mondex Challenge: Machine Checked Proofs for an Electronic Purse.
16-31

- Jonathan Schmitt, Alwin Hoffmann, Michael Balser, Wolfgang Reif, Mar Marcos:
Interactive Verification of Medical Guidelines.
32-47

- David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge:
Certifying Airport Security Regulations Using the Focal Environment.
48-63

- 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

Invited Talk
- Ernie Cohen:
Validating the Microsoft Hypervisor.
81-81

Formal Modelling of Systems
Real Time
Industrial Experience
Specification and Refinement
Programming Languages
Algebra
Education
- Raymond T. Boute:
Using Domain-Independent Problems for Introducing Formal Methods.
316-331

Formal Modelling of Systems
Formal Aspects of Java
Programming Languages
Model Checking
Industry Day:
Abstracts of Invited Talks
Last update Sat May 25 02:53:59 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page