Talks and Poster Presentations (without Proceedings-Entry):

G. Weissenbacher:
"Interpolation-based Model Checking and IC3";
Keynote Lecture: Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Telč, Czech Republic (invited); 2017-10-13 - 2017-10-15.

English abstract:
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.

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