llrêve is the web interface for an automated program equivalence/non-interference verification tool.

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 security reasons, the compared programs and your IP address 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