Prototype Verification System, aka Prototype Verification System, is a historical programming language created in 1992. 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...

27Years Old 20Users 0Jobs

Last updated December 10th, 2019

Edit Prototype Verification System