Thomas Ströder, Jürgen Giesl, Marc Brockschmidt, Florian Frohn, Carsten Fuhs, Jera Hensel, Peter Schneider-Kamp, Cornelius Aschermann. Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic. Journal of Automated Reasoning, 58(1):33-65, 2017. [doi]
Abstract is missing.