game: play model-checking games
game(A,P);
Notes
Finds a winning strategy for the Stirling model-checking game starting from
(A,P) and plays it against you.
Would it be useful if it did more flexible things, like letting you take the
winning side? Please tell us.
See also
checkprop
logic
toggle
Edinburgh Concurrency Workbench (v7.1).
Page generated: Sun Jul 18 11:46:51 BST 1999