[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
The following buttons on the tab bar select the relevant page in the tab pane. From this page the user can invoke commands which operate on a selected process, as described under the corresponding command (see section The Process List).
Checks the selected process for deadlock.
Checks the selected process for divergence (livelock).
Checks the selected process for determinism.
In addition, the Evaluate page allows the user to enter an expression for evaluation by the CSP compiler. This can be useful for checking the correct operation of functions used within a script.
[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] |
This document was generated by Phil Armstrong on May 17, 2012 using texi2html 1.82.