FM 2009: Formal Methods

Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

  • Ana Cavalcanti
  • Dennis R. Dams
Conference proceedings FM 2009

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

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Michael Carl Tschantz, Jeannette M. Wing
      Pages 1-15
    2. Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, Elzbieta Krepska
      Pages 16-22
    3. Colin O’Halloran
      Pages 23-32
    4. Sriram K. Rajamani
      Pages 33-40
    5. Annabelle McIver, Larissa Meinicke, Carroll Morgan
      Pages 41-71
  3. Model Checking I

    1. Joxan Jaffar, Andrew E. Santosa
      Pages 72-88
    2. Jonas Schrieb, Heike Wehrheim, Daniel Wonisch
      Pages 106-122
    3. Jun Sun, Yang Liu, Abhik Roychoudhury, Shanshan Liu, Jin Song Dong
      Pages 123-139
  4. Compositionality

    1. Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
      Pages 140-156
    2. Frédéric Lang, Radu Mateescu
      Pages 157-172
    3. Ralph Jeffords, Constance Heitmeyer, Myla Archer, Elizabeth Leonard
      Pages 173-189
  5. Verification

    1. Andreas Schierl, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif
      Pages 190-206
    2. Muzammil Shahbaz, Roland Groz
      Pages 207-222
    3. Michael Kohlhase, Johannes Lemburg, Lutz Schröder, Ewaryst Schulz
      Pages 223-238
  6. Concurrency

    1. Chao Wang, Sudipta Kundu, Malay Ganai, Aarti Gupta
      Pages 256-272
  7. Refinement

    1. Annabelle K. McIver, Carroll C. Morgan
      Pages 289-304

About these proceedings


This book presents the refereed proceedings of FM 2009, the 16th International Symposium on Formal Methods, held as the Second World Congress on Formal Methods in Eindhoven, The Netherlands, in November 2009 in the course of the first International Formal Methods Week, FMWeek 2009.

The 45 revised full papers presented together with 5 invited papers and 3 additional papers from the Industry Day were carefully reviewed and selected from 139 submissions. The papers are organized in topical sections on model checking, compositionality, verification, concurrency, refinement, static analysis, theorem proving, semantics, industrial applications, object-orientation, pointers, real-time, tools and industrial applications, and industry-day abstracts.


B-method C programming language calculus communication protocols complexity constraint solving design distributed systems formal modeling formal specification logic model checking model-based testing statistics verification

Editors and affiliations

  • Ana Cavalcanti
    • 1
  • Dennis R. Dams
    • 2
  1. 1.Department of Computer Science, HeslingtonUniversity of YorkYorkUK
  2. 2.Bell LaboratoriesMurray HillUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-05088-6
  • Online ISBN 978-3-642-05089-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book