SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
     
  SRI Logo

PVS: An Experience Report
 by Sam Owre, Dr. John Rushby, Dr. Natarajan Shankar & David Stringer-Calvert.

Lecture Notes in Computer Science, Volume 1641.
From Applied Formal Methods---FM-Trends 98.
Edited by Dieter Hutter, Werner Stephan, Paolo Traverso and Markus Ullman.
Springer-Verlag, Boppard, Germany.
October, 1998.
Pages 338–345.


Abstract
PVS is a comprehensive interactive tool for specification and verification combining an 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 tasks. In this note, we summarize some of its applications.
BibTEX Entry
@inproceedings{Owre-etal98:FM-TRENDS,
    AUTHOR = {Sam Owre and John Rushby and {N.} Shankar and David Stringer-Calvert},
    TITLE = {{PVS:} An Experience Report},
    BOOKTITLE = {Applied Formal Methods---FM-Trends 98},
    YEAR = {1998},
    EDITOR = {Dieter Hutter and Werner Stephan and Paolo Traverso and Markus Ullman},
    SERIES = {Lecture Notes in Computer Science},
    VOLUME = {1641},
    PAGES = {338--345},
    ADDRESS = {Boppard, Germany},
    MONTH = {oct},
    PUBLISHER = {Springer-Verlag},
    URL = {http://www.csl.sri.com/papers/fmtrends98/}
}
Files
 













 

About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2024 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy