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 ... -
Execution-Based Model Checking of Interrupt-Based Systems
(2003-01);Execution-based model checking (EMC) is a verification technique based on executing a multi-threaded/multiprocess program repeatedly in a systematic manner in order to explore the different interleavings of the program. ...
