Automating Regression Verification
ASE 2014 Submission Companion Page
Run the Rêve tool online
Please note that the tool is running on a low-spec web server and
response times may be higher than the ones given in the paper.
Benchmarks mentioned in the paper can be selected from the drop-down menu on the page linked above.
