Can Large Language Models Verify System Software? A Case Study Using FSCQ as a Benchmark
Jianxing Qin, Alexander Du, Danfeng Zhang, Matthew Lentz, Danyang Zhuo
USENIX Workshop on Hot Topics in Operating Systems