1
AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis
融合大模型与代码属性图静态分析，自动合成ACSL形式化规格，让C程序验证更省力。
arXiv:2606.20969v1 Announce Type: new Abstract: Generating formal specifications for C programs remains a challenge in formal verification due to the …