Difference between revisions of "Tools:TCT"

From Termination-Portal.org
Jump to navigationJump to search
(Added homepage)
(Deleted information that TCT is based on TTT2 because of the new Haskell implementation of TCT)
 
(One intermediate revision by one other user not shown)
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=
 
}}
 
}}
  
 
<!-- If you want to add some additional information to the tool page, you can do so after this comment. -->
 
<!-- If you want to add some additional information to the tool page, you can do so after this comment. -->
 
TCT is a complexity prover based on the termination tool [[Tools:TTT2|TTT2]]. It is specialized in proving
 
polynomial upper bounds on the derivational complexity and runtime complexity of TRSs.
 

Latest revision as of 11:24, 16 April 2010


TCT (Tyrolean Complexity Tool)