TY  - RPRT
TI  - Verifying Device Drivers with Pancake
AU  - Junming Zhao
AU  - Miki Tanaka
AU  - Johannes Åman Pohjola
AU  - Alessandro Legnani
AU  - Tiana Tsang Ung
AU  - H. Truong
AU  - Tsun Wang Sau
AU  - Thomas Sewell
AU  - Rob Sison
AU  - Hira Syeda
AU  - Magnus Myreen
AU  - Michael Norrish
AU  - Gernot Heiser
PY  - 2025
UR  - https://arxiv.org/abs/2501.08249
ID  - 2501.08249
ER  -