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

PVS Version 3.1 now available



PVS Version 3.1 is now available.  This mostly fixes bugs reported in
version 3.0.  See the release notes at
  http://pvs.csl.sri.com/pvs-release-notes.html
for details and download instructions.

Enjoy!

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