Tools
- FDR - A refinement checker for
machine-readable
CSP
- ProBE - An animator for machine-readable CSP
- CSP Typechecker
- A standalone type checker for CSP syntax
- Deadlock
checker - A tool for proving deadlock freedeom of CSP programs
- Casper
- A compiler for security protocols into CSP
- SVA - A compiler for concurrent shared
variable programs into CSP
- TransIt
- A tool for automatic generation of transition diagrams of CSP
processes
- A compiler for specifications written in
bounded positive temporal logic into CSP
- Tools under development
