Tools - Concurrency Research Group

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