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

PVS: Combining Specification, Proof Checking, and Model Checking
 by Sam Owre, Dr. John Rushby, Dr. Natarajan Shankar, S. Rajan & M.K. Srivas.

Lecture Notes in Computer Science, Number 1102.
From Computer-Aided Verification, CAV '96.
Edited by Rajeev Alur and Thomas A. Henzinger.
Springer-Verlag, New Brunswick, NJ.
July/August, 1996.
Pages 411–414.


Abstract
A short paper describing some characteristics of PVS, and its integration of specification language, proof checking, and model checking in particular.
BibTEX Entry
@inproceedings{PVS96:CAV,
    AUTHOR = {{S.} Owre and {S.} Rajan and {J.M.} Rushby and {N.} Shankar and {M.K.} Srivas},
    TITLE = {{PVS:} Combining Specification, Proof Checking, and Model Checking},
    BOOKTITLE = {Computer-Aided Verification, {CAV} '96},
    YEAR = {1996},
    EDITOR = {Rajeev Alur and Thomas {A.} Henzinger},
    SERIES = {Lecture Notes in Computer Science},
    NUMBER = {1102},
    PAGES = {411--414},
    ADDRESS = {New Brunswick, {NJ}},
    MONTH = {July/August},
    PUBLISHER = {Springer-Verlag},
    URL = {http://www.csl.sri.com/papers/pvs-cav96/}
}
Files
 













 

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