Automatically check programs for equivalence


llrêve is the web interface for an automated program equivalence verification tool.

The web page is hosted at KIT and KIT's data protection policy applies.

The authors are not responsible for, and expressly disclaim all liability for, damages of any kind arising out of use, reference to, or reliance on any information contained within the site. While the information contained within the site is periodically updated, no guarantee is given that the information provided in this Web site is correct, complete, and up-to-date.

For reasons of maintaining server security and in order to improve our services, the contents of server requests (ie. the programs to compare) are logged.

The development of this tool was partially supported by the German National Science Foundation (DFG) under the IMPROVE project within the priority program SPP 1593 "Design For Future – Managed Software Evolution", and by the Swedish Research Council.

Copyright 2016 Karlsruhe Institute of Technology, Uppsala University