arXiv cs.SE· Lezhi Ma, Han Wang, Shangqing Liu, Jiawan Wang, Lei Bu·· 2 小时前AI 评分34
SpecAgent：用智能体合成形式化程序规约，助力程序验证
SpecAgent: Empowering Program Verification with Agentic Synthesis of Formal Program Specifications
AI 导读
SpecAgent 是一个为真实 C 程序合成高质量 ACSL 规约的智能体框架，集成依赖感知规划、RAG、智能体修复与智能体评审四个组件。在 14 个真实仓库的 50 个程序上，SpecAgent 配合 DeepSeek-V4 达到 96.82% 精确率和 88.95% 召回率，优于所有基线。在 811 个真实验证目标上成功完成 604 个。
来源：arXiv cs.SE · arxiv.org