TY  - RPRT
TI  - OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification
AU  - Shangyu Li
AU  - Juyong Jiang
AU  - Tiancheng Zhao
AU  - Jiasi Shen
PY  - 2025
UR  - https://arxiv.org/abs/2504.20964
ID  - 2504.20964
ER  -