@inproceedings{Tuch_KH_05,
    address          = {Santa Fe, NM, USA},
    author           = {Harvey Tuch and Gerwin Klein and Gernot Heiser},
    booktitle        = {Workshop on Hot Topics in Operating Systems (HotOS)},
    month            = jun,
    pages            = {7--12},
    paperurl         = {https://trustworthy.systems/publications/papers/Tuch_KH_05.pdf},
    title            = {{OS} Verification --- Now!},
    year             = {2005}
  }