NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
New Challenges in Model CheckingIn the last 25 years, the notion of performing software verification with logic model checking techniques has evolved from intellectual curiosity to accepted technology with significant potential for broad practical application. In this paper we look back at the main steps in this evolution and illustrate how the challenges have changed over the years, as we sharpened our theories and tools. Next we discuss a typical challenge in software verification that we face today - and that perhaps we can look back on in another 25 years as having inspired the next logical step towards a broader integration of model checking into the software development process.
Document ID
20070017961
Acquisition Source
Jet Propulsion Laboratory
Document Type
Preprint (Draft being sent to journal)
External Source(s)
Authors
Holzmann, Gerard J.
(Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Joshi, Rajeev
(Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Groce, Alex
(Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Date Acquired
August 23, 2013
Publication Date
August 16, 2006
Subject Category
Computer Programming And Software
Meeting Information
Meeting: Proceedings of the Conference on Computer-Aided Verification
Location: Seattle, WA
Country: United States
Start Date: August 16, 2006
End Date: August 20, 2006
Distribution Limits
Public
Copyright
Other
Keywords
software verification
grand challenge project
software reliability
Logic model checking
flash file system challenge
software structure

Available Downloads

There are no available downloads for this record.
No Preview Available