Concurrency Workbench NC

Automatic verification of concurrent software systems

Brought to you by: cschulze1984

Downloads: 0 This Week

Last Update: 2016-07-23

Get an email when there's a new version of Concurrency Workbench NC

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

Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon

Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.

Try 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

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

Recommended Projects

Awesum
Awesum is an automated graphical checksum verification utility written in Python using the PyGTK toolkit. It currently supports both MD5 and SHA checksums.
Awesum2
Awesum2 is a graphical checksum verification utility written in Java.
VHDL Design Verification Tools
This project contains a set of tools for formal verification and static analysis of VHDL design.
Face Verification Experiment
Original Caffe Version for LightCNN-9. Highly recommend to use PyTorch
UVM
This project hosts the reference implementation of a common base library(CBL) code for Universal Verification Methodology (UVM) as proposed by the Accellera Verification Intellectual Property Technical Subcommittee.