Difference between revisions of "Tools:Rainbow"

From Termination-Portal.org
Jump to navigationJump to search
 
Line 12: Line 12:
 
|university=INRIA and Eindhoven University of Technology
 
|university=INRIA and Eindhoven University of Technology
 
|developers=Frederic Blanqui and Adam Koprowski
 
|developers=Frederic Blanqui and Adam Koprowski
|publication=[[Bibtex:CoLoR09|Bibtex:CoLoR09]]
+
|publication=[[Bibtex:CoLoR11|Bibtex:CoLoR11]]
 
}}
 
}}
  
 
<!-- 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. -->

Latest revision as of 09:13, 18 January 2011


Rainbow (Termination proof certifier)

  • developed at INRIA and Eindhoven University of Technology, France and The Netherlands
  • home page: http://color.inria.fr/
  • developers: Frederic Blanqui and Adam Koprowski
  • publication: Bibtex:CoLoR11