FM 2011: Formal Methods

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

  • Michael Butler
  • Wolfram Schulte
Conference proceedings FM 2011

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
    3. Ana Cavalcanti, Andy Wellings, Jim Woodcock
      Pages 246-261
  9. Process Algebra

    1. Zhenbang Chen, Zhiming Liu, Ji Wang
      Pages 262-277
    2. Steve Dunne
      Pages 278-292
    3. Gabriel Ciobanu, Maciej Koutny
      Pages 293-307
  10. Education

  11. Concurrency

    1. John Derrick, Gerhard Schellhorn, Heike Wehrheim
      Pages 323-337
    2. Dominique Méry, Mohamed Mosbah, Mohamed Tounsi
      Pages 338-352
    3. Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, S. Lizeth Tapia Tarifa
      Pages 353-368
  12. Dynamic Structures

    1. Shengchao Qin, Chenguang Luo, Wei-Ngan Chin, Guanhua He
      Pages 369-385
    2. Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin
      Pages 386-401
    3. Bart Jacobs, Jan Smans, Frank Piessens
      Pages 402-416
  13. Model Checking

    1. Kristin Y. Rozier, Moshe Y. Vardi
      Pages 417-431
    2. Shao Jie Zhang, Jun Sun, Jun Pang, Yang Liu, Jin Song Dong
      Pages 432-447
  14. Back Matter

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

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment