TY  - RPRT
TI  - AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis
AU  - Han Zhou
AU  - Yu Luo
AU  - Dianxiang Xu
PY  - 2026
UR  - https://arxiv.org/abs/2606.20969
ID  - 2606.20969
ER  -