TY  - RPRT
TI  - OSVAuto: automatic proofs about functional specifications in OS verification
AU  - Yulun Wu
AU  - Bican Xia
AU  - Jiale Xu
AU  - Bohua Zhan
AU  - Tianqi Zhao
PY  - 2025
UR  - https://arxiv.org/abs/2403.13457
ID  - 2403.13457
ER  -