Tools:TrafO

From Termination-Portal.org
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.