AProVE: Termination and Memory Safety of C Programs - (Competition Contribution).
['Thomas Ströder', 'Cornelius Aschermann', 'Florian Frohn', 'Jera Hensel', 'Jürgen Giesl']
AProVE: Termination and Memory Safety of C Programs - (Competition Contribution).