Proving Termination of Programs with Bitvector Arithmetic by Symbolic Execution
['Jera Hensel', 'Jürgen Giesl', 'Florian Frohn', 'Thomas Ströder']
Proving Termination of Programs with Bitvector Arithmetic by Symbolic Execution