Paper Info
Title
PVS: An Experience Report
Abstract
PVS is a comprehensive interactive tool for specification and verification combining cui expressive specification language with an integrated suite of tools for theorem proving and model checking. PVS has many academic and industrial users and has been applied to a wide range of verification tjisks. In this note, we summarize some of its applications.
Year
DOI
Venue
1998
10.1007/3-540-48257-1_24
FM-Trends
Keywords
Field
DocType
theorem proving,model checking,verification tjisks,industrial user,experience report,cui expressive specification language,wide range,comprehensive interactive tool,integrated suite,specification language
Prototype Verification System,Specification language,Model checking,Programming language,Suite,Software engineering,Computer science,Automated theorem proving,Formal specification,Duration calculus,Formal verification
Conference
Volume
ISSN
ISBN
1641
0302-9743
3-540-66462-9
Citations 
PageRank 
References 
19
1.69
31
Authors
4
Name
Order
Citations
PageRank
Sam Owre11323104.39
John Rushby22459235.69
Natarajan Shankar33050309.55
David W. J. Stringer-Calvert41306.06