3 papers
cs.PL2026
Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code
Jesper Amilon, Merlijn Sevenhuijsen, Mattias Nyberg +1
Code contracts provide a robust way to specify functional requirements of safety-critical software in embedded systems. For example, the ANSI/ISO C Specification Language (ACSL) ca…
cs.FL2025
CASP: An evaluation dataset for formal verification of C code
Niclas Hertzberg, Merlijn Sevenhuijsen, Liv Kåreborn +1
Recent developments in Large Language Models (LLMs) have shown promise in automating code generation, yet the generated programs lack rigorous correctness guarantees. Formal verifi…
cs.SE2024
VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models
Merlijn Sevenhuijsen, Khashayar Etemadi, Mattias Nyberg
Large language models have demonstrated impressive capabilities in generating code, yet they often produce programs with flaws or deviations from intended behavior, limiting their…