A Reachability Predicate for Analyzing Low-Level Software.

Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric

Browse the full TACAS paper archive.