[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] PVS 4.0




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