collaborators

1 paper

cs.LO2025

AProVE: Modular Termination Analysis of Memory-Manipulating C Programs

Frank Emrich, Jera Hensel, Jürgen Giesl

Termination analysis of C programs is a challenging task. On the one hand, the analysis needs to be precise enough to draw meaningful conclusions. On the other hand, relevant progr…