Glossary:CSP Preferences
- if all of the CSP-M processes (not just MAIN) should be animated without arguments,
- if more fine-grained source-location animation for CSP should be performed (can slow model checking down),
- if CSP source-location information should be stripped (for RHS of processes, except for internal choice).
- the path to Probe or other tool to view .csp files, the path to the FDR2 tool, and the path to a CSP Type Checking tool.