A decision procedure for bitvectors and arrays (0)

by V Ganesh, D L Dill
Venue:In Proceedings on the Conference on Computer Aided Verification