A custom version of AProVE which only proves termination of C and LLVM programs.
Experimental Evaluation of "Termination and Complexity Analysis for Programs with Bitvector Arithmetic by Symbolic Execution"
Additional Information about this Version of AProVE