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.

verification, logic, interpolation, model checking

Electronic version of the publication:

Related Projects:
Project Head Georg Weissenbacher:
Heisenbugs: Auffindung und Erklärung

Created from the Publication Database of the Vienna University of Technology.