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

Author:
John Rushby <Rushby @ csl . sri . com> (email mangled to prevent spamming)
SRI International Computer Science Laboratory
333 Ravenswood Ave
Menlo Park California 94025
USA
Abstract:
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

Types:
inproceedings(233), article(39), techreport(23), phdthesis(9), manual(8), incollection(5), proceedings(5), misc(3), book(2), mastersthesis(1), unpublished(1)
Fields:
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!