[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
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: email@example.com
- From: firstname.lastname@example.org (Marcelo Glusman)