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

Re: Getting Help




> I've sent some e-mails regarding examples on the PVS, specially
> verifications of microprocessors. I am sending this message just in case
> you didn't recieve the first one.

For examples on the use of PVS, try:

	http://www.csl.sri.com/fm-papers.html

Specifically csl-95-10 as an introduction to the advanced theorem
proving capabilities of PVS, and also csl-95-04 for microprocessor
verification.

Dave

--
Dave Stringer-Calvert, MEng MACM,  Department of Computer Science,
University of York, Heslington, York, YO1 5DD. [+44|0] 1904 432764