The Collection of
Computer Science Bibliographies

PVS Bibliography

[   About   |  Browse   |   Statistics   ]

Number of references:329Last update:December 1, 2000
Number of online publications:19Supported:Unknown
Most recent reference:2001

in  ;
Publication year: in:, since:, before: (four digit years)
Options: , ,

You may use Lucene syntax, available fields are: ti (title), au (author), yr (publications year).

Information on the Bibliography

John Rushby <Rushby @ csl . sri . com> (email mangled to prevent spamming)
SRI International Computer Science Laboratory
333 Ravenswood Ave
Menlo Park California 94025
PVS is a verification system: that is, a specification language integrated with support tools and a theorem prover. It is intended to capture the state-of-the-art in mechanized formal methods and to be sufficiently rugged that it can be used for significant applications. PVS is a research prototype: it evolves and improves as we develop or apply new capabilities, and as the stress of real use exposes new requirements.

Browsing the bibliography

Bibliographic Statistics

inproceedings(233), article(39), techreport(23), phdthesis(9), manual(8), incollection(5), proceedings(5), misc(3), book(2), mastersthesis(1), unpublished(1)
title(329), year(329), author(323), month(296), address(268), pages(251), booktitle(243), editor(164), volume(164), publisher(158), series(148), note(83), organization(68), number(67), journal(39), institution(26), school(10), type(8), chapter(3), howpublished(3)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!