(Automated Verification of Flight Software), a collection of tools for analyzing source programs written in FORTRAN and AED is documented. The quality and the reliability of flight software are improved by: (1) indented listings of source programs, (2) static analysis to detect inconsistencies in the use of variables and parameters, (3) automated documentation, (4) instrumentation of source code, (5) retesting guidance, (6) analysis of assertions, (7) symbolic execution, (8) generation of verification conditions, and (9) simplification of verification conditions. Use of AVFS in the verification of flight software is described.
Automated verification of flight software. User's manual
1982-04-01
Report
No indication
English
Plot-flight user's manual, version 1.0
NTIS | 1995
|Intermodal Cost Analysis Software User's Manual
NTIS | 1999
|Your Flight Doc: A User's Manual - Is your Flight Doc "on board"?
Online Contents | 2001