Department of Computer Science
University of Innsbruck
Home Research Teaching Members Events News Jobs
Research
publications projects software
software
CSI CSI^ho CeTA ConCon FORT KBCV MKBtt MiniSmt ProTeM TCT TTT2

Software

TTT2

The Tyrolean Termination Tool 2 (TTT2) is a tool for automatically proving (and disproving) termination of rewrite systems. It is the completely redesigned successor of TTT.