Tools:TrafO

From Termination-Portal.org
Revision as of 14:47, 18 May 2009 by Mraffels (talk | contribs)
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.