[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: PVS internals documentation
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