@INPROCEEDINGS{VeryDiff,
  author       = {Samuel Teuber and
                  Philipp Kern and
                  Marvin Janzen and
                  Bernhard Beckert},
  editor       = {Arie Gurfinkel and
                  Marijn Heule},
  title        = {Revisiting Differential Verification: Equivalence Verification with
                  Confidence},
  booktitle    = {31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
  eventtitleaddon    = {{TACAS}~2025},
  venue           = {Hamilton, ON, Canada},
  eventdate       = {2025-05-03/2025-05-08},
  series       = {LNCS},
  volume       = {15697},
  pages        = {257--278},
  publisher    = {Springer},
  year         = {2025},
  month = {may},
  doi          = {10.1007/978-3-031-90653-4_13},
}