@misc{indiciaece6ed58ff3b7,
  title = {Revisiting Differential Verification: Equivalence Verification with Confidence},
  author = {Samuel Teuber and Philipp Kern and Marvin Janzen and Bernhard Beckert},
  year = {2025},
  doi = {10.1007/978-3-031-90653-4\_13},
  url = {https://arxiv.org/abs/2410.20207},
  note = {Source identifier: 2410.20207}
}