Show simple item record

Evaluation of Program Specification and Verification Tools for High Assurance Development

dc.contributorNaval Postgraduate School (U.S.)
dc.contributor.authorUbhayakar, Sonali
dc.contributor.authorBibighaus, David
dc.contributor.authorDinolt, George
dc.contributor.authorLevin. Timothy E.
dc.date.accessioned2012-07-11T15:49:28Z
dc.date.available2012-07-11T15:49:28Z
dc.date.issued2003-09-00
dc.identifier.citationProceedings of the International Workshop on Requirements for High Assurance Systems, Monterey, CA, September 2003, pp. 43-47.
dc.identifier.urihttp://hdl.handle.net/10945/7117
dc.description.abstractA 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.en_US
dc.publisherNaval Postgraduate School (U.S.)en_US
dc.rightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. As such, it is in the public domain, and under the provisions of Title 17, United States Code, Section 105, may not be copyrighted.en_US
dc.rightsApproved for public release.en_US
dc.titleEvaluation of Program Specification and Verification Tools for High Assurance Developmenten_US
dc.typeArticleen_US
dc.subject.authorFormal specificationen_US
dc.subject.authorformal methodsen_US
dc.subject.authorhigh assuranceen_US


Files in this item

Thumbnail
Name:
03paper_rhas.pdf
Size:
372.9Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record