Edinburgh Concurrency Workbench Summary

The Edinburgh Concurrency Workbench (CWB) is an automated tool which caters for the manipulation and analysis of concurrent systems. In particular, the CWB allows for various equivalence, preorder and model checking using a variety of different process semantics.

For example, with the CWB it is possible to:

For more detail, see the Documentation page.

Back to CWB home page