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


Perdita.Stevens@ed.ac.uk