Thursday, 24th of June 2021, 12:00 – 1:00

Certified termination analysis

Please use this link & sign in with your real name

Maximilian Haslbeck
Researcher at CL, University of Innsbruck


When developing software every programmer has written non terminating code by accident and then spent a lot of time and effort trying to figure out where the code starts to loop indefinitely. In order to help a developer catch these bugs early on there exist numerous automatic analysis tools that can deduce if a program is terminating or not. But are the analysis tools bug free and can one trust their output? To solve this problem, we developed a framework for certified termination analysis which I will present in this talk.


Nach oben scrollen