Home Intro Wiki Docs FAQ Download Bugs Mail FM Tools

PVS: A Prototype Verification System

from CADE 11, Saratoga Springs, NY, June 1992


Authors

S. Owre, J. M. Rushby, and N. Shankar

Abstract

This is the first paper describing PVS, presented at CADE in 1992.

gzipped postscript or postscript

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/}
}
Home Intro Wiki Docs FAQ Download Bugs Mail FM Tools

Last modified: Wed 24 Nov 2010 14:13 PST
Maintainer: Sam Owre