Tools:TTT2
TTT2 (Tyrolean Termination Tool 2)
- developed at LFU Innsbruck, Austria
- home page: http://cl-informatik.uibk.ac.at/software/ttt2/
- developers: Martin Korp, Christian Sternagel, Harald Zankl, and Aart Middeldorp
- publication: Tyrolean Termination Tool 2