NASA NTRS · 20070035128
Autocoding for Verifiability
Abstract
A viewgraph presentation of an automatic code scheme for source verification issues is shown. The topics include: 1) Model-Based Control Law Development with Automatic Code Generation; 2) Source Verification Issues of Automatically Generated Code; 3) MXZ Code Generator; 4) Benefits and Limitations of MXZ; and 5) Current State of the Tool.
Keep this discovery
Explore connections, maps & timelines
Smith, Tim, Santhanam, Vdot. 2006-02-06. Autocoding for Verifiability. https://ntrs.nasa.gov/citations/20070035128
Cite the original work for its findings. Save a collection to share your selection of sources.