Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
G. Weissenbacher:
"Interpolation algorithms and their applications in model checking";
Vortrag: Automata, Logic and Games,
Singapore (eingeladen);
29.08.2016
- 02.09.2016.
Kurzfassung englisch:
In the last decade, interpolation has become the cornerstone of numerous modern verification tools. In this talk, I will survey the applications of interpolation in contemporary model checking algorithms, including recent approaches that combine interpolation-based model checking and the IC3 paradigm. The second half of the talk will be dedicated to labelled interpolation systems, a generalized framework for the extraction of interpolants from resolution proofs and resolution chains.
Schlagworte:
verification, logic, interpolation, model checking
Elektronische Version der Publikation:
http://www2.ims.nus.edu.sg/Programs/016auto/files/weissenbacher.pdf
Zugeordnete Projekte:
Projektleitung Georg Weissenbacher:
Heisenbugs: Auffindung und Erklärung
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.