@techreport{msr-tr-2006-154,
  author = {Shaunak Chatterjee and Shuvendu Lahiri and Shaz Qadeer and Zvonimir Rakamari\'c},
  title = {A Reachability Predicate for Analyzing Low-Level Software},
  institution = {Microsoft Research Redmond},
  year = {2006},
  month = {November},
  number = {MSR-TR-2006-154},
  pdf = {ftp://ftp.research.microsoft.com/pub/tr/TR-2006-154.pdf}
}