Approximating Predicate Images for Bit-Vector Logic.

Daniel Kroening, Natasha Sharygina

Browse the full TACAS paper archive.