This page documents software developed or distributed by LFCS. A separate page describes software installed locally on our Linux machines.
The functional programming language Standard ML was created at LFCS, and has its own page.
LFCS has a tradition of building research software, and much of it is exported through our system dissemination programme. Systems are distributed for research or educational use, with commercial use usually being subject to individual licencing agreements. A number of sub-licencing agreements are in place and you should check with the individual package for details.
We also act as a distribution point for some software packages built elsewhere. These have their own license conditions.
| CWB | The Edinburgh Concurrency Workbench is a tool for describing, exploring and automatically verifying systems using process calculi and logic. | Contact: Perdita Stevens |
|
|
With Performance Evaluation Process Algebra you can analyse both behavioural and performance properties of concurrent systems. You can find tools on the PEPA tools page, including the PEPA Workbench. | Contact: Stephen Gilmore |
|
|
Proof General is a generic user interface for interactive proof assistants. It supports Isabelle, Coq, and LEGO, and can be configured for similar systems. | Contact: David Aspinall |
| RAHD | Real Algebra in High Dimensions is a decision procedure for nonlinear real algebra. | Contact: Grant Passmore |
Some other software, no longer in development: