2 papers
cs.LO2025
AutoDeduct: A Tool for Automated Deductive Verification of C Code
Jesper Amilon, Dilian Gurov, Christian Lidström +3
Deductive verification has become a mature paradigm for the verification of industrial software. Applying deductive verification, however, requires that every function in the code…
cs.SE2024
Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software
Minal Suresh Patil, Gustav Ung, Mattias Nyberg
The paper studies how code generation by LLMs can be combined with formal verification to produce critical embedded software. The first contribution is a general framework, spec2co…