Tools:TCT

From Termination-Portal.org
Revision as of 15:16, 20 October 2008 by Aschnabl (talk | contribs) (added page)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search


TCT (Tyrolean Complexity Tool)

  • developed at University of Innsbruck, Austria
  • home page: TBA
  • developers: Martin Avanzini, Georg Moser, Andreas Schnabl
  • publication: {{{publication}}}


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