If you do not see this message displayed properly, please click here


The Faculty of Informatics is pleased to announce a seminar given by Martin Blicha



Applications of focused interpolants
Speaker: Martin Blicha
Charles University, Czech Republic
Date: Wednesday, June 14, 2017
Place: USI Lugano Campus, room 250, Main building (Via G. Buffi 13)
Time: 14:30-15:30



Craig interpolants are widely used in program verification as a means of abstraction. In the talk we will show how focused interpolants (interpolants computed in the presence of partial variable assignment) can be used to speed up interpolation-based verification techniques. We will present the application in the incremental upgrade checking and in the process of labeling abstract reachability graph of a program.



Martin Blicha is a PhD student at the group of Formal Methods at Charles University. In his research he focuses on interpolation-based software verification, primarily of C source code. He received his master degree in Logic and Computer Science in 2016.


Host: Prof. Natasha Sharygina


Faculty of Informatics

Faculty of Informatics
Università della Svizzera italiana
Via Giuseppe Buffi 13
CH-6904 Lugano
Tel.: +41 (0)58 666 46 90
Fax: +41 (0)58 666 45 36
Email: decanato.inf@usi.ch
Web: www.inf.usi.ch
Twitter: @USI_INF


Segui USI@EXPO2015 su Twitter Segui USI@EXPO2015 su Facebook Segui USI@EXPO2015 su Linkedin Segui USI@EXPO2015 su YouTube