Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9058)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Conference series link(s): NFM: NASA Formal Methods Symposium
Conference proceedings info: NFM 2015.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (35 papers)
-
Front Matter
-
Invited Papers
-
Front Matter
-
-
Regular Papers
-
Front Matter
-
About this book
This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015.
The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. The topics include model checking, theorem proving; SAT and SMT solving; symbolic execution; static analysis; runtime verification; systematic testing; program refinement; compositional verification; security and intrusion detection; modeling and specification formalisms; model-based development; model-based testing; requirement engineering; formal approaches to fault tolerance; and applications of formal methods.
Keywords
- Isabelle/HOL
- SAT solving
- Web application
- domain-specific language
- embedded systems
- fault analysis
- formal methods
- formal verification
- hybrid systems
- java
- model checking
- real-time systems
- simulation
- software engineering
- specification
- static analysis
- theorem proving
- timed automata
- use cases
- verification
Editors and Affiliations
-
Jet Propulsion Laboratory, Pasadena, USA
Klaus Havelund, Gerard Holzmann, Rajeev Joshi
Bibliographic Information
Book Title: NASA Formal Methods
Book Subtitle: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
Editors: Klaus Havelund, Gerard Holzmann, Rajeev Joshi
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-17524-9
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2015
Softcover ISBN: 978-3-319-17523-2Published: 09 April 2015
eBook ISBN: 978-3-319-17524-9Published: 07 April 2015
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIII, 458
Number of Illustrations: 115 b/w illustrations
Topics: Software Engineering, Programming Languages, Compilers, Interpreters, Operating Systems, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Techniques