Assoc. Prof. Dr. Georg Moser   

Tyrolean Complexity Tool

The Tyrolean Complexity Tool (TCT for short) is a tool for automatically proving polynomial upper bounds on the derivational complexity and runtime complexity of term rewriting systems. TCT is open source and licensed under the GNU Lesser General Public License.

TCT is developed as part of the FWF project "Derivational Complexity Analysis".