Copertina

VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Sevenhuijsen, Merlijn, Etemadi, Khashayar, Nyberg, Mattias
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code
di: Amilon, Jesper, et al.
Pubblicazione: (2026)

CppPerf: An Automated Pipeline and Dataset for Performance-Improving C++ Commits
di: Ho, Tommy, et al.
Pubblicazione: (2026)

SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
di: Ma, Lezhi, et al.
Pubblicazione: (2024)

Mokav: Execution-driven Differential Testing with LLMs
di: Etemadi, Khashayar, et al.
Pubblicazione: (2024)

AutoDeduct: A Tool for Automated Deductive Verification of C Code
di: Amilon, Jesper, et al.
Pubblicazione: (2025)

LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems
di: Etemadi, Khashayar, et al.
Pubblicazione: (2025)

CigaR: Cost-efficient Program Repair with LLMs
di: Hidvégi, Dávid, et al.
Pubblicazione: (2024)

Automated Repair of AI Code with Large Language Models and Formal Verification
di: Charalambous, Yiannis, et al.
Pubblicazione: (2024)

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software
di: Patil, Minal Suresh, et al.
Pubblicazione: (2024)

ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis
di: Baksys, Mantas, et al.
Pubblicazione: (2025)

GenSIaC: Toward Security-Aware Infrastructure-as-Code Generation with Large Language Models
di: Li, Yikun, et al.
Pubblicazione: (2025)

SmartDoc: A Context-Aware Agentic Method Comment Generation Plugin
di: Etemadi, Vahid, et al.
Pubblicazione: (2025)

Automated Harmfulness Testing for Code Large Language Models
di: Tan, Honghao, et al.
Pubblicazione: (2025)

REACCEPT: Automated Co-evolution of Production and Test Code Based on Dynamic Validation and Large Language Models
di: Chi, Jianlei, et al.
Pubblicazione: (2024)

From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification
di: Erfan, Md, et al.
Pubblicazione: (2026)

CodeDPO: Aligning Code Models with Self Generated and Verified Source Code
di: Zhang, Kechi, et al.
Pubblicazione: (2024)

LLM4C2Rust: Large Language Models for Automated Memory-Safe Code Transpilation
di: Bedell, Sarah, et al.
Pubblicazione: (2026)

Automated Classification of Human Code Review Comments with Large Language Models
di: Çağlar, Semih, et al.
Pubblicazione: (2026)

PSD2Code: Automated Front-End Code Generation from Design Files via Multimodal Large Language Models
di: Chen, Yongxi, et al.
Pubblicazione: (2025)

KBX: Verified Model Synchronization via Formal Bidirectional Transformation
di: Zhao, Jianhong, et al.
Pubblicazione: (2024)

Can Large Language Models Model Programs Formally?
di: Chen, Zhiyong, et al.
Pubblicazione: (2026)

ModiGen: A Large Language Model-Based Workflow for Multi-Task Modelica Code Generation
di: Xiang, Jiahui, et al.
Pubblicazione: (2025)

Formally Verified Binary-level Pointer Analysis
di: Verbeek, Freek, et al.
Pubblicazione: (2025)

GenFair: Systematic Test Generation for Fairness Fault Detection in Large Language Models
di: Srinivasan, Madhusudan, et al.
Pubblicazione: (2025)

Automated Repair of C Programs Using Large Language Models
di: Farzandway, Mahdi, et al.
Pubblicazione: (2025)

Can Large Language Models Generate Geospatial Code?
di: Hou, Shuyang, et al.
Pubblicazione: (2024)

Optimizing Large Language Model Hyperparameters for Code Generation
di: Arora, Chetan, et al.
Pubblicazione: (2024)

Large Language Models for Code Generation: The Practitioners Perspective
di: Rasheed, Zeeshan, et al.
Pubblicazione: (2025)

Aligning Requirement for Large Language Model's Code Generation
di: Tian, Zhao, et al.
Pubblicazione: (2025)

Self-planning Code Generation with Large Language Models
di: Jiang, Xue, et al.
Pubblicazione: (2023)

Fine-Tuning and Prompt Engineering for Large Language Models-based Code Review Automation
di: Pornprasit, Chanathip, et al.
Pubblicazione: (2024)

Comparative Analysis of the Code Generated by Popular Large Language Models (LLMs) for MISRA C++ Compliance
di: Umer, Malik Muhammad
Pubblicazione: (2025)

BlueCodeAgent: A Blue Teaming Agent Enabled by Automated Red Teaming for CodeGen AI
di: Guo, Chengquan, et al.
Pubblicazione: (2025)

Detect Repair Verify for Securing LLM Generated Code: A Multi-Language Empirical Study
di: Cheng, Cheng
Pubblicazione: (2026)

GeoJSEval: An Automated Evaluation Framework for Large Language Models on JavaScript-Based Geospatial Computation and Visualization Code Generation
di: Chen, Guanyu, et al.
Pubblicazione: (2025)

On the Effectiveness of Large Language Models in Domain-Specific Code Generation
di: Gu, Xiaodong, et al.
Pubblicazione: (2023)

VerifyThisBench: Generating Code, Specifications, and Proofs All at Once
di: Deng, Xun, et al.
Pubblicazione: (2025)

Proving the Coding Interview: A Benchmark for Formally Verified Code Generation
di: Dougherty, Quinn, et al.
Pubblicazione: (2025)

Detect--Repair--Verify for LLM-Generated Code: A Multi-Language, Multi-Granularity Empirical Study
di: Cheng, Cheng
Pubblicazione: (2026)

Automating Patch Set Generation from Code Review Comments Using Large Language Models
di: Rahman, Tajmilur, et al.
Pubblicazione: (2024)