NASA Formal Methods

Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

  • Mihaela Bobaru
  • Klaus Havelund
  • Gerard J. Holzmann
  • Rajeev Joshi
Conference proceedings NFM 2011

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Invited Tutorials

    1. Andreas Bauer, Martin Leucker
      Pages 13-40
    2. Bart Jacobs, Jan Smans, Pieter Philippaerts, Frédéric Vogels, Willem Penninckx, Frank Piessens
      Pages 41-55
  4. Regular Papers

    1. Jason Belt, John Hatcliff, Robby, Patrice Chalin, David Hardin, Xianghua Deng
      Pages 58-72
    2. William Denman, Mohamed H. Zaki, Sofiène Tahar, Luis Rodrigues
      Pages 89-100
    3. Simon Foster, Georg Struth
      Pages 116-130
    4. Arie Gurfinkel, Sagar Chaki, Samir Sapra
      Pages 131-145
    5. Ernst Moritz Hahn, Tingting Han, Lijun Zhang
      Pages 146-161
    6. Heber Herencia-Zapana, George Hagen, Anthony Narkawicz
      Pages 162-176
    7. Temesghen Kahsai, Yeting Ge, Cesare Tinelli
      Pages 192-206
    8. Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse
      Pages 207-221
    9. Tsutomu Kumazawa, Tetsuo Tamai
      Pages 222-236
    10. Shuvendu K. Lahiri, Shaz Qadeer
      Pages 237-251
    11. Zarrin Langari, Richard Trefler
      Pages 252-266
    12. Aleksandar Milicevic, Hillel Kugler
      Pages 282-297
    13. Jan Peleska, Elena Vorobev, Florian Lapschies
      Pages 298-312
    14. Mahmoud Said, Chao Wang, Zijiang Yang, Karem Sakallah
      Pages 313-327
    15. Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Michael Butler
      Pages 328-342
    16. Matheus Souza, Mateus Borges, Marcelo d’Amorim, Corina S. Păsăreanu
      Pages 359-374
    17. Wilfried Steiner, Bruno Dutertre
      Pages 375-390
    18. Anton Wijs
      Pages 422-437
    19. Faqing Yang, Jean-Pierre Jacquot
      Pages 438-452
  5. Tool Papers

    1. Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan
      Pages 453-458
    2. Cristiano Calcagno, Dino Distefano
      Pages 459-465
    3. Chih-Hong Cheng, Saddek Bensalem, Barbara Jobstmann, Rongjie Yan, Alois Knoll, Harald Ruess
      Pages 466-471
    4. Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Kenneth Yrke Jørgensen, Kim Gulstrand Larsen, Mads Chr. Olesen, Petur Olsen et al.
      Pages 487-493
    5. Colin Eles, Mark Lawford
      Pages 494-499
    6. Moritz Kleine, Björn Bartels, Thomas Göthel, Steffen Helke, Dirk Prenzel
      Pages 500-505
    7. Alfons Laarman, Jaco van de Pol, Michael Weber
      Pages 506-511
    8. Ulrich Loup, Erika Ábrahám
      Pages 512-517
  6. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011.
The 26 revised full papers presented together with 12 tool papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 141 submissions. The topics covered by NFM 2011 included but were not limited to: theorem proving, logic model checking, automated testing and simulation, model-based engineering, real-time and stochastic systems, SAT and SMT solvers, symbolic execution, abstraction and abstraction refinement, compositional verification techniques; static and dynamic analysis techniques, fault protection, cyber security, specification formalisms, requirements analysis, and applications of formal techniques.


automated reasoning concurrency requirements analysis software verification validation

Editors and affiliations

  • Mihaela Bobaru
    • 1
  • Klaus Havelund
    • 1
  • Gerard J. Holzmann
    • 1
  • Rajeev Joshi
    • 1
  1. 1.NASA Jet Propulsion LaboratoryPasadenaUSA

Bibliographic information