SDVS 1994 Final Report
AEROSPACE CORP EL SEGUNDO CA ENGINEERING AND TECHNOLOGY GROUP
Pagination or Media Count:
The purpose of the State Delta Verification System SDVS project is to address some of the inadequacies of the currently popular certification and analysis methods e.g. testing, simulation, and design walkthroughs for assuring the correctness of computer systems. This ongoing effort has primarily focused on developing a theoretical framework and software tools for the formal verification of computer systems. SDVS is an automated system to help write and check proofs of the correctness of computer systems with respect to formal specifications.
- Computer Systems
- Military Forces and Organizations