Acquisition Source
Jet Propulsion Laboratory
Document Type
Preprint (Draft being sent to journal)
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
Keywords
software verificationgrand challenge projectsoftware reliabilityLogic model checkingflash file system challengesoftware structure