Tools:: Murphi
Website
Murphi
download
Input Languanges:
  • Tool's own language (guarded command language)

Supported Techniques:
  • Model Checking, Symmetry

Platforms:
  • Sparc/Solaris, SGI Indy, HP-UX

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