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

by Shaunak Chatterjee , Shuvendu K. Lahiri , Shaz Qadeer
Venue:In Tools and Algorithms for the Construction and Analysis of Systems (TACAS
Citations:37 - 12 self