Revisiting Differential Verification: Equivalence Verification with Confidence
Teuber, Samuel
1; Kern, Philipp
2; Janzen, Marvin 1; Beckert, Bernhard
1
1 Karlsruher Institut für Technologie (KIT)
2 Institut für Theoretische Informatik (ITI), Karlsruher Institut für Technologie (KIT)
1; Kern, Philipp
2; Janzen, Marvin 1; Beckert, Bernhard
11 Karlsruher Institut für Technologie (KIT)
2 Institut für Theoretische Informatik (ITI), Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2025 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-031-90653-4 ISSN: 0302-9743, 1611-3349 KITopen-ID: 1000182733 |
| Erschienen in | Tools and Algorithms for the Construction and Analysis of Systems – 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II. Ed.: A. Gurfinkel |
| Veranstaltung | 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2025), Hamilton, Kanada, 03.05.2025 – 08.05.2025 |
| Verlag | Springer Nature Switzerland |
| Seiten | 257 – 278 |
| Serie | Lecture Notes in Computer Science ; 15697 |
| Vorab online veröffentlicht am | 01.05.2025 |
| Nachgewiesen in | OpenAlex Dimensions Scopus |