An integrated set of tools called a validation environment is proposed to support the validation of Ada programs by a combination of methods. A Modular Ada Validation Environment (MAVEN) is described which proposes a context in which formal verification can fit into the industrial development of Ada software.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Formal verification and testing: An integrated approach to validating Ada programs


    Beteiligte:


    Erscheinungsdatum :

    01.01.1986


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Verification of PLC programs using formal proof techniques

    Sülflow, Andre / Drechsler, Rolf | Tema Archiv | 2008


    Formal Specification and Verification of Hybrid Programs for Urban Air Mobility

    J. Tanner Slagel / Cesar Munoz / Swee Balachandran et al. | NTRS


    Echo: a practical approach to formal verification

    Strunk, Elisabeth A. / Yin, Xiang / Knight, John C. | Tema Archiv | 2005


    Integrated Formal Verification and Validation of Safety Critical Software

    Ward, N. J. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993


    Validating CRRM for Aeronautical Communications Using a Formal Description Technique

    Hu, Fun / Pillai, Prashant / Li, Jianping et al. | AIAA | 2017