1
Inferring Code Correctness from Specification
新方法从代码规范自动推断正确性，无需运行即可验证，提升代码质量与可靠性。
arXiv:2605.29822v1 Announce Type: cross Abstract: Large language models (LLMs) have become integral to modern software development, enabling automated…
2
BODHI: Precise OS Kernel Specification Inference
精确推断操作系统内核规范，BODHI方法填补了系统级验证的关键空白。
arXiv:2605.23931v1 Announce Type: new Abstract: The formal verification of operating system kernels requires precise specifications that capture the i…