[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Question: LINUX installation & Type Check
The bug you reported in PVS has been fixed in the latest
release, announced today. Please visit our web site at
http://www.csl.sri.com/pvs.html for information on how
to download PVS version 2.2.
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: firstname.lastname@example.org