Skip to Main content Skip to Navigation
New interface
Conference papers

TcT: Tyrolean Complexity Tool

Martin Avanzini 1, 2 Georg Moser 1 Michael Schaper 1 
2 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : In this paper we present TcT v3.0, the latest version of our fully automated complexity analyser. TcT implements our framework for automated complexity analysis and focuses on extensibility and automation. TcT is open with respect to the input problem under investigation and the resource metric in question. It is the most powerful tool in the realm of automated complexity analysis of term rewrite systems. Moreover it provides an expressive problem-independent strategy language that facilitates proof search. We give insights about design choices, the implementation of the framework and report different case studies where we have applied TcT successfully.
Document type :
Conference papers
Complete list of metadata

Cited literature [26 references]  Display  Hide  Download
Contributor : Martin Avanzini Connect in order to contact the contributor
Submitted on : Friday, November 4, 2016 - 10:39:33 AM
Last modification on : Wednesday, February 2, 2022 - 3:56:18 PM
Long-term archiving on: : Sunday, February 5, 2017 - 1:36:04 PM


Files produced by the author(s)




Martin Avanzini, Georg Moser, Michael Schaper. TcT: Tyrolean Complexity Tool. Proceedings of 22nd TACAS, Apr 2016, Eindhoven, Netherlands. pp.407-423, ⟨10.1007/978-3-662-49674-9_24⟩. ⟨hal-01392188⟩



Record views


Files downloads