The Edinburgh Concurrency Workbench
Welcome to the home page of the Edinburgh Concurrency Workbench, which is a
tool for describing, exploring and automatically verifying systems.
The tool and the source code are freely available for use in education and
research, subject to this licence.
Back to CWB home page