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: 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.
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 December 5, 2014.
If you have any comments or suggestions for this web site, please e-mail Robert Powers.