@article{DBLP:journals/corr/abs-2401-14320,
  author       = {Samuel Teuber and
                  Philipp Kern and
                  Marvin Janzen and
                  Bernhard Beckert},
  title        = {Revisiting Differential Verification: Equivalence Verification with Confidence},
  journal      = {CoRR},
  year         = {2024},
  eprinttype    = {arXiv},
  volume       = {abs/2410.20207},
  url          = {https://doi.org/10.48550/arXiv.2410.20207},
  doi          = {10.48550/arXiv.2410.20207},
  eprint       = {2410.20207}
}