© 2008

FM 2008: Formal Methods

15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

  • Editors
  • Jorge Cuellar
  • Tom Maibaum
  • Kaisa Sere
Conference proceedings FM 2008

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

Table of contents

  1. Front Matter
  2. Session 1. Invited Talks

    1. Shmuel Katz
      Pages 1-11
    2. Arvind, Nirav Dave, Michael Katelman
      Pages 12-32
    3. David Kitchen, Evan Powell, Jayadev Misra
      Pages 34-34
  3. Session 2. Programming Language Analysis

    1. Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen
      Pages 52-67
    2. Arsenii Rudich, Ádám Darvas, Peter Müller
      Pages 68-83
  4. Session 3. Verification

    1. Thomas Noll, Stefan Rieger
      Pages 84-99
    2. A. K. McIver, C. C. Morgan, C. Gonzalia
      Pages 100-115
    3. Michael Emmi, Dimitra Giannakopoulou, Corina S. Păsăreanu
      Pages 116-131
  5. Session 4. Real-Time and Concurrency

    1. Carlo A. Furia, Matteo Pradella, Matteo Rossi
      Pages 132-147
    2. Radu Mateescu, Damien Thivolle
      Pages 148-164
  6. Session 5. Grand Chellenge Problems

    1. Holger Grandy, Markus Bischof, Kurt Stenzel, Gerhard Schellhorn, Wolfgang Reif
      Pages 165-180
    2. Hugo Daniel Macedo, Peter Gorm Larsen, John Fitzgerald
      Pages 181-197
  7. Session 6. FM Practice

    1. Boutheina Chetali, Quang-Huy Nguyen
      Pages 198-213
    2. Joseph R. Kiniry, Daniel M. Zimmerman
      Pages 214-228
    3. Torben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David Greve
      Pages 229-245
  8. Session 7. Runtime Moitoring and Analysis

    1. Irem Aktug, Mads Dam, Dilian Gurov
      Pages 262-277

About these proceedings


This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008.

The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design.


Constraint Programming language A design formal method programming programming language real-time verification

Bibliographic information

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