AProVE: Termination and Memory Safety of C programs - (competition contribution (2015)

by T Ströder, C Aschermann, F Frohn, J Hensel, J Giesl
Venue:in Tools and Algorithms for the Construction and Analysis of Systems