A solver for reachability modulo theories. (2012)

by A Lal, S Qadeer, S K Lahiri
Venue:In Computer Aided Verification - 24th International Conference, CAV 2012,