checkpropold: DEPRECATED modelchecking using old algorithm



This command uses the old (v7.0 and earlier) implementation of tableau-based local model-checking. This is always(?) slower than the new games based algorithm; it is included so that if you suspect the new algorithm of giving the wrong answer or being too slow you have something to compare with. Please let me know if there are circumstances where this algorithm is better than the old one; by default it will disappear from the next release.

See also

  • checkprop
  • logic
    Edinburgh Concurrency Workbench (v7.1). Page generated: Sun Jul 18 11:46:51 BST 1999