Revision as of 13:45, 30 March 2008

Rainbow (Termination proof certifier)

developed at INRIA and Eindhoven University of Technology, France and The Netherlands
home page: http://color.loria.fr/
developers: Frederic Blanqui and Adam Koprowski
publication: {{{publication}}}