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
Follow Concurrency Workbench NC
Other Useful Business Software
Gen AI apps are built with MongoDB Atlas
MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Concurrency Workbench NC!