@misc{indiciaed6b77fc8c228,
  title = {Verifying Device Drivers with Pancake},
  author = {Junming Zhao and Miki Tanaka and Johannes Åman Pohjola and Alessandro Legnani and Tiana Tsang Ung and H. Truong and Tsun Wang Sau and Thomas Sewell and Rob Sison and Hira Syeda and Magnus Myreen and Michael Norrish and Gernot Heiser},
  year = {2025},
  url = {https://arxiv.org/abs/2501.08249},
  note = {Source identifier: 2501.08249}
}