Prototype Verification System (PVS)
What is PVS?
PVS is a verification system: that is, a specification language integrated with support tools and a theorem prover. It is intended to capture the state of the art in mechanized formal methods and to be sufficiently rugged that it can be used for significant applications. PVS is a research prototype: it evolves and improves as we develop or apply new capabilities, and as the stress of real use exposes new requirements.
More Information: http://pvs.csl.sri.com/Principal Investigator: