PVS 6.0

PVS (Prototype Verification System) 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.

Allegro Build

The Allegro build requires agreeing to a license, so I cannot redistribute the sources. Hence, all you get here is a nosrc rpm.


Download the PVS 6.0 Allegro build for your platform (e.g., pvs-6.0-ix86_64-Linux-allegro.tgz).



SBCL Build

The SBCL build is now available in the Fedora repository, so it has been removed from this page.

Back to the RPMS

Last modified: Wed Jan 22 15:20:56 MST 2014 by Jerry James