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.
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).
The SBCL build is now available in the Fedora repository, so it has been removed from this page.