NASA formal methods [electronic resource] : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / Klaus Havelund, Gerard Holzmann, Rajeev Joshi (eds.).
2015
QA76.9.F67 N45 2015eb
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
NASA formal methods [electronic resource] : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / Klaus Havelund, Gerard Holzmann, Rajeev Joshi (eds.).
Meeting Name
NFM (Symposium) (7th : 2015 : Pasadena, California)
ISBN
9783319175249 electronic book
3319175246 electronic book
9783319175232
3319175246 electronic book
9783319175232
Published
Cham : Springer, 2015.
Language
English
Description
1 online resource (xiii, 458 pages) : illustrations.
Item Number
10.1007/978-3-319-17524-9 doi
Call Number
QA76.9.F67 N45 2015eb
Dewey Decimal Classification
004.01/51
Summary
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.
Note
International conference proceedings.
Includes author index.
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed April 16, 2015).
Series
Lecture notes in computer science ; 9058.
LNCS sublibrary. SL 2, Programming and software engineering.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources