The workshop brought together researchers involved in the NASA formal methods research effort for detailed technical interchange and provided a mechanism for interaction with representatives from the FAA and the aerospace industry. The workshop also included speakers from industry to debrief the formal methods researchers on the current state of practice in flight critical system design, verification, and certification. The goals were: define and characterize the verification problem for ultra-reliable life critical flight control systems and the current state of practice in industry today; determine the proper role of formal methods in addressing these problems, and assess the state of the art and recent progress toward applying formal methods to this area.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    NASA Formal Methods Workshop, 1990


    Contributors:

    Publication date :

    1990-11-01


    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English




    NASA Formal Methods Workshop, 1990

    R. W. Butler | NTIS | 1990



    Fourth NASA Langley Formal Methods Workshop

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


    Second NASA Formal Methods Workshop 1992

    S. C. Johnson / C. M. Holloway / R. W. Butler | NTIS | 1992


    The Second NASA Formal Methods Workshop 1992

    Johnson, Sally C. / Holloway, C. Michael / Butler, Ricky W. | NTRS | 1992