H ? « »

Language peer sets for PVS:
United States
United States/1992
Designed 1992
1990s languages
Fifth generation
Post-Cold War


Prototype Verification System 

alternate simple view
Country: United States
Designed 1992

Related languages
AUTOMATH PVS   Influence

  • S. Owre and J. M. Rushby and N. Shankar (1992) S. Owre and J. M. Rushby and N. Shankar "PVS: A Prototype Verification System", from the 11th Conference on Automated Deduction, Deepak Kapur ed., Saratoga, NY, Jun, 1992 Extract: Introduction Extract: Influences
  • Wiedijk, Freek (1998) Wiedijk, Freek "The Fifteen Provers of the World" Abstract
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder