@INPROCEEDINGS{VeryDiff,
  author       = {Samuel Teuber and
                  Philipp Kern and
                  Marvin Janzen and
                  Bernhard Beckert},
  title        = {Revisiting Differential Verification: Equivalence Verification with Confidence},
  booktitle = {TACAS},
  year      = {2025},
  doi       = {10.48550/arXiv.2410.20207},
  editor    = {Arie Gurfinkel and
               Marijn Heule},
  longbooktitle = {Tools and Algorithms for the Construction
               and Analysis of Systems. TACAS 2025},
  publisher = {Springer},
  series    = {LNCS}
}