PVS Bibliography

[   About   |  Browse   |   Statistics   ]

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

Search the bibliography

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

• Original source:

  http://www.csl.sri.com... (Format: bibtex)

  Other sites:

  http://www.csl.sri.com... (Format: postscript, compressed with gzip)
  

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:

Please direct comments regarding the bibliography collection to <liinwwwa@ira.uka.de>. This page is part of the Computer Science Bibliography Collection. Copyright © 1994-2004, Alf-Christian Achilles. All Rights Reserved.