Advertisement

FM 2008: Formal Methods

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

  • Editors
  • Jorge Cuellar
  • Tom Maibaum
  • Kaisa Sere

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
  9. Session 8. Communication

  10. Session 9. Constraint Analysis

    1. Engin Uzuncaova, Sarfraz Khurshid
      Pages 310-325
    2. Emina Torlak, Felix Sheng-Ho Chang, Daniel Jackson
      Pages 326-341
    3. Thomas Gawlitza, Helmut Seidl
      Pages 342-357
  11. Session 10. Design

    1. Tim McComb, Graeme Smith
      Pages 358-373
    2. Borzoo Bonakdarpour, Sandeep S. Kulkarni
      Pages 374-389
    3. Alexander Harhurin, Judith Hartmann
      Pages 390-405
  12. Session 11. Industry Day

  13. Back Matter

About these proceedings

Introduction

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.

Keywords

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

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-68237-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-68235-6
  • Online ISBN 978-3-540-68237-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering