The Concurrency Workbench of the New Century (CWB-NC) provides
users with a number of different techniques for specifying and verifying
finite-state concurrent systems. The tool combines support for several
different system-design notations with decision procedures for a number
of refinement relations and for determining if systems satisfy temporal
formulas. The design of the tool facilitates customization, and a
related tool, the Process Algebra Compiler, may be used to specialize the
CWB-NC to new design notations and to add new features to existing ones.
Since the original release in 1996, the CWB-NC has been acquired by 350
different groups and has been applied to several large-scale case studies
in the areas of communications protocols and process-control systems.
Originally called the Concurrency Workbench of North Carolina, the tool
has been renamed as the Concurrency Workbench of the New Century
in honor of the group's move to SUNY
at Stony Brook. The CWB-NC represents a continuation of research started
in the late 1980s in the original Concurrency Workbench project.
The CWB-NC is freely available; try
it out!
Contents
