Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic

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


Selected Authors

Ströder, Thomas
Giesl, Jürgen
Brockschmidt, Marc
Frohn, Florian
Fuhs, Carsten

Other Authors

Hensel, Jera
Schneider-Kamp, Peter
Aschermann, Cornelius