AProVE: Termination and Memory Safety of C Programs - (Competition Contribution).

Thomas Strder, Cornelius Aschermann, Florian Frohn, Jera Hensel, Jrgen Giesl

Browse the full TACAS paper archive.