by Thomas Ströder, Cornelius Aschermann, Florian Frohn, Jera Hensel, Jürgen Giesl
Reference:
AProVE: Termination and Memory Safety of C Programs – (Competition Contribution) (Thomas Ströder, Cornelius Aschermann, Florian Frohn, Jera Hensel, Jürgen Giesl), Chapter in Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Christel Baier, Cesare Tinelli, eds.), Springer, volume 9035, 2015.
Bibtex Entry:
@incollection{StroederAschermannFrohnHenselGiesl2015,
author = {Str"{o}der, Thomas and Aschermann, Cornelius and Frohn, Florian and Hensel, Jera and Giesl, J"{u}rgen},
title = {AProVE: Termination and Memory Safety of C Programs - (Competition Contribution)},
booktitle = {Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
year = {2015},
volume = {9035},
series = {Lecture Notes in Computer Science},
editor = {Baier, Christel and Tinelli, Cesare},
isbn = {978-3-662-46680-3},
location = {London, UK},
pages = {417--419},
publisher = {Springer}
}