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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    NASA Langley Research and Technology-Transfer Program in Formal Methods


    Beteiligte:

    Erscheinungsdatum :

    01.01.1995


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch





    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