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