TY  - RPRT
TI  - From Natural Language to Verified C: Verification-Guided Generation with ACSL Specifications
AU  - Zian Wang
AU  - Qin Li
AU  - Weisong Sun
AU  - Haibin Cai
PY  - 2026
UR  - https://arxiv.org/abs/2610.30725
ID  - 2610.30725
ER  -