A reachability predicate for analyzing low-level software (0)

by Shaunak Chatterjee, Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric
Venue:In International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS, volume 4424 of LNCS