From Natural Language to Verified C: Verification-Guided Generation with ACSL Specifications

Zian Wang, Qin Li, Weisong Sun +1

AI-assisted code generation amplifies the demand for automated formal verification. Generated programs must not only be executable but also accompanied by machine-checkable evidenc…