AIBullisharXiv – CS AI · 8h ago7/10
🧠
AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis
Researchers introduce AutoACSL, a framework combining large language models with Code Property Graph analysis to automatically generate formal specifications for C programs. The system achieves 96% verification success rates, significantly outperforming code-only baselines and advancing automated formal verification capabilities.
🧠 GPT-5🧠 Gemini🧠 Grok