© 2019

NASA Formal Methods

11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

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

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 11460)

Table of contents

  1. Front Matter
    Pages i-xxi
  2. Bernhard K. Aichernig, Christian Burghard, Robert Korošec
    Pages 1-18
  3. James Ortiz, Moussa Amrani, Pierre-Yves Schobbens
    Pages 19-35
  4. Rylo Ashmore, Arie Gurfinkel, Richard Trefler
    Pages 36-53
  5. Benoît Barbot, Nicolas Basset, Thao Dang
    Pages 54-70
  6. Suda Bharadwaj, Steven Carr, Natasha Neogi, Hasan Poonawala, Alejandro Barberia Chueca, Ufuk Topcu
    Pages 71-87
  7. Allan Blanchard, Frédéric Loulergue, Nikolai Kosmatov
    Pages 88-105
  8. Matteo Busi, Pierpaolo Degano, Letterio Galletta
    Pages 106-122
  9. Chris Casinghino, J. T. Paasch, Cody Roux, John Altidor, Michael Dixon, Dustin Jamner
    Pages 123-129
  10. Jannik Dunkelau, Sebastian Krings, Joshua Schmidt
    Pages 130-147
  11. Mathias Fleury
    Pages 148-165
  12. Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist
    Pages 186-203
  13. Marijn J. H. Heule, Benjamin Kiesl, Armin Biere
    Pages 204-210
  14. Amjad Ibrahim, Severin Kacianka, Alexander Pretschner, Charles Hartsell, Gabor Karsai
    Pages 211-227
  15. Eleftherios Ioannidis, Frans Kaashoek, Nickolai Zeldovich
    Pages 228-236
  16. Nils Jansen, Laura Humphrey, Jana Tumova, Ufuk Topcu
    Pages 237-254
  17. Sudeep Kanav, Levi Lúcio, Christian Hilden, Thomas Schuetz
    Pages 255-262
  18. Jürgen König, Heike Wehrheim
    Pages 263-279

About these proceedings


This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019.

The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions. The papers focus on formal verification, including theorem proving, model checking, and static analysis; advances in automated theorem proving including SAT and SMT solving; use of formal methods in software and system testing; run-time verification; techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, as well as parallel and/or distributed techniques; code generation from formally verified models; safety cases and system safety; formal approaches to fault tolerance; theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems; formal methods in systems engineering and model-based development; correct-by-design controller synthesis; formal assurance methods to handle adaptive systems.


formal methods model checking and theorem proving automated static analysis logic and verification modal and temporal logics verification via model checking model checking theorem proving and SAT solving automated reasoning software verification and validation formal languages and automata theory proof theory higher order logic semantics software engineering

Editors and affiliations

  1. 1.NASAHoustonUSA
  2. 2.Iowa State UniversityAmesUSA

Bibliographic information