This paper presents an overview of NASA Langley research program in formal methods. The major goals of this work are to make formal methods practical for use on life critical systems, and to orchestrate the transfer of this technology to U.S. industry through use of carefully designed demonstration projects. Several direct technology transfer efforts have been initiated that apply formal methods to critical subsystems of real aerospace computer systems. The research team consists of five NASA civil servants and contractors from Odyssey Research Associates, SRI International, and VIGYAN Inc.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    NASA Langley Research and Technology-Transfer Program in Formal Methods



    Publication date :

    1995-01-01


    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English





    Fourth NASA Langley Formal Methods Workshop

    C. M. Holloway / K. J. C. Hayhurst | NTIS | 1997


    NASA Langley Research Center

    DelCorso, Joseph A. | NTRS | 2008



    NASA Langley Research Center

    J. A. DelCorso | NTIS | 2008