game: play model-checking games
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.
Edinburgh Concurrency Workbench (v7.1).
Page generated: Sun Jul 18 11:46:51 BST 1999