NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
New Results in Software Model Checking and AnalysisThis introductory article surveys new techniques, supported by automated tools, for the analysis of software to ensure reliability and safety. Special focus is on model checking techniques. The article also introduces the five papers that are enclosed in this special journal volume.
Document ID
20110008668
Acquisition Source
Ames Research Center
Document Type
Preprint (Draft being sent to journal)
Authors
Pasareanu, Corina S. (Carnegie-Mellon Univ. Moffett Field, CA, United States)
Date Acquired
August 25, 2013
Publication Date
December 1, 2010
Subject Category
Computer Programming And Software
Report/Patent Number
ARC-E-DAA-TN2375
Report Number: ARC-E-DAA-TN2375
Funding Number(s)
CONTRACT_GRANT: NNA08CG83C
Distribution Limits
Public
Copyright
Public Use Permitted.

Related Records

There are no records associated with this record.
No Preview Available