Difference between revisions of "Tools:TCT"

From Termination-Portal.org
Jump to navigationJump to search
m (cosmetic changes)
(Added homepage)
Line 8: Line 8:
 
|shortname=TCT
 
|shortname=TCT
 
|longname=Tyrolean Complexity Tool
 
|longname=Tyrolean Complexity Tool
|homepage=TBA
+
|homepage=http://cl-informatik.uibk.ac.at/software/tct/
 
|country=Austria
 
|country=Austria
 
|university=University of Innsbruck
 
|university=University of Innsbruck

Revision as of 08:12, 3 November 2008


TCT (Tyrolean Complexity Tool)


TCT is a complexity prover based on the termination tool TTT2. It is specialized in proving polynomial upper bounds on the derivational complexity and runtime complexity of TRSs.