TY  - RPRT
TI  - Combining Type Checking and Formal Verification for Lightweight OS Correctness
AU  - Ramla Ijaz
AU  - Kevin Boos
AU  - Lin Zhong
PY  - 2024
UR  - https://arxiv.org/abs/2501.00248
ID  - 2501.00248
ER  -