An analysis of Specware and its usefulness in the verification of high assurance systems
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 system, such proofs can be managed and completed in an efficient manner. A verif...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Published: |
Monterey, California. Naval Postgraduate School
2012
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10945/2764 |