A decision procedure for bit-vectors and arrays. (2007)

by Vijay Ganesh, David L Dill
Venue:In CAV,