NASA NTRS · 19890006914
Formal verification and testing: An integrated approach to validating Ada programs
Abstract
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.
Keep this discovery
Explore connections, maps & timelines
Cohen, Norman H.. 1986-01-01. Formal verification and testing: An integrated approach to validating Ada programs. https://ntrs.nasa.gov/citations/19890006914
Cite the original work for its findings. Save a collection to share your selection of sources.