Revisiting Differential Verification: Equivalence Verification with Confidence. - Samuel Teuber; Philipp Kern; Marvin Janzen; Bernhard Beckert (TACAS (2), 2025)