NASA NTRS · 20060053282
A Software Safety Certification Plug-in for Automated Code Generators (Executive Briefing)
Abstract
A viewgraph presentation describing a certification tool to check the safety of auto-generated codes is shown. The topics include: 1) Auto-generated Code at NASA; 2) Safety of Auto-generated Code; 3) Technical Approach; and 4) Project Plan.
Keep this discovery
Explore connections, maps & timelines
Denney, Ewen, Schumann, Johann, Greaves, Doug. 2006-01-01. A Software Safety Certification Plug-in for Automated Code Generators (Executive Briefing). https://ntrs.nasa.gov/citations/20060053282
Cite the original work for its findings. Save a collection to share your selection of sources.