Revisiting Differential Verification: Equivalence Verification with Confidence.

Samuel Teuber, Philipp Kern, Marvin Janzen, Bernhard Beckert

Browse the full TACAS paper archive.