Software

FDR2

FDR2 is a refinement checker for establishing properties of models expressed in CSP. An unlicensed version of FDR2 is available for download, which is restricted to the example scripts supplied. Licences are available for both commercial and academic use.

Download
Order

Documentation

View/Download documentation.

ProBE

ProBE is an animator for CSP processes allowing the user to explore the behaviour of models interactively. ProBE is available for download without charge.

Download

Documentation

View/Download documentation.

CSP Typechecker

This is a beta release, and is available for download without charge.