3 papers:
TACAS-2015-StroderAFHG #c #contest #memory management #named #safety #source code #termination- AProVE: Termination and Memory Safety of C Programs — (Competition Contribution) (TS, CA, FF, JH, JG), pp. 417–419.
IJCAR-2014-GieslBEFFOPSSST #automation #proving #source code #termination- Proving Termination of Programs Automatically with AProVE (JG, MB, FE, FF, CF, CO, MP, PSK, TS, SS, RT), pp. 184–191.
RTA-2004-GieslTSF #automation #proving #termination- Automated Termination Proofs with AProVE (JG, RT, PSK, SF), pp. 210–220.
