OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification

OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification

29 April 2025

Shangyu Li

Juyong Jiang

Tiancheng Zhao

Jiasi Shen

Papers citing "OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification"

Title
No papers