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