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 ... -
A Mathematical Framework to Apply Tradespace Exploration to the Design of Verification Strategies
(Monterey, California. Naval Postgraduate School, 2018-04-30); SYM-AM-18-105This paper is intended to disseminate some initial outcomes of the NPS Research Acquisition Program's "Tradespace Exploration for Better Verification Strategies"project. The research addresses the design of 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 ...
