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

Re: PVS License Agreement




Marcelo - 

On re-reading your message, it is quite a reasonable request.  Therefore,
I have asked our lawyers if it is possible to reword the license agreement
so that PVS may be used on computers belonging to any member of a licensed
institution.

I will post the result shortly.

Dave

---
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   Email: dave_sc@csl.sri.com