TY  - RPRT
TI  - Revisiting Differential Verification: Equivalence Verification with Confidence
AU  - Samuel Teuber
AU  - Philipp Kern
AU  - Marvin Janzen
AU  - Bernhard Beckert
PY  - 2025
DO  - 10.1007/978-3-031-90653-4_13
UR  - https://arxiv.org/abs/2410.20207
ID  - 2410.20207
ER  -