@inproceedings{Tuch_KH_05, address = {Santa Fe, NM, USA}, author = {Harvey Tuch and Gerwin Klein and Gernot Heiser}, booktitle = {Proceedings of the 10th 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} }