File:Evaluation of program specification and verification systems (IA evaluationofprog10945893).pdf
Original file (1,275 × 1,650 pixels, file size: 777 KB, MIME type: application/pdf, 160 pages)
 | This is a file from the Wikimedia Commons. Information from its description page there is shown below. Commons is a freely licensed media file repository. You can help. |
Summary
Evaluation of program specification and verification systems
(   ) |
|
|---|---|
| Author |
Ubhayakar, Sonali S. |
| Title |
Evaluation of program specification and verification systems |
| Publisher |
Monterey, California. Naval Postgraduate School |
| Description |
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 systems allow large complicated proofs to be managed and checked interactively. We desire evaluation criteria that provide a means of finding which verification system is suitable for a specific research environment and what needs of a particular project the tool satisfies. Therefore, the purpose of this thesis is to develop a methodology and set of evaluation criteria to evaluate verification systems for their suitability to improve the assurance that systems meet security objectives. A specific verification system is evaluated with respect to the defined methodology. The main goals are to evaluate whether the verification system has the capability to express the properties of software systems and to evaluate whether the verification system can provide inter-level mapping, a feature required for understanding how a system meets security objectives. Subjects: Computer software; Verification |
| Language | English |
| Publication date | June 2003 |
| Current location |
IA Collections: navalpostgraduateschoollibrary; fedlink |
| Accession number |
evaluationofprog10945893 |
| Source | |
| Permission (Reusing this file) |
This 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. |
Licensing
|
This work is in the public domain in the United States because it is a work prepared by an officer or employee of the United States Government as part of that person’s official duties under the terms of Title 17, Chapter 1, Section 105 of the US Code.
Note: This only applies to original works of the Federal Government and not to the work of any individual U.S. state, territory, commonwealth, county, municipality, or any other subdivision. This template also does not apply to postage stamp designs published by the United States Postal Service since 1978. (See § 313.6(C)(1) of Compendium of U.S. Copyright Office Practices). It also does not apply to certain US coins; see The US Mint Terms of Use.
|
 |
| This file has been identified as being free of known restrictions under copyright law, including all related and neighboring rights. | ||
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 05:40, 20 July 2020 |  | 1,275 × 1,650, 160 pages (777 KB) | Fæ | FEDLINK - United States Federal Collection evaluationofprog10945893 (User talk:Fæ/IA books#Fork8) (batch 1993-2020 #15643) |