Tools:: Concurrency Workbench
Website
Concurrency Workbench
download
Input Languanges:
  • Tool's own language

Supported Techniques:
  • Equivalence, Preorder and Model Checking

Platforms:

For questions and suggestions contact the webmaster
Formal Methods Group, CS Department, University of Toronto 2004