(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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Automated verification of flight software. User's manual


    Contributors:
    Saib, S. H. (author)

    Publication date :

    1982-04-01


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English