FM 2012: Formal Methods

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

  • Dimitra Giannakopoulou
  • Dominique Méry
Conference proceedings FM 2012

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
  17. Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
    Pages 232-246
  18. Hossein Hojjat, Filip Konečný, Florent Garnier, Radu Iosif, Viktor Kuncak, Philipp Rümmer
    Pages 247-251
  19. Taylor T. Johnson, Jeremy Green, Sayan Mitra, Rachel Dudley, Richard Scott Erwin
    Pages 252-266
  20. David Lazar, Andrei Arusoaie, Traian Florin Şerbǎnuţǎ, Chucky Ellison, Radu Mereuta, Dorel Lucanu et al.
    Pages 267-271
  21. Shang-Wei Lin, Yang Liu, Jun Sun, Jin Song Dong, Étienne André
    Pages 272-276
  22. Orna Grumberg, Yael Meller, Karen Yorav
    Pages 277-292
  23. Srinivas Nedunuri, Douglas R. Smith, William R. Cook
    Pages 308-325
  24. Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong, Yan Liu
    Pages 326-340
  25. Ammar Osaiweran, Tom Fransen, Jan Friso Groote, Bart van Rijnsoever
    Pages 341-355
  26. Sam Owre, Indranil Saha, Natarajan Shankar
    Pages 356-371
  27. Daniel Plagge, Michael Leuschel
    Pages 372-386
  28. Grigore Roşu, Andrei Ştefănescu
    Pages 387-402
  29. German E. Sibay, Sebastián Uchitel, Victor Braberman, Jeff Kramer
    Pages 403-417
  30. Fu Song, Tayssir Touili
    Pages 418-433
  31. Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
    Pages 450-454
  32. Guowei Yang, Sarfraz Khurshid, Miryung Kim
    Pages 455-470
  33. Back Matter

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 Computer Science (R0)
  • 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
Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment