H ? « ‹ ← → › »

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

PVS(ID:2724/pvs001)

Prototype Verification System 

alternate simple view
Country: United States
Designed 1992

Related languages
AUTOMATH → PVS   Influence
References:
  • 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