NASA Formal Methods

6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings

  • Julia M. Badger
  • Kristin Yvonne Rozier
Conference proceedings NFM 2014

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

Table of contents

  1. Front Matter
  2. Darren Cofer, Steven Miller
    Pages 1-15
  3. André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto
    Pages 16-30
  4. Pedro R. G. Antonino, Marcel Medeiros Oliveira, Augusto C. A. Sampaio, Klaus E. Kristensen, Jeremy W. Bryans
    Pages 31-45
  5. Lars Noschinski, Christine Rizkallah, Kurt Mehlhorn
    Pages 46-61
  6. Robert M. Hierons, Uraz Cengiz Türker
    Pages 62-76
  7. Seppo Horsmanheimo, Maryam Kamali, Mikko Kolehmainen, Mats Neovius, Luigia Petre, Mauno Rönkkö et al.
    Pages 77-91
  8. Dustin Hoffman, Aditi Tagore, Diego Zaccai, Bruce W. Weide
    Pages 92-97
  9. Björn Bartels, Nils Jähnig
    Pages 98-112
  10. Mohamed Yousri Mahmoud, Sofiène Tahar
    Pages 128-142
  11. Stephan Merz, Hernán Vanzetto
    Pages 143-157
  12. Aboubakr Achraf El Ghazi, Mattias Ulbrich, Christoph Gladisch, Shmuel Tyszberowicz, Mana Taghdiri
    Pages 173-187
  13. Paul Jackson, Andrew Sogokon, James Bridge, Lawrence Paulson
    Pages 188-202
  14. Paolo Masci, Yi Zhang, Paul Jones, Patrick Oladimeji, Enrico D’Urso, Cinzia Bernardeschi et al.
    Pages 209-214
  15. Loïc Correnson
    Pages 215-229
  16. Pierre-Loïc Garoche, Falk Howar, Temesghen Kahsai, Xavier Thirioux
    Pages 246-251
  17. Johann Schumann, Stefan-Alexander Schneider
    Pages 252-257
  18. Franco Mazzanti, Giorgio Oronzo Spagnolo, Alessio Ferrari
    Pages 264-269
  19. Adrià Gascón, Ashish Tiwari
    Pages 270-284
  20. Christel Baier, Marcus Daum, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz
    Pages 285-299
  21. Grigory Fedyukovich, Arie Gurfinkel, Natasha Sharygina
    Pages 300-306
  22. Peter Gjøl Jensen, Kim Guldstrand Larsen, Jiří Srba, Mathias Grund Sørensen, Jakob Haar Taankvist
    Pages 307-312
  23. Stephan Arlt, Cindy Rubio-González, Philipp Rümmer, Martin Schäf, Natarajan Shankar
    Pages 313-327
  24. Bogdan Mihaila, Axel Simon
    Pages 328-342
  25. Nuno Carvalho, Cristiano da Silva Sousa, Jorge Sousa Pinto, Aaron Tomb
    Pages 343-358
  26. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 6th International Symposium on NASA Formal Methods, NFM 2014, held in Houston, TX, USA, April 29 – May 1, 2014. The 20 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 107 submissions. The topics include model checking, theorem proving, static analysis, model-based development, runtime monitoring, formal approaches to fault tolerance, applications of formal methods to aerospace systems, formal analysis of cyber-physical systems, including hybrid and embedded systems, formal methods in systems engineering, modeling, requirements and specifications, requirements generation, specification debugging, formal validation of specifications, use of formal methods in safety cases, use of formal methods in human-machine interaction analysis, formal methods for parallel hardware implementations, use of formal methods in automated software engineering and testing, correct-by-design, design for verification, and property based design techniques, techniques and algorithms for scaling formal methods, e.g., abstraction and symbolic methods, compositional techniques, parallel and distributed techniques, and application of formal methods to emerging technologies.


embeded systems formal methods formal verification gene regulation networks java model checking real-time systems simulation software engineering static analysis theorem proving theorem proving

Editors and affiliations

  • Julia M. Badger
    • 1
  • Kristin Yvonne Rozier
    • 2
  1. 1.NASAHoustonUSA
  2. 2.Intelligent Systems DivisionNASA Ames Research CenterMoffett FieldUSA

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-06199-3
  • Online ISBN 978-3-319-06200-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site