Evaluation of Program Specification and Verification Tools for High Assurance Development
Levin. Timothy E.
MetadataShow full item record
A key decision in the development of high assurance software is that of choosing a formal methods tool. This paper describes a methodology to select a formal methods tool for use in the development of high assurance software. Some of the factors that make a tool suitable to the task can be evaluated with a desk check, while others can only be appreciated by hands on testing. We describe the application of our methodology to a broad set of currently available formal methods tools, including a hands-on evaluation of one of the tools. The impact of the tools on the project development is also discussed.
RightsThis 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.
Showing items related by title, author, creator and subject.
Kremer, Brent. (Monterey, California. Naval Postgraduate School, 1996-06);This thesis analyzes and documents the Army's training development process as it relates to the materiel development of corresponding Army acquisition programs. Training development is a vital necessity for the successful ...
MIT/DRAPER Technology Development Partnership Project : Design, assembly, and test of the launch and flight support and deploymnet system for a gun launched reconnaissance vehicle Shook, Garrett W. (Monterey California. Naval Postgraduate School, 1998-06-01);The MIT/Draper Technology Development Partnership Project is a two year design and development project between Draper Laboratory and the MIT department of Aeronautics and Astronautics. Overall aims of the project include ...
Nuss, Wendell A.; Anthes, Richard A. (American Meteorological Society, 1987);Several physical processes and properties of the initial state that affect marine cyclogenesis are examined using a mesoscale numerical model. The sensitivity of an idealized cyclone to the effects of latent heat release, ...