FM 2012: Formal Methods

18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

  • Dimitra Giannakopoulou
  • Dominique Méry

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7436)

Table of contents

  1. Front Matter
  2. Martín Abadi
    Pages 1-5
  3. Fides Aarts, Faranak Heidarian, Harco Kuppens, Petur Olsen, Frits Vaandrager
    Pages 10-27
  4. María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero
    Pages 28-32
  5. Étienne André, Laurent Fribourg, Ulrich Kühne, Romain Soulat
    Pages 33-36
  6. Virginia Aponte, Pierre Courtieu, Yannick Moy, Marc Sango
    Pages 37-51
  7. Mikael Asplund, Atif Manzoor, Mélanie Bouroche, Siobhàn Clarke, Vinny Cahill
    Pages 52-67
  8. Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger, David Rydeheard
    Pages 68-84
  9. Andreas Bauer, Yliès Falcone
    Pages 85-100
  10. Soufiene Benkirane, Rachel Norman, Erin Scott, Carron Shankland
    Pages 101-115
  11. Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb
    Pages 116-131
  12. Maria Christakis, Peter Müller, Valentin Wüstholz
    Pages 132-146
  13. Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto
    Pages 147-154
  14. Nicolás D’Ippolito, Victor Braberman, Nir Piterman, Sebastián Uchitel
    Pages 155-170
  15. Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix
    Pages 171-186
  16. Evren Ermis, Martin Schäf, Thomas Wies
    Pages 187-201

About these proceedings


This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing and controller synthesis, as well as novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics.


algorithms automata automated verification model checking software development

Editors and affiliations

  • Dimitra Giannakopoulou
    • 1
  • Dominique Méry
    • 2
  1. 1.NASA Ames Research CenterMoffett FieldUSA
  2. 2.Université de Lorraine LORIAVandoeuvre lès NancyFrance

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-32758-2
  • Online ISBN 978-3-642-32759-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site