Prototype Verification System, aka Prototype Verification System, is a 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...

28Years Old 20Users ?Jobs

Last updated June 22nd, 2020

Edit Prototype Verification System on GitHub