Difference between revisions of "Tools:TCT"

From Termination-Portal.org
Jump to navigationJump to search
(Added homepage)
Line 12: Line 12:
 
|university=University of Innsbruck
 
|university=University of Innsbruck
 
|developers=Martin Avanzini, [[People:Georg Moser|Georg Moser]], [[People:Andreas Schnabl|Andreas Schnabl]]
 
|developers=Martin Avanzini, [[People:Georg Moser|Georg Moser]], [[People:Andreas Schnabl|Andreas Schnabl]]
 +
|publication=
 
}}
 
}}
  

Revision as of 17:30, 13 May 2009


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.