[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