01779nam 2200505Ia 450 991070185450332120120622112657.0(CKB)5470000002421563(OCoLC)796085603(EXLCZ)99547000000242156320120622d2011 ua 0engurcn|||||||||txtrdacontentcrdamediacrrdacarrierA methodology for evaluating artifacts produced by a formal verification process[electronic resource] /Radu I. Siminiceanu, Paul S. Miner and Suzette PersonHampton, Va. :National Aeronautics and Space Administration, Langley Research Center,[2011]1 online resource (23 pages) color illustrationsNASA/TM ;2011-217193Title from title screen (viewed on June 22, 2012)."November 2011."Includes bibliographical references (page 22).Program verification (computers)nasatFormalismnasatEthernetnasatFault tolerancenasatAlgorithmsnasatDesign analysisnasatProgram verification (computers)Formalism.Ethernet.Fault tolerance.Algorithms.Design analysis.Siminiceanu Radu I1405428Miner Paul S.1962-1405429Person Suzette1405430NASA Glenn Research Center.GPOGPOBOOK9910701854503321A methodology for evaluating artifacts produced by a formal verification process3481898UNINA