Proving Termination of Programs with Bitvector Arithmetic by Symbolic Execution.

Jera Hensel, Jrgen Giesl, Florian Frohn, Thomas Strder

Browse the full SEFM paper archive.