PVS provides mechanized support for formal specification and verification.
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
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,
setup PVS-3.2 you should just be able to type:
to run it.