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

New PVS License Agreement

PVS Users -

The PVS License agreement has been amended to include the licensing of PVS
for use in derivative works (e.g. integrating PVS into another tool).  If
you are already using PVS in such a manner, or are contemplating doing so,
you must sign a new copy of the license agreement so that your rights are
extended to do so.

Users not intending to create derivative works do not need to send in a
new agreement.  If you are unsure as to whether your use of PVS
constitutes a derivative work please contact me by email.

The new agreement is available from



Dr Dave Stringer-Calvert, Software Engineer, Computer Science Laboratory
SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025-3493, USA
Phone: (650) 859-3291 Fax: (650) 859-2844 David.Stringer-Calvert@sri.com