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

Re: license

Marcelo -

SRI cannot license individuals to use PVS.  Licenses are only
available to schools, corporations, etc. allowing them to run
PVS on any machines at their site.  Any use outside this is a
violation of the license agreement.


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