Jump to content

Tools:TCT: Difference between revisions

From Termination-Portal.org
← Older edit
No edit summary
Aschnabl (talk | contribs)
25 edits
Deleted information that TCT is based on TTT2 because of the new Haskell implementation of TCT
 
Line 16: Line 16:


<!-- 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)


Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Tools:TCT&oldid=1067"