Development and Verification of the Navy’s 3D Mine Impact Burial Prediction Model (IMPACT35), A Research Project Outline
Chu, Peter C.
MetadataShow full item record
Showing items related by title, author, creator and subject.
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 ...
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 ...
Ubhayakar, Sonali S. (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 ...