Welcome to the home page of the Edinburgh Concurrency Workbench, which is a
tool for describing, exploring and automatically verifying systems.
The CWB is no longer maintained and, generally speaking, no longer
available. If you have questions about it or want to get the code even with
no promises of anything, it might still be worth emailing Perdita.