Published January 27, 2025
| Version v2
Software
Open
Docker Artifact for Revisiting Differential Verification: Equivalence Verification with Confidence
Authors/Creators
-
1.
Karlsruhe Institute of Technology
Description
Our artifact comprises a Docker Container which allows the repetition of the experiments from the paper.
In particular, the Docker Container admits the execution of all compared tools on all compared benchmark instances.
For better reproducibility, the container also comprises all logs from our benchmark executions so that the generation of tables/plots can also be repeated without repetition of the benchmarks.
Files
Files
(12.1 GB)
| Name | Size | |
|---|---|---|
|
md5:e01f896bd13f32907b8b4710aa780bef
|
12.1 GB | Download |