The primary goal of the workshop was to bring together formal methods researchers and aerospace industry engineers to investigate new opportunities for applying formal methods to aerospace problems. The first part of the workshop was tutorial in nature. The second part of the workshop explored the potential of formal methods to address current aerospace design and verification problems. The third part of the workshop involved on-line demonstrations of state-of-the-art formal verification tools. Also, a detailed survey was filled in by the attendees; the results of the survey are compiled.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    The Second NASA Formal Methods Workshop 1992


    Contributors:

    Publication date :

    1992-11-01


    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English




    Second NASA Formal Methods Workshop 1992

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


    NASA Formal Methods Workshop, 1990

    R. W. Butler | NTIS | 1990


    NASA Formal Methods Workshop, 1990

    Butler, Ricky W. | NTRS | 1990



    Fourth NASA Langley Formal Methods Workshop

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