PVS 3.2

Date of last revision: 01/05/2006

PVS provides mechanized support for formal specification and verification.

PVS 3.2 help index:



PVS 3.2 uses standard setup scripts. You must type

setup PVS-3.2

to use this application.

See "helpme setup" for information on finding out what versions are available or what to do if the setup statement does not work.

Running PVS 3.2

On Linux, 'pvs' is the name of a command inside the LVM2 package. As such, we have provided the 'pvs-3.2' command to run to avoid conflicts. We've also made the setup script put the PVS-3.2 directory first in the PATH. So really, after running setup PVS-3.2 you should just be able to type:


to run it.

Other Information Resources

Other Topics of Interest