FM 2011: Formal Methods

17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings

  • Michael Butler
  • Wolfram Schulte

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Jasmin Fisher, Nir Piterman, Moshe Y. Vardi
      Pages 3-11
  3. Cyber-Physical Systems

    1. Werner Damm, Bernd Finkbeiner
      Pages 12-26
    2. Daniel Dietsch, Bernd Westphal, Andreas Podelski
      Pages 27-41
    3. Sarah M. Loos, André Platzer, Ligia Nistor
      Pages 42-56
  4. Runtime Analysis

    1. Howard Barringer, Klaus Havelund
      Pages 57-72
    2. Peter Müller, Joseph N. Ruskiewicz
      Pages 73-87
    3. Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister
      Pages 88-102
  5. Case Studies / Tools

    1. Fabienne Boyer, Olivier Gruber, Gwen Salaün
      Pages 103-117
    2. Anne E. Haxthausen, Andreas A. Kjær, Marie Le Bliguet
      Pages 118-132
    3. Aboubakr Achraf El Ghazi, Mana Taghdiri
      Pages 133-148
    4. Nuno Amálio, Christian Glodt, Pierre Kelsen
      Pages 149-153
  6. Experience

    1. Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar et al.
      Pages 154-168
  7. Program Compilation and Transformation

    1. Guodong Li
      Pages 169-183
    2. Javier de Dios, Ricardo Peña
      Pages 184-199
    3. Gilles Barthe, Juan Manuel Crespo, César Kunz
      Pages 200-214
  8. Security

    1. Michael J. Banks, Jeremy L. Jacob
      Pages 215-230
    2. Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna
      Pages 231-245

About these proceedings


This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011.
The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking.


Z specification language formal software testing formal verification model-based systems design safety-critical systems satisfiability systems validation

Editors and affiliations

  • Michael Butler
    • 1
  • Wolfram Schulte
    • 2
  1. 1.University of SouthamptonUK
  2. 2.Microsoft ResearchRedmondUSA

Bibliographic information

  • DOI
  • Copyright Information Springer Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-21436-3
  • Online ISBN 978-3-642-21437-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site