FDR2 also marks a significant increase in the expressive power of the CSP notation used to describe processes. FDR can analyse finite-state machines described in many other notations. Most existing commercial users of FDR1 are entitled to free upgrades under the terms of their maintenance contracts. Environment FDR requires workstation-class systems to run effectively. Please contact us for further details.
Discounts are available for multiple-user and site licences.
Various evaluation and short-term licences are also available. FDR1 was available to academic users at a substantial discount thanks to the assistance of the US Office of Naval Research. Formal Systems is continuing this offer with FDR2. The assistance of Oxford University in hosting these files is greatly appreciated. Note that the FTP distributions require the addition of a licence file to function on any scripts other than the supplied examples .