AProVE: Proving and Disproving Termination of Memory-Manipulating C Programs - (Competition Contribution).

Jera Hensel, Frank Emrich, Florian Frohn, Thomas Strder, Jrgen Giesl

Browse the full TACAS paper archive.