NASA Formal Methods

5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

  • Guillaume Brat
  • Neha Rungta
  • Arnaud Venet
Conference proceedings NFM 2013

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

Table of contents

  1. Front Matter
  2. Session 1: Model Checking

    1. Petr Ročkai, Jiří Barnat, Luboš Brim
      Pages 1-15
    2. Alfons Laarman, David Faragó
      Pages 32-47
  3. Session 2: Applications of Formal Methods

    1. Rody Kersten, Bernard van Gastel, Manu Drijvers, Sjaak Smetsers, Marko van Eekelen
      Pages 63-77
    2. Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Hillel Kugler
      Pages 78-92
  4. Session 3: Complex Systems

    1. Frédéric Boniol, Michaël Lauer, Claire Pagetti, Jérôme Ermont
      Pages 93-107
    2. Olivier Bouissou, Alexandre Chapoutot, Adel Djoudi
      Pages 108-123
    3. Malte Isberner, Falk Howar, Bernhard Steffen
      Pages 124-138
  5. Session 4: Static Analysis

    1. Pierre-Loïc Garoche, Temesghen Kahsai, Cesare Tinelli
      Pages 139-154
    2. Yassamine Seladji, Olivier Bouissou
      Pages 155-169
    3. Bogdan Mihaila, Alexander Sepp, Axel Simon
      Pages 170-184
    4. Dennis Griffith, Elsa L. Gunter
      Pages 185-197
  6. Session 5: Symbolic Execution

    1. Timothy K. Zirkel, Stephen F. Siegel, Timothy McClory
      Pages 198-212
    2. Wei-Fan Chiang, Ganesh Gopalakrishnan, Guodong Li, Zvonimir Rakamarić
      Pages 213-228
    3. Jaco Geldenhuys, Nazareno Aguirre, Marcelo F. Frias, Willem Visser
      Pages 229-243
  7. Session 6: Requirements and Specifications

    1. Daniela Remenska, Jeff Templon, Tim A. C. Willemse, Philip Homburg, Kees Verstoep, Adria Casajus et al.
      Pages 244-260
    2. Aditi Tagore, Bruce W. Weide
      Pages 261-275
    3. Brian R. Larson, Patrice Chalin, John Hatcliff
      Pages 276-290

About these proceedings


This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully reviewed and selected from 99 submissions. The topics are organized in topical sections on model checking; applications of formal methods; complex systems; static analysis; symbolic execution; requirements and specifications; probabilistic and statistical analysis; and theorem proving.


embedded systems formal verification gene regulation networks real-time systems software engineering

Editors and affiliations

  • Guillaume Brat
    • 1
  • Neha Rungta
    • 2
  • Arnaud Venet
    • 3
  1. 1.NASA Ames Research CenterUSA
  2. 2.Stinger Ghaffarian Technologies Inc.NASA Ames Research CenterUSA
  3. 3.NASA Ames Research CenterCarnegie Mellon UniversityUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-38087-7
  • Online ISBN 978-3-642-38088-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site