Advertisement

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
  19. Mathias Claus Jensen, Anders Mariegaard, Kim Guldstrand Larsen
    Pages 298-315
  20. Hakan Metin, Souheib Baarir, Fabrice Kordon
    Pages 316-332
  21. Anitha Murugesan, Mohammad Moghadamfalahi, Arunabh Chattopadhyay
    Pages 333-340
  22. David E. Narváez
    Pages 341-354
  23. Yash Vardhan Pant, Rhudii A. Quaye, Houssam Abbas, Akarsh Varre, Rahul Mangharam
    Pages 355-362
  24. Rocco Salvia, Laura Titolo, Marco A. Feliú, Mariano M. Moscato, César A. Muñoz, Zvonimir Rakamarić
    Pages 363-370
  25. Back Matter
    Pages 391-392

About these proceedings

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-030-20652-9
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-20651-2
  • Online ISBN 978-3-030-20652-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site