Difference between revisions of "Tools:Rainbow"

From Termination-Portal.org
Jump to navigationJump to search
(Updated homepage (http://color.loria.fr has been a deadlink for a while now))
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=
+
|publication=[[Bibtex:CoLoR09|Bibtex:CoLoR09]]
 
}}
 
}}
  
 
<!-- 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. -->

Revision as of 02:06, 29 October 2009


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:CoLoR09