Deciding Bit-Vector Arithmetic with Abstraction.

Randal E. Bryant, Daniel Kroening, Jol Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady

Browse the full TACAS paper archive.