agent | change (or show) the definition of an agent identifier |
branchingeq | are agents branching bisimilar? |
checkprop | modelchecking: does agent satisfy formula? |
clear | removes all bindings (a fresh start) |
closure | find the weak derivatives of an agent via a trace |
cong | are two agents observationally congruent (equal)? |
contraction | are agents related by the contraction pre-order? |
deadlocks | find dead- or live-locked states and traces leading to them |
deadlocksobs | find dead- or live-locked states with observations |
derivatives | find the derivatives of an agent via a given action |
dfstrong | find a strong HML formula distinguishing two agents |
dftrace | find a trace distinguishing two agents |
dfweak | find a weak HML formula distinguishing two agents |
diveq | are two agents divergence equivalent? |
diverges | does the agent contain an unguarded occurrence of @? |
eq | are two agents observationally equivalent (weakly bisimilar)? |
findinit | find states with a given set of initial observable actions |
findinitobs | find states with a given set of initial observable actions |
freevars | list the free agent variables of an agent |
graph | list the transition graph of an agent |
help | provide on-line help |
init | find the observable actions an agent can perform immediately |
input | execute the CWB commands in the given file |
inputfc2 | execute the given FC2 file |
mayeq | are two agents may equivalent, i.e. trace equivalent? |
maypre | are two agents related by the may preorder? |
min | minimise an agent with respect to weak bisimulation |
musteq | are two agents must equivalent? |
mustpre | are two agents related by the must preorder? |
normalform | print an agent in normal form |
obs | find observations of a given length, and their results |
output | send CWB output to a file, or to the terminal |
pb | print largest weak bisimulation over the state-space of two agents |
pre | are two agents related by the (weak) bisimulation preorder? |
precong | are two agents related by the bisimulation precongruence? |
prefixform | print an agent in prefix form |
print | show the definitions of all identifiers |
prop | change (or show) the definition of a proposition identifier |
quit | terminates the workbench session |
random | give a pseudo-random observation of at most a given length |
relabel | change (or show) the definition of a relabelling identifier |
save | save the current environment in a file |
savefc2 | save an agent in FC2 format in a file |
savemeije | save an agent in Meije format in a file |
set | change (or show) the definition of a set identifier |
sim | simulate an agent interactively |
size | find the number of states of a finite-state agent |
sort | find the syntactic sort of the agent |
stable | is the agent stable? |
states | list the state-space of a finite-state agent |
statesexp | list the state-space, and a trace leading to each state |
statesobs | list the state-space and an observation leading to each state |
strongeq | are two agents strongly bisimilar? |
strongpre | are two agents related by the strong bisimulation preorder? |
testeq | are two agents testing equivalent (i.e. failures equivalent)? |
testpre | are two agents related by the testing preorder? |
transitions | list the (single-step) transitions of an agent |
twothirdseq | are agents related both ways by 2/3 bisimulation preorder? |
twothirdspre | are two agents related by the 2/3 bisimulation preorder? |
vs | find observations of a given length |