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

[PVS] PVS 6.0 Released

PVS 6.0 has been released.

This is a significant new release; the highlights are declaration
parameters, support for Unicode, improved arithmetic simplification, and
full integration of the NASA packages Field, Manip, and ProofLite.  The
declaration parameters provide needed support for Why3, the latest version
of which can use PVS 6.0.

PVS 6.0 can be downloaded from https://pvs.csl.sri.com/download.shtml
See the release notes for details.