checkprop: model-checking: does an agent satisfy a formula?
checkprop(A,P);
Notes
Uses the new games-based local model-checking algorithm. Generates a
winning strategy for the corresponding Stirling model checking game,
and if you have the toggle "hateGames" set to false (the default) it
will offer to play this strategy against you. We hope you will find this
useful, especially when the CWB gives you an answer you did not expect.
Feedback especially welcome!
See also
logic
toggle
checkpropold
Edinburgh Concurrency Workbench (v7.1).
Page generated: Sun Jul 18 11:46:51 BST 1999