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

Re: Need help finding documentation on how to construct new strategies and add them into my context



Jonathon P. Gladieux asked how to add strategies to a PVS context.

There's not much documentation on writing strategies.   What there is
is in Chapter 5 of the prover manual.  There (p. 105), you'll see that
strategies should be placed in a file called "pvs-strategies" in
either your home directory or the directory of the current context.

There is an example of how to write and use simple strategies in
http://pvs.csl.sri.com/pvs/examples/elementary-tutorial/csl-95-10.html

John Rushby
-------