Preprint
Oct 2026
From Natural Language to Verified C: Verification-Guided Generation with ACSL Specifications
AI-assisted code generation amplifies the demand for automated formal verification. Generated programs must not only be executable but also accompanied by machine-checkable evidence of correctness. Existing approaches can synthesize functionally plausible code or plausible-looking specifications from natural-language p...
Zian Wang, Qin Li, Wei-Song Sun et al.
· 0 citations