Difference between revisions of "Tools:Rainbow"

From Termination-Portal.org
Jump to navigationJump to search
 
(3 intermediate revisions by 3 users not shown)
Line 8: Line 8:
 
|shortname=Rainbow
 
|shortname=Rainbow
 
|longname=Termination proof certifier
 
|longname=Termination proof certifier
|homepage=http://color.loria.fr/
+
|homepage=http://color.inria.fr/
 
|country=France and The Netherlands
 
|country=France and The Netherlands
 
|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: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