File:Evaluation_of_program_specification_and_verification_systems_(IA_evaluationofprog10945893).pdf
De Wikipedia, l'encyclopédie encyclopedia
Fichier d’origine (1 275 × 1 650 pixels ; taille du fichier : 777 kio ; type MIME : application/pdf ; 160 pages)
Ce fichier et sa description proviennent de Wikimedia Commons.
Description
Evaluation of program specification and verification systems ( ) | |
---|---|
Auteur |
Ubhayakar, Sonali S. |
Titre |
Evaluation of program specification and verification systems |
Éditeur de publication |
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 |
Langue | anglais |
Date de publication | juin 2003 |
Lieu actuel |
IA Collections: navalpostgraduateschoollibrary; fedlink |
Numéro d’inventaire |
evaluationofprog10945893 |
Source | |
Autorisation (Réutilisation de ce fichier) |
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. |
Conditions d’utilisation
Public domainPublic domainfalsefalse |
Ce média est dans le domaine public des États-Unis d’Amérique car son auteur est l’administration américaine comme précisé dans le code fédéral au Titre 17, Chapitre 1, Section 105. Pour en savoir plus : droit d’auteur.
Attention : Ceci ne concerne que le travail du Gouvernement Fédéral et pas celui des États, ou d’une autre subdivision géographique ou politique du pays.
|
||
Ce fichier a été identifié comme étant exempt de restrictions connues liées au droit d’auteur, y compris tous les droits connexes et voisins. |
https://creativecommons.org/publicdomain/mark/1.0/PDMCreative Commons Public Domain Mark 1.0falsefalse
Historique du fichier
Cliquer sur une date et heure pour voir le fichier tel qu'il était à ce moment-là.
Date et heure | Vignette | Dimensions | Utilisateur | Commentaire | |
---|---|---|---|---|---|
actuel | 20 juillet 2020 à 07:40 | 1 275 × 1 650, 160 pages (777 kio) | Fæ | FEDLINK - United States Federal Collection evaluationofprog10945893 (User talk:Fæ/IA books#Fork8) (batch 1993-2020 #15643) |
Utilisation du fichier
Aucune page n’utilise ce fichier.
Métadonnées
Ce fichier contient des informations supplémentaires, probablement ajoutées par l'appareil photo numérique ou le numériseur utilisé pour le créer.
Si le fichier a été modifié depuis son état original, certains détails peuvent ne pas refléter entièrement l'image modifiée.
Titre court | Evaluation of program specification and verification systems |
---|---|
Auteur | Ubhayakar, Sonali S. |
Logiciel utilisé | Ubhayakar, Sonali S. |
Programme de conversion | Acrobat Distiller 5.0 (Windows) |
Chiffré | no |
Taille de la page | 612 x 792 pts (letter) |
Version du format PDF | 1.4 |