The Future of Software Certification - A RoadmapWe present some thoughts on how automated software analysis tools can support the certification of safety-critical software.
Document ID
20100023326
Acquisition Source
Ames Research Center
Document Type
Presentation
Authors
Denney, Ewen (SGT, Inc. Moffett Field, CA, United States)
Date Acquired
August 24, 2013
Publication Date
July 15, 2009
Subject Category
Computer Programming And Software
Report/Patent Number
ARC-E-DAA-TN698
Meeting Information
Meeting: Frontiers of Automated Software Engineering