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.
Formal verification and testing: An integrated approach to validating Ada programs
1986-01-01
Conference paper
No indication
English
Verification of PLC programs using formal proof techniques
Tema Archive | 2008
|Echo: a practical approach to formal verification
Tema Archive | 2005
|Integrated Formal Verification and Validation of Safety Critical Software
British Library Conference Proceedings | 1993
|