Welcome to the Formal Systems website

Home of the FDR2 model-checker and other CSP tools.

News

23 July 2007 : FDR2.83 academic release

Formal Systems (Europe) is pleased to announce the release of FDR2 for academic use only. If you'd like to try out FDR2 for personal, academic teaching or non-commercial research purposes, then please download the FDR 2.83 binaries from the download page.

Commercial requires a full commercial licence from Formal Systems (Europe) Ltd. Please contact enquiries@fsel.com if you need a commercial FDR2 licence.

A point release with new CSP refinement models will be released shortly.

14 Jun 2005 : FDR2.82 released

The latest version of FDR2 is now available for download.

This release fixes a memory corruption bug in FDR. Although no effect on refinement correctness has been observed, all clients are advised to upgrade to this release of FDR2.

30 May 2005 : Classic CSP texts now freely downloadable

Bill Roscoe's book “The Theory and Practice of Concurrency” is now available electronically for personal reference only. It's number 68 in his list of publications and is available in both PS and PDF formats.

Tony Hoare's classic book “Communicating Sequential Processes” has also been updated by Jim Davies, and is available under its new title from the UsingCSP website.

12 Apr 2005 : FDR2.81 released

The latest version of FDR2 is now available for download.

14 May 2003 : FDR2.80 released

27 March 2003 : ProBE available for free download

Formal Systems has decided to make ProBE, the CSP Process Explorer, available for free download. We hope you find it useful!