Tools:TrafO

From Termination-Portal.org
Revision as of 14:52, 18 May 2009 by Mraffels (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search


TrafO (Transformation of Outermost Termination)


The version of the tool that participated in the outermost strategy category of the Termination Competition 2008 used the transformations T_1 and T_3 of the above reference and both the tools AProVE and Jambox in the versions that participated in the 2007 Termination Competition as backends.