The Concurrency Workbench of the New Century (CWB-NC) provides support for the automated verification of concurrent software systems. The tool allows the user to write a description of the system at hand in one of several design languages (CCS, CSP, LOTOS, PCCS, SCCS, TCCS). Furthermore it supports a variety of automated verification and analysis techniques to check whether the system adheres to its specifications.

Among the verification and analysis techniques are:
- Behavioral-Relation-Based Verification
- Temporal-Logic-Based Verification
- Interactive Simulation
- Reachability analysis

Project Activity

See All Activity >

Follow Concurrency Workbench NC

Concurrency Workbench NC Web Site

Other Useful Business Software
$300 Free Credits to Build on Google Cloud Icon
$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
Start Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Concurrency Workbench NC!

Additional Project Details

Registered

2013-03-10
Report inappropriate content