Tools:: ManTa
Website
ManTa
download
Input Languanges:
  • Tool's own language (Formal Theory of Abstract Data Types)

Supported Techniques:
  • Heuristic Theorem Proving, Proof Checking, Code Synthesis

Platforms:
  • Windows NT, Windows 95, Linux, Sparc/Solaris, MIPS

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