PVS 4.0 is now available at http://pvs.csl.sri.com The highlights are that it is now open source, and there is now an associated Wiki page at http://pvs-wiki.csl.sri.com We look forward to your feedback and contributions. Other new features are described in the release notes at http://pvs.csl.sri.com/pvs-release-notes/pvs-release-notes_1.html#SEC1 We hope enjoy this new version of PVS. Sam