|
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+
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
