NASA Jet Propulsion Laboratory California Institute of Technology Follow this link to skip to the main content

BEACON eSpace at Jet Propulsion Laboratory >
JPL Technical Report Server >
JPL TRS 1992+ >

Please use this identifier to cite or link to this item:

Title: Validation of mission critical software design and implementation using model checking
Authors: Pingree, P. J.
Mikk, E.
Holzmann, G.
Smith, M.
Dams, D.
Issue Date: 27-Oct-2002
Citation: 21st Digital Avionics Systems Conference
Irvine, CA, USA
Abstract: Model Checking conducts an exhaustive exploration of all possible behaviors of a software system design and as such can be used to detect defects in designs that are typically difficult to discover with conventional testing approaches.
Appears in Collections:JPL TRS 1992+

Files in This Item:

File SizeFormat
02-1911.pdf3.05 MBAdobe PDFView/Open

Items in DSpace are protected by copyright, but are furnished with U.S. government purpose use rights.


Privacy/Copyright Image Policy Beacon Home Contact Us
NASA Home Page + Div 27
+ JPL Space
Site last updated on December 5, 2014.
If you have any comments or suggestions for this web site, please e-mail Robert Powers.