Development and Verification of the Navy’s 3D Mine Impact Burial Prediction Model (IMPACT35)
Description
Peter C. Chu, Principal Investigator. Development and Verification of the Navy’s 3D Mine Impact Burial Prediction Model (IMPACT35), Office of Naval Research
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.Collections
Related items
Showing items related by title, author, creator and subject.
-
Towards the Dynamic Contracting of Verification Activities With Set-Based Design: An Initial Model of Rework
Xu, Peng; Salado, Alejandro (Monterey, California. Naval Postgraduate School, 2019-04-30); SYM-AM-19-050This paper is intended to disseminate initial outcomes of the NPS Research Acquisition Program “Dynamic Contracting of Verification Activities by Applying Set-Based Design to the Definition of Verification Strategies” ... -
An analysis of Specware and its usefulness in the verification of high assurance systems
DeCloss, Daniel P. (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
Salado, Alejandro; Farkhondehmaal, Farshad (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 ...