Naval Postgraduate School
Development and Verification of the Navy’s 3D Mine Impact Burial Prediction Model (IMPACT35), A Research Project Outline
impact35_05-06.pdf (259.2Kb)Description
Peter C. Chu, Principal Investigator. Development and Verification of the Navy’s 3D Mine Impact Burial Prediction Model (IMPACT35), Office of Naval Research
Collections
Related items
Showing items related by title, author, creator and subject.
-
An analysis of Specware and its usefulness in the verification of high assurance systems
(Monterey, California. Naval Postgraduate School, 2006-06);Formal verification is required for systems that require high assurance. Formal verification can require large and complex proofs that can drastically affect the development life cycle. Through the use of a verification ... -
Evaluation of program specification and verification systems
(Monterey, California. Naval Postgraduate School, 2003-06);Computer systems that earn a high degree of trust must be backed by rigorous verification methods. A verification system is an interactive environment for writing formal specifications and checking formal proofs. Verification ... -
Evalutation of program specification and verification systems
(Monterey, California. Naval Postgraduate School, 2003-06);Computer systems that earn a high degree of trust must be backed by rigorous verification methods. A verification system is an interactive environment for writing formal specifications and checking formal proofs. Verification ...
