Marketed by Formal Systems is an animator tool called ProBE. This tool
does not enable the user to prove properties of systems as with FDR,
rather
it facilitates the graphical exploration of CSP processes. The user
controls
the resolution of non-determinism and the choice of actions, watching
the
process evolve in response. Component processes can be selected, and
their
contribution to the larger system examined.
links
ProBE download page
