[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

John Rushby