@article{Syeda_Klein_20,
    author           = {Syeda, Hira Taqdees and Klein, Gerwin},
    date             = {2020-6-1},
    doi              = {https://doi.org/10.1007/s10817-019-09539-7},
    issn             = {0168-7433},
    issue            = {6},
    journal          = {Journal of Automated Reasoning},
    keywords         = {{TLB}, operating systems, cached adress translation, program verification, {Isabelle}/{HOL}, {ARM}},
    month            = jun,
    pages            = {911-945},
    publisher        = {Springer},
    title            = {Formal Reasoning under Cached Address Translation},
    volume           = {64},
    year             = {2020}
  }