Buchumschlag

Towards Automated Verification of LLM-Synthesized C Programs

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Mukherjee, Prasita, Delaware, Benjamin
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

KestRel: Relational Verification Using E-Graphs for Program Alignment
von: Dickerson, Robert, et al.
Veröffentlicht: (2024)

Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
von: Nagar, Kartik, et al.
Veröffentlicht: (2020)

Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation
von: Ye, Qianchuan, et al.
Veröffentlicht: (2023)

From Traces to Program Incorrectness: A Type-Theoretic Approach
von: Yuan, Yongwei, et al.
Veröffentlicht: (2025)

Type-Based Incorrectness Reasoning
von: Zhou, Zhe, et al.
Veröffentlicht: (2025)

Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language (extended version)
von: Parthasarathy, Gaurav, et al.
Veröffentlicht: (2024)

Polymorphic Coverage Types
von: Zhou, Zhe, et al.
Veröffentlicht: (2023)

Trace-Guided Synthesis of Effectful Test Generators
von: Zhou, Zhe, et al.
Veröffentlicht: (2026)

Proof Automation with Large Language Models
von: Lu, Minghai, et al.
Veröffentlicht: (2024)

We've Got You Covered: Type-Guided Repair of Incomplete Input Generators
von: LaFontaine, Patrick, et al.
Veröffentlicht: (2025)

Tunable Automation in Automated Program Verification
von: Bai, Alexander Y., et al.
Veröffentlicht: (2025)

Automated Verification of Tree-Manipulating Programs Using Constrained Horn Clauses
von: Faella, Marco, et al.
Veröffentlicht: (2024)

C*: Unifying Programming and Verification in C
von: Cao, Yiyuan, et al.
Veröffentlicht: (2025)

Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types
von: Dane, Serra Z., et al.
Veröffentlicht: (2026)

Generative Explanations for Program Synthesizers
von: Nazari, Amirmohammad, et al.
Veröffentlicht: (2024)

A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata
von: Zhou, Zhe, et al.
Veröffentlicht: (2024)

Ranking LLM-Generated Loop Invariants for Program Verification
von: Chakraborty, Saikat, et al.
Veröffentlicht: (2023)

Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
von: Ciccalè, Marco, et al.
Veröffentlicht: (2025)

Automated Verification of Soundness of DNN Certifiers
von: Singh, Avaljot, et al.
Veröffentlicht: (2025)

Towards LLM-Powered Verilog RTL Assistant: Self-Verification and Self-Correction
von: Huang, Hanxian, et al.
Veröffentlicht: (2024)

Verification Algorithms for Automated Separation Logic Verifiers
von: Eilers, Marco, et al.
Veröffentlicht: (2024)

Practical Formal Verification for MLIR Programs
von: Tucker, Emily, et al.
Veröffentlicht: (2026)

Automated Verification of Monotonic Data Structure Traversals in C
von: Sotoudeh, Matthew
Veröffentlicht: (2025)

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
von: Zhang, Kaiwen, et al.
Veröffentlicht: (2026)

Solvable Tuple Patterns and Their Applications to Program Verification
von: Kobayashi, Naoki, et al.
Veröffentlicht: (2025)

Towards Repository-Level Program Verification with Large Language Models
von: Zhong, Si Cheng, et al.
Veröffentlicht: (2025)

Iso-Recursive Multiparty Sessions and their Automated Verification -- Technical Report
von: Giunti, Marco, et al.
Veröffentlicht: (2025)

AutoChip: Automating HDL Generation Using LLM Feedback
von: Thakur, Shailja, et al.
Veröffentlicht: (2023)

Analyzing LLM Instruction Optimization for Tabular Fact Verification
von: Du, Xiaotang, et al.
Veröffentlicht: (2026)

Towards Formal Verification of LLM-Generated Code from Natural Language Prompts
von: Councilman, Aaron, et al.
Veröffentlicht: (2025)

Automated Computer Program Evaluation and Projects -- Our Experiences
von: Srinivasan, Bama, et al.
Veröffentlicht: (2024)

Automated Software Verification of Hyperliveness
von: Beutner, Raven
Veröffentlicht: (2024)

QCP: A Practical Separation Logic-based C Program Verification Tool
von: Wu, Xiwei, et al.
Veröffentlicht: (2025)

Automated Theorem Proving for Prolog Verification
von: Mesnard, Fred, et al.
Veröffentlicht: (2026)

Weighted NetKAT: A Programming Language For Quantitative Network Verification
von: Acevedo, Emmanuel Suárez, et al.
Veröffentlicht: (2026)

Automated Expected Cost Analysis for Quantum Programs
von: Moser, Georg, et al.
Veröffentlicht: (2026)

End-to-end Compositional Verification of Program Safety through Verified and Verifying Compilation
von: Wu, Jinhua, et al.
Veröffentlicht: (2025)

Synthesizing Specifications
von: Park, Kanghee, et al.
Veröffentlicht: (2023)

Synthesizing Invariants for Polynomial Programs by Semidefinite Programming
von: Wu, Hao, et al.
Veröffentlicht: (2023)

Automated Formal Verification of a Software Fault Isolation System
von: Sotoudeh, Matthew, et al.
Veröffentlicht: (2025)