Welcome to the Formal Systems website
Home of the FDR2 model-checker and other CSP tools.
16 Nov 2010: FDR2.91 release
Formal Systems (Europe) is pleased to announce the release of FDR2.91. Incorporating three new models of CSP refinement, Refusal Testing, Revivals and tau priority model together with the CSP exception operator to complete the set of CSP operators, all users are encouraged to upgrade to this release of FDR2. Binaries are available from the download page.
Commercial use requires a full commercial licence from Formal Systems (Europe) Ltd. Please contact email@example.com if you would like to purchase a commercial FDR2 licence.