| Parallel Computing
The Edinburgh Concurrency Workbench (CWB)
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.
With the Workbench it is possible to:
- define behaviours given either in the syntax of the Temporal CCS (TCCS) or SCCS, and perform various
analyses on these behaviours, such as analysing the state space of a given process, or checking various
semantic equivalences and preorders;
- define propositions in a powerful modal logic and to check whether a given process satisfies a specification
formulated in this logic;
- derive automatically logical formulae which distinguish nonequivalent processes;
interactively simulate the behaviour of an agent, thus guiding it through its state space in a controlled
Current Version: 7.0
License Type: Free licences available for use in research and education
Source Code Availability:
Available Binary Packages:
- Debian Package: No
- RedHat RPM Package: No
- Other Packages: No
Available in precompiled form for Suns (running Solaris or SunOS4).
It can in principle be used on
any platform for which a Standard ML of New Jersey compiler v 0.93 is available, since you can get the sources
from the ftp directory and compile them yourself.
Some Linux users have told author about the successful compilation of the CWB under Linux.
Mailing Lists/USENET News Groups:
Mailing List info at http://www.dcs.ed.ac.uk/home/cwb/cwb-users.html
See A Screen Shot? (Not Yet)
Copyright © 1995-2001 by
Copyright © 1997-2001 by
Kachina Technologies, Inc.
All rights reserved.