The following publications are possibly variants of this publication:
- AProVE: Proving and Disproving Termination of Memory-Manipulating C Programs - (Competition Contribution)Jera Hensel, Frank Emrich, Florian Frohn, Thomas Ströder, Jürgen Giesl. TACAS 2017: 350-354 [doi]
- AProVE: Termination and Memory Safety of C Programs - (Competition Contribution)Thomas Ströder, Cornelius Aschermann, Florian Frohn, Jera Hensel, Jürgen Giesl. TACAS 2015: 417-419 [doi]
- Proving Termination of Programs Automatically with AProVEJürgen Giesl, Marc Brockschmidt, Fabian Emmes, Florian Frohn, Carsten Fuhs, Carsten Otto, Martin Plücker, Peter Schneider-Kamp, Thomas Ströder, Stephanie Swiderski, René Thiemann. cade 2014: 184-191 [doi]
- Automated Termination Proofs with AProVEJürgen Giesl, René Thiemann, Peter Schneider-Kamp, Stephan Falke. RTA 2004: 210-220 [doi]
- Analyzing Program Termination and Complexity Automatically with AProVEJürgen Giesl, Cornelius Aschermann, Marc Brockschmidt, Fabian Emmes, Florian Frohn, Carsten Fuhs, Jera Hensel, Carsten Otto, Martin Plücker, Peter Schneider-Kamp, Thomas Ströder, Stephanie Swiderski, René Thiemann. JAR, 58(1):3-31, 2017. [doi]