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.
Type de document :
Communication dans un congrès
Marsha Chechnik; Jean-Francois Raskin. Proceedings of 22nd TACAS, Apr 2016, Eindhoven, Netherlands. Springer Verlag Heidelberg, 9636, pp.407-423, 2016, LNCS. 〈10.1007/978-3-662-49674-9_24〉
Liste complète des métadonnées

Littérature citée [26 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01392188
Contributeur : Martin Avanzini <>
Soumis le : vendredi 4 novembre 2016 - 10:39:33
Dernière modification le : samedi 27 janvier 2018 - 01:31:38
Document(s) archivé(s) le : dimanche 5 février 2017 - 13:36:04

Fichier

paper.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Martin Avanzini, Georg Moser, Michael Schaper. TcT: Tyrolean Complexity Tool. Marsha Chechnik; Jean-Francois Raskin. Proceedings of 22nd TACAS, Apr 2016, Eindhoven, Netherlands. Springer Verlag Heidelberg, 9636, pp.407-423, 2016, LNCS. 〈10.1007/978-3-662-49674-9_24〉. 〈hal-01392188〉

Partager

Métriques

Consultations de la notice

266

Téléchargements de fichiers

84