Search dblp for Publications

export results for "Formal verification of a multiprocessor hypervisor on Arm relaxed memory hardware"

 download as .bib file

@inproceedings{DBLP:conf/sosp/TaoYLLNG21,
  author    = {Runzhou Tao and
               Jianan Yao and
               Xupeng Li and
               Shih{-}Wei Li and
               Jason Nieh and
               Ronghui Gu},
  title     = {Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed
               Memory Hardware},
  booktitle = {{SOSP}},
  pages     = {866--881},
  publisher = {{ACM}},
  year      = {2021}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics