Tools:: ACL2
Website
ACL2
download
Input Languanges:
  • Tool's own language (Common Lisp)

Supported Techniques:
  • Heuristic Theorem Proving, Proof Checking

Platforms:
  • Linux, Sparc/Solaris

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