Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs.

Cristina David, Daniel Kroening, Matt Lewis

Browse the full ESOP paper archive.