A Decision Procedure for Bit-Vectors and Arrays.

Vijay Ganesh, David L. Dill

Browse the full CAV paper archive.