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: http://hdl.handle.net/2014/20702

Title: Model Checking Verification and Validation at JPL and the NASA Fairmont IV & V Facility
Authors: Schneider, F.
Easterbrook, S.
Callahan, J.
Montgomery, T.
Issue Date: 2-Dec-1998
Citation: Annual Software Engineering Workshop
Goddard, Maryland, U.S.A.
Abstract: We show how a technology transfer effort was carried out. The successful use of model checking on a pilot JPL flight project demonstrates the usefulness and the efficacy of the approach.
URI: http://hdl.handle.net/2014/20702
Appears in Collections:JPL TRS 1992+

Files in This Item:

File SizeFormat
98-1759.pdf711.58 kBAdobe 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 November 15, 2012.
If you have any comments or suggestions for this web site, please e-mail Alexander Smith or call 4-4202.