NASA Formal Methods

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

  • Julia M. Badger
  • Kristin Yvonne Rozier

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

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-3-319-06200-6
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-06199-3
  • Online ISBN 978-3-319-06200-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book