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

[PVS-ANNOUNCE] PVS 4.1 available

PVS 4.1 is now available at http://pvs.csl.sri.com/download.shtml.
This mostly consists of bug fixes, plus an upgrade to Allegro 8.1 and
a few miscellaneous improvements.  See the release notes for details.

For those of you with Windows machines who prefer not to install
Linux, we also provide an Ubuntu LiveCD with PVS (and SAL and Yices)
pre-installed.  See the download page for more.

In addition, the PVS sources may now be obtained via Subversion; to
get them simply use

  svn checkout https://spartan.csl.sri.com/svn/public/pvs/trunk pvs

Sam Owre