Difference between revisions of "Tools:TrafO"

From Termination-Portal.org
Jump to navigationJump to search
(New page: <!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool page yourself af...)
 
Line 17: Line 17:
 
|university=TU Eindhoven
 
|university=TU Eindhoven
 
|developers=Matthias Raffelsieper and Hans Zantema
 
|developers=Matthias Raffelsieper and Hans Zantema
|publication=
+
|publication=[[Bibtex:RZ09|A Transformational Approach to Prove Outermost Termination Automatically]]
 
}}
 
}}
  
 
<!-- 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. -->
 +
 +
The version of the tool that participated in the [[Outermost|outermost]] strategy category of the
 +
[[Termination Competition]] 2008 used the transformations T_1 and T_3 of the above reference and both
 +
the tools [[Tools:AProVE|AProVE]] and [[Tools:Jambox|Jambox]] in the versions that participated in the
 +
2007 Termination Competition as backends.

Revision as of 14:47, 18 May 2009


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.