Deciding bit-vector arithmetic with abstraction (0)

by R E Bryant, D Kroening, J Ouaknine, S A Seshia, O Strichman, B Brady
Venue:in Proc. TACAS 2007, March 2007. [Online]. Available: http://www.gigascale.org/pubs/976.html