Tyrolean Complexity Tool: Features and Usage

Tyrolean Complexity Tool: Features and Usage
M. Avanzini and G.Moser
Proceedings of the 24th International Conference on Rewriting Techniques and Applications, volume 21 of Leibnitz International Proceedings in Informatics, pages 71–80, 2013.


The Tyrolean Complexity Tool, TCT for short, is an open source complexity analyser for term rewrite systems. Our tool TCT features a majority of the known techniques for the automated characterisation of polynomial complexity of rewrite systems and can investigate derivational and runtime complexity, for full and innermost rewriting. This system description outlines features and provides a short introduction to the usage of TCT.


Program Analysis, Term Rewriting, Complexity Analysis, Automation, TCT, Runtime Complexity Analysis