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
    2. Neil Walkinshaw, John Derrick, Qiang Guo
      Pages 305-320
    3. Yang Liu, Wei Chen, Yanhong A. Liu, Jun Sun
      Pages 321-337
  8. Static Analysis

    1. Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies
      Pages 338-353
    2. Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, Norman Scaife, Martin Hofmann
      Pages 354-369
    3. Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla
      Pages 370-386
  9. Theorem Proving

    1. Mark Reynolds
      Pages 403-418
    2. Christoph Lüth, Dennis Walter
      Pages 419-434
    3. Osman Hasan, Naeem Abbasi, Behzad Akbarpour, Sofiène Tahar, Reza Akbarpour
      Pages 435-450
  10. Semantics

    1. Paweł Gancarski, Andrew Butterfield
      Pages 451-466
    2. Yifeng Chen, J. W. Sanders
      Pages 467-482
    3. Theophilos Giannakopoulos, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
      Pages 483-498
    4. Steve Reeves, David Streader
      Pages 499-515
  11. Special Track: Industrial Applications I

    1. Faranak Heidarian, Julien Schmaltz, Frits Vaandrager
      Pages 516-531
    2. Jean Souyris, Virginie Wiels, David Delmas, Hervé Delseny
      Pages 532-546
  12. Object-Orientation

    1. Kenneth Lausdahl, Hans Kristian Agerlund Lintrup, Peter Gorm Larsen
      Pages 563-578
    2. Mar Yah Said, Michael Butler, Colin Snook
      Pages 579-595
    3. Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu
      Pages 596-611
    4. Wolfgang Ahrendt, Frank S. de Boer, Immo Grabe
      Pages 612-627
  13. Pointers

  14. Real-Time

    1. Borzoo Bonakdarpour, Sandeep S. Kulkarni
      Pages 660-675
    2. Kim G. Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas
      Pages 676-691
  15. Special Track: Tools and Industrial Applications II

    1. Artur Oliveira Gomes, Marcel Vinícius Medeiros Oliveira
      Pages 692-707
    2. Michael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge
      Pages 708-723
    3. Sarvani Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby
      Pages 724-740
  16. Model Checking II

    1. Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro
      Pages 741-756
    2. Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
      Pages 757-772
    3. William R. Harris, Nicholas A. Kidd, Sagar Chaki, Somesh Jha, Thomas Reps
      Pages 773-789

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 Computer Science (R0)
  • Print ISBN 978-3-642-05088-6
  • Online ISBN 978-3-642-05089-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site