Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Veröffentlichungen

Revisiting Differential Verification: Equivalence Verification with Confidence

Begutachtete Veröffentlichung in Tagungsband
Autor(en):Samuel Teuber, Philipp Kern, Marvin Janzen und Bernhard Beckert
In:TACAS
Verleger:Springer
Reihe:LNCS
Jahr: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}
}