Date(s) - 09/03/2016
2:00 pm - 3:00 pm
Speaker: Prof. Daniel Kroening, Oxford University.
Date: Wednesday, March 9, 2016
Location: Taub 701 CS building
Procedure-modular template-based analyses with an application to termination analysis
I will show an implementation of a template-based abstract program analysis, which is procedure modular, and thus promises to scale to large code bases. I will give an instance of the analysis to show termination of loops under bit-vector semantics.