This tool is a process animator that lets you interact with a CSP process description to better understand its behavior (i.e., its operational semantics).
We have local copies of the user's manual in html and ps versions. Note: These links will work only if you're accessing them from the ECS Unix system.
This tool is a model checker that lets you verify that a given CSP process satisfies a particular specification (also given as a CSP process). It also has facilities for helping you debug your processes when a specification isn't satisfied.