This publication consists of papers presented at NASA Langley Research Center's fourth workshop on the application of formal methods to the design and verification of life-critical systems. Topic considered include: Proving properties of accident; modeling and validating SAFER in VDM-SL; requirement analysis of real-time control systems using PVS; a tabular language for system design; automated deductive verification of parallel systems. Also included is a fundamental hardware design in PVS.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Fourth NASA Langley Formal Methods Workshop


    Beteiligte:

    Erscheinungsdatum :

    1997


    Format / Umfang :

    226 pages


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch






    NASA Langley Research and Technology-Transfer Program in Formal Methods

    Butler, Ricky W. / Caldwell, James L. / Carreno, Victor A. et al. | NTRS | 1995


    NASA Formal Methods Workshop, 1990

    R. W. Butler | NTIS | 1990


    NASA Formal Methods Workshop, 1990

    Butler, Ricky W. | NTRS | 1990