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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

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


    Contributors:


    Publication date :

    1986-01-01


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English




    Verification of PLC programs using formal proof techniques

    Sülflow, Andre / Drechsler, Rolf | Tema Archive | 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 Archive | 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