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

Re: PVS internals documentation

Artur -

Currently, the only documentation we have available on writing strategies
is included in the Sept 1998 version of the PVS Prover Guide (chapter 5).
This is avilable from http://pvs.csl.sri.com/manuals.html

You can also look at the code for the existing strategies - this should
be in the lib directory of your PVS distribution, as strategies.lisp.
If it's missing from your distribution, it's available by ftp at

We intend to provide documentation on a strategy writing API at some
point in the future.


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 David.Stringer-Calvert@sri.com