Published April 2, 2016 | Version v1
Conference paper Metadata-only

TcT: Tyrolean Complexity Tool

Avanzini, Martin
Moser, Georg
Schaper, Michael
Others:
Department of Computer Science [Innsbruck] ; Leopold Franzens Universität Innsbruck - University of Innsbruck
Foundations of Component-based Ubiquitous Systems (FOCUS) ; Inria Sophia Antipolis - Méditerranée (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria [Bologna] (DISI) ; Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO)-Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO)
Marsha Chechnik
Jean-Francois Raskin

Description

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.

Abstract

International audience

Additional details

Identifiers Origin repository
Created:
March 25, 2023
Modified:
November 29, 2023