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. Copyright protection is not available for this work in the United States.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
dc.description.distributionstatementApproved for public release; distribution is unlimited.


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