Cover Image

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
Description
Item Description:Title from title screen (viewed on June 22, 2012).
"November 2011."
Electronic resource.
Physical Description:1 online resource (23 pages) : color illustrations
Bibliography:Includes bibliographical references (page 22).