DocumentCode
3557334
Title
Making PVS do what you want
Author
Archer, Myla
Author_Institution
Center for High Assurance Comput. Syst., Naval Res. Lab., Washington, DC, USA
fYear
2005
fDate
11-14 July 2005
Firstpage
67
Abstract
We focus on how to capture common specification and proof patterns in PVS in order to tailor PVS for the verification of a particular class of systems. The use of specification templates can simplify the development of PVS strategies that correspond to proof steps that recur in proofs of specific classes of system properties.
Keywords
formal specification; formal verification; PVS strategy; formal specification; formal verification; proof patterns;
fLanguage
English
Publisher
ieee
Conference_Titel
Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. Proceedings. Third ACM and IEEE International Conference on
Print_ISBN
0-7803-9227-2
Type
conf
DOI
10.1109/MEMCOD.2005.1487893
Filename
1487893
Link To Document