A low-level memory model and an accompanying reachability predicate.

Shaunak Chatterjee Shuvendu K. Lahiri Shaz Qadeer Zvonimir Rakamaric A low-level memory model and an accompanying reachability predicate. 105-116 2009 11 STTT 2 http://dx.doi.org/10.1007/s10009-009-0098-1 db/journals/sttt/sttt11.html#ChatterjeeLQR09