Talks and Poster Presentations (without Proceedings-Entry):
G. Weissenbacher:
"Interpolation algorithms and their applications in model checking";
Talk: Automata, Logic and Games,
Singapore (invited);
2016-08-29
- 2016-09-02.
English abstract:
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.
Keywords:
verification, logic, interpolation, model checking
Electronic version of the publication:
http://www2.ims.nus.edu.sg/Programs/016auto/files/weissenbacher.pdf
Related Projects:
Project Head Georg Weissenbacher:
Heisenbugs: Auffindung und Erklärung
Created from the Publication Database of the Vienna University of Technology.