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
99.99% Uptime for MySQL and PostgreSQL Databases Icon
99.99% Uptime for MySQL and PostgreSQL Databases

Sub-second maintenance. 2x read/write performance. Built-in vector search for AI apps.

Cloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
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