@Bibtex-file{Theory/PVS.bib,
  title =        "{PVS} Bibliography",
  author =       "John Rushby",
  address =      "SRI International Computer Science Laboratory\\ 333
                 Ravenswood Ave\\ Menlo Park California 94025\\ USA",
  email =        "Rushby@csl.sri.com",
  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.",
}