Procedure-modular template-based analyses with an application to termination analysis

  • Map Unavailable

    Date/Time
    Date(s) - 09/03/2016
    2:00 pm - 3:00 pm

    Categories No Categories


    Speaker:  Prof. Daniel Kroening, Oxford University.
    Date: Wednesday, March 9, 2016
    Time: 14:00-15:00
    Location: Taub 701 CS building 

    Procedure-modular template-based analyses with an application to termination analysis

    Abstract:
    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.