TY  - BOOK
AU  - Brat,Guillaume
AU  - Rungta,Neha
AU  - Venet,Arnaud
ED  - SpringerLink (Online service)
TI  - NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783642380884
AV  - QA76.758 
U1  - 005.1 23
PY  - 2013///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg, Imprint: Springer
KW  - Computer science
KW  - Software engineering
KW  - Computer programming
KW  - Programming languages (Electronic computers)
KW  - Operating systems (Computers)
KW  - Computer logic
KW  - Computer Science
KW  - Software Engineering
KW  - Programming Languages, Compilers, Interpreters
KW  - Operating Systems
KW  - Logics and Meanings of Programs
KW  - Software Engineering/Programming and Operating Systems
KW  - Programming Techniques
N1  - Model checking -- Applications of formal methods -- Complex systems -- Static analysis -- Symbolic execution -- Requirements and specifications -- Probabilistic and statistical analysis.- Theorem proving
N2  - This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully reviewed and selected from 99 submissions. The topics are organized in topical sections on model checking; applications of formal methods; complex systems; static analysis; symbolic execution; requirements and specifications; probabilistic and statistical analysis; and theorem proving
UR  - http://dx.doi.org/10.1007/978-3-642-38088-4
ER  -