A Solver for Reachability Modulo Theories.

Akash Lal, Shaz Qadeer, Shuvendu K. Lahiri

Browse the full CAV paper archive.