Tools:: TermiLog
Website
TermiLog
download
Input Languanges:

Supported Techniques:
  • termination analysis, Abstraction

Platforms:
  • Linux, Sparc/Solaris

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