Tools:: CADP
Website
CADP
download
Input Languanges:
  • Tool's own language (LOTOS (ISO standard 8807), communicating finite state machines, etc.)

Supported Techniques:
  • Model Checking

Platforms:
  • Linux, Sparc/Solaris, Sparc/SunOS

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