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.