@article{Zhao_LTUTSTASSSMNH_25,
    archiveprefix    = {arXiv},
    author           = {Junming Zhao and Alessandro Legnani and Tiana Tsang Ung and H. Truong and Tsun Wang Sau and Miki
                        Tanaka and {\AA}man Pohjola, Johannes and Thomas Sewell and Rob Sison and Hira Syeda and Magnus
                        Myreen and Michael Norrish and Gernot Heiser},
    eprint           = {2501.08249},
    journal          = {arXiv preprint},
    month            = jan,
    numpages         = {15},
    paperurl         = {https://trustworthy.systems/publications/papers/Zhao_LTUTSTASSSMNH_25.pdf},
    primaryclass     = {cs.PL},
    title            = {Verifying Device Drivers with {Pancake}},
    url              = {https://arxiv.org/abs/2501.08249},
    year             = {2025}
  }