Howdy Logo
Glossary Hero image

The Howdy Glossary

Search terms in Glossary

Prototype Verification System

Prototype Verification System (PVS) is a specification and verification system. The tool supports formal specification, static analysis and automatic proof. PVS combines language features for expressing mathematical arguments with an interactive support environment that automatically conducts many routine but often difficult proofs. Initially developed at SRI International in the late 1980s, PVS has since evolved through contributions from users in academia and industry who continue to maintain the open-source project governed by the PVS Working Group.