swMATH ID: 7830
Software Authors: Hirokawa, Nao; Middeldorp, Aart
Description: The Tyrolean Termination Tool 2 (TTT2) is a tool for automatically proving (and disproving) termination of term rewrite systems. It is the completely redesigned successor of TTT. Current (non-)termination techniques include: approximated dependency graph, argument filtering, bounds, dependency pair method, Knuth-Bendix order, lexicographic path order, loop detection, matrix interpretation, polynomial interpretation, predictive labeling, recursive SCC, root-labeling, semantic labeling, simple projection and subterm criterion, uncurrying, and usable rules.
Homepage: http://cl-informatik.uibk.ac.at/software/ttt2/
Related Software: AProVE; Haskell; MU-TERM; Maude; Matchbox; CiME; CeTA; MiniSat; TPA; CoLoR; Isabelle/HOL; Jambox; OBJ3; TPDB; CSI; REVE; CafeOBJ; Nagoya Termination Tool; Isabelle; Slothrop
Referenced in: 89 Publications

Referencing Publications by Year