Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Revisiting Differential Verification: Equivalence Verification with Confidence

Reviewed Paper In Proceedings
Author(s):Samuel Teuber, Philipp Kern, Marvin Janzen, and Bernhard Beckert
In:TACAS
Publisher:Springer
Series:LNCS
Year:2025
DOI:10.48550/arXiv.2410.20207

BibTeX

@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}
}