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