Overview
- Fast track conference proceedings
- Unique visibility
- State of the art research
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6617)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: NFM 2011.
Buy print copy
About this book
The 26 revised full papers presented together with 12 tool papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 141 submissions. The topics covered by NFM 2011 included but were not limited to: theorem proving, logic model checking, automated testing and simulation, model-based engineering, real-time and stochastic systems, SAT and SMT solvers, symbolic execution, abstraction and abstraction refinement, compositional verification techniques; static and dynamic analysis techniques, fault protection, cyber security, specification formalisms, requirements analysis, and applications of formal techniques.
Similar content being viewed by others
Keywords
Table of contents (43 papers)
-
Tool Papers
Other volumes
-
NASA Formal Methods
Editors and Affiliations
Bibliographic Information
Book Title: NASA Formal Methods
Book Subtitle: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
Editors: Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-20398-5
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Berlin Heidelberg 2011
Softcover ISBN: 978-3-642-20397-8Published: 06 April 2011
eBook ISBN: 978-3-642-20398-5Published: 06 April 2011
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 534
Topics: Software Engineering, Programming Languages, Compilers, Interpreters, Operating Systems, Logics and Meanings of Programs, Software Engineering/Programming and Operating Systems, Programming Techniques