Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic

Ströder, Thomas; Giesl, Jürgen (Corresponding author); Brockschmidt, Marc; Frohn, Florian; Fuhs, Carsten; Hensel, Jera; Schneider-Kamp, Peter; Aschermann, Cornelius

Dordrecht [u.a.] / Springer Science + Business Media B.V. (2016, 2017) [Journal Article]

Journal of automated reasoning
Volume: 58
Issue: 1
Page(s): 33-65

Identifier