Proving Termination and Memory Safety for Programs with Pointer Arithmetic? Thomas Str¨ oder1 , J¨ urgen Giesl1 , Marc Brockschmidt2 , Florian Frohn1 , Carsten Fuhs3 , Jera Hensel1 , and Peter Schneider-Kamp4

First Page		Document Content
Date: 2015-01-30 08:47:53		Proving Termination and Memory Safety for Programs with Pointer Arithmetic? Thomas Str¨ oder1 , J¨ urgen Giesl1 , Marc Brockschmidt2 , Florian Frohn1 , Carsten Fuhs3 , Jera Hensel1 , and Peter Schneider-Kamp4 Add to Reading List Source URL: verify.rwth-aachen.de Download Document from Source Website File Size: 459,15 KB Share Document on Facebook