APA (7th ed.) Citation

Li, S., Jiang, J., Zhao, T., & Shen, J. (2025). OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification.

Chicago Style (17th ed.) Citation

Li, Shangyu, Juyong Jiang, Tiancheng Zhao, and Jiasi Shen. OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification. 2025.

MLA (9th ed.) Citation

Li, Shangyu, et al. OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification. 2025.