Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

PVS

< >

PVS, aka Prototype Verification System, is a programming language created in 1992.

#2145on PLDB 32Years Old
Wikipedia

The Prototype Verification System (PVS) is a specification language integrated with support tools and an automated theorem prover, developed at the Computer Science Laboratory of SRI International in Menlo Park, California. PVS is based on a kernel consisting of an extension of Church's theory of types with dependent types, and is fundamentally a classical typed higher-order logic. The base types include uninterpreted types that may be introduced by the user, and built-in types such as the booleans, integers, reals, and the ordinals. Read more on Wikipedia...


View source
- Build the next great programming language Add About Search Keywords Livestreams Labs Resources Acknowledgements Part of the World Wide Scroll