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
fashion.
|
Current Version: 7.0
License Type: Free licences available for use in research and education
http://www.dcs.ed.ac.uk/home/cwb/cwb.licence
|
Home Site:
http://www.dcs.ed.ac.uk/home/cwb/
Source Code Availability:
Yes
Available Binary Packages:
- Debian Package: No
- RedHat RPM Package: No
- Other Packages: No
Targeted Platforms:
Available in precompiled form for Suns (running Solaris or SunOS4).
Software/Hardware Requirements:
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.
|
Other Links:
None
Mailing Lists/USENET News Groups:
Mailing List info at http://www.dcs.ed.ac.uk/home/cwb/cwb-users.html
User Comments:
See A Screen Shot? (Not Yet)
|