Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
G. Weissenbacher:
"Interpolation-based Model Checking and IC3";
Hauptvortrag: Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science,
Telč, Czech Republic (eingeladen);
13.10.2017
- 15.10.2017.
Kurzfassung englisch:
In the last decade, interpolation has become the cornerstone of numerous modern verification tools. In this talk, I explain the applications of interpolation in contemporary model checking algorithms, including recent approaches that combine interpolation-based model checking and the IC3 paradigm. The second part of the talk is dedicated to interpolation algorithms that enable the extraction of interpolants from resolution proofs.
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.