PVS Versions

The latest version of PVS is 3.1. To determine your current version, type M-x show-pvs-version --- if you need to upgrade, follow the instructions on the web site at http://pvs.csl.sri.com/ or ftp to ftp://pvs.csl.sri.com/pub/pvs and read the INSTALL file.

Any problems, please send mail to pvs-bugs@csl.sri.com