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

PVS 3.0



PVS 3.0 is now available for download.  This replaces the beta
version released earlier this year.  See

  http://pvs.csl.sri.com/pvs3.0-release-notes.html

For a description of the changes and download instructions.
As usual, please let us know of any bugs or suggestions you
have.

Thanks, and have a Merry Christmas,
Sam
----
Sam Owre <Owre@csl.sri.com>
Computer Science Lab, SRI International   Tel: (650) 859-5114              
333 Ravenswood Avenue                     FAX: (650) 859-2844              
Menlo Park, CA  94025 USA                 WWW: http://www.csl.sri.com/~owre