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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    The Second NASA Formal Methods Workshop 1992


    Beteiligte:

    Erscheinungsdatum :

    01.11.1992


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch




    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