01631nam 2200457I 450 991070571000332120170710075200.0(CKB)5470000002453311(OCoLC)993254241(EXLCZ)99547000000245331120170710j201702 ua 0engurcn|||||||||txtrdacontentcrdamediacrrdacarrierFormal assurance certifiable tooling strategy final report /Eric Bush [and six others]Hampton, Virginia :National Aeronautics and Space Administration, Langley Research Center,February 2017.1 online resource (31 pages) color illustrationsNASA/CR ;2017-219372"February 2017.""Performing organization: NASA Langley Research Center"--Report documentation page.Includes bibliographical references (page 31).CertificationnasatComputer programsnasatProgram verification (computers)nasatSoftware development toolsnasatSoftware engineeringnasatCertification.Computer programs.Program verification (computers)Software development tools.Software engineering.Bush Eric Niels1397949Langley Research Center,GPOGPOBOOK9910705710003321Formal assurance certifiable tooling strategy final report3460338UNINA