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

PVS: A Prototype Verification System
 by Sam Owre, Dr. John Rushby & Dr. Natarajan Shankar.

Lecture Notes in Artificial Intelligence, Volume 607.
From 11th International Conference on Automated Deduction (CADE).
Edited by Deepak Kapur.
Springer-Verlag, Saratoga, NY.
June, 1992.
Pages 748–752.


Abstract
This brief paper introduces the main ideas of PVS
BibTEX Entry
@inproceedings{cade92-pvs,
    AUTHOR = {{S.} Owre and {J.} {M.} Rushby and and {N.} Shankar},
    TITLE = {{PVS:} {A} Prototype Verification System},
    BOOKTITLE = {11th International Conference on Automated Deduction (CADE)},
    YEAR = {1992},
    EDITOR = {Deepak Kapur},
    SERIES = {Lecture Notes in Artificial Intelligence},
    VOLUME = {607},
    PAGES = {748--752},
    ADDRESS = {Saratoga, {NY}},
    MONTH = {jun},
    PUBLISHER = {Springer-Verlag},
    URL = {http://www.csl.sri.com/papers/cade92-pvs/}
}
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