| [ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
The ProBE tool enables the user to "browse" a CSP process by following events that lead from one state of the process to another. It uses a hierarchical list to display the possible actions and states of a process in much the same way as a filesystem viewer shows directories and files. In this way, it is hoped that ProBE will be very intuitive to use and, not least, a great boon to teaching CSP.
This version of the manual does not document the machine-readable version of CSP used by ProBE. A guide to the syntax can be found in [Roscoe97] and also in the FDR2 manual available from the Formal Systems web-site (http://www.fsel.com/).
The semantics for CSP underlying ProBE was partly funded by the U.S. Office of Naval Research under contract N00014--87--J1242.
ProBE uses the Qt cross-platform GUI library available from Troll Tech (full details are available from http://www.trolltech.com/).
The releases of ProBE are built using various GNU software components, notably g++, but also including awk, bison, flex and make.