Open source tools for software engineering teams using AI
← Bibliography

Evaluating LLM-generated ACSL annotations for formal verification

Arshad Beg and Diarmuid O'Donoghue and Rosemary Monahan misc 2026 Source: z-spec

View original ↗

Note

LLM-generated annotations show lower, more variable proof success rates and increased SMT solver instability vs tool-generated.

Citation Key

beg2026acsl