A methodology for evaluating artifacts produced by a formal verification process /

Bibliographic Details

Main Author:	Siminiceanu, Radu I.
Corporate Author:	NASA Glenn Research Center
Other Authors:	Miner, Paul S., Person, Suzette
Format:	Government Document eBook
Language:	English
Published:	Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2011]
Series:	NASA technical memorandum ; 2011-217193.
Subjects:	Program verification (computers) Formalism. Ethernet. Fault tolerance. Algorithms. Design analysis.
Online Access:	https://purl.fdlp.gov/GPO/gpo24326