Copertina

Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Bucev, Mario, Chassot, Samuel, Felix, Simon, Schramka, Filip, Kunčak, Viktor
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Software Engineering Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Verifying a Realistic Mutable Hash Table
di: Chassot, Samuel, et al.
Pubblicazione: (2021)

Verified invertible lexer using regular expressions and DFAs
di: Chassot, Samuel, et al.
Pubblicazione: (2024)

Formally Verified Linear-Time Invertible Lexing
di: Chassot, Samuel, et al.
Pubblicazione: (2025)

The Case for Multi-Version Experimental Evaluation (MVEE)
di: Jörz, Simon, et al.
Pubblicazione: (2026)

MLIR-Smith: A Novel Random Program Generator for Evaluating Compiler Pipelines
di: Ates, Berke, et al.
Pubblicazione: (2026)

An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization
di: Arfi, Farid, et al.
Pubblicazione: (2024)

FLAT: Formal Languages as Types
di: Zhu, Fengmin, et al.
Pubblicazione: (2025)

Towards AI-Assisted Synthesis of Verified Dafny Methods
di: Misu, Md Rakib Hossain, et al.
Pubblicazione: (2024)

Package Managers à la Carte: A Formal Model of Dependency Resolution
di: Gibb, Ryan, et al.
Pubblicazione: (2026)

A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics
di: Erata, Ferhat, et al.
Pubblicazione: (2024)

K-CIRCT: A Layered, Composable, and Executable Formal Semantics for CIRCT Hardware IRs
di: Zhao, Jianhong, et al.
Pubblicazione: (2024)

From a Natural to a Formal Language with DSL Assistant
di: Mosthaf, My M., et al.
Pubblicazione: (2024)

Generating Verifiable Chain of Thoughts from Exection-Traces
di: Thakur, Shailja, et al.
Pubblicazione: (2025)

CLEVER: A Curated Benchmark for Formally Verified Code Generation
di: Thakur, Amitayush, et al.
Pubblicazione: (2025)

VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners
di: Yang, Aidan Z. H., et al.
Pubblicazione: (2024)

SoliDiffy: AST Differencing for Solidity Smart Contracts
di: Eshghie, Mojtaba, et al.
Pubblicazione: (2024)

Shepherd: A Runtime Substrate Empowering Meta-Agents with a Formalized Execution Trace
di: Yu, Simon, et al.
Pubblicazione: (2026)

CodeContests-O: Powering LLMs via Feedback-Driven Iterative Test Case Generation
di: Cai, Jianfeng, et al.
Pubblicazione: (2026)

Correctness-Guaranteed Code Generation via Constrained Decoding
di: Li, Lingxiao, et al.
Pubblicazione: (2025)

SEVerA: Verified Synthesis of Self-Evolving Agents
di: Banerjee, Debangshu, et al.
Pubblicazione: (2026)

Certus: A domain specific language for confidence assessment in assurance cases
di: Diemert, Simon, et al.
Pubblicazione: (2025)

Certified Program Synthesis with a Multi-Modal Verifier
di: Feng, Yueyang, et al.
Pubblicazione: (2026)

A New Generation of Intelligent Development Environments
di: Marron, Mark
Pubblicazione: (2024)

Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters
di: Mitchell, Jacqueline L., et al.
Pubblicazione: (2025)

ReSyn: A Generalized Recursive Regular Expression Synthesis Framework
di: Kim, Seongmin, et al.
Pubblicazione: (2026)

Leveraging Test Driven Development with Large Language Models for Reliable and Verifiable Spreadsheet Code Generation: A Research Framework
di: Thorne, Simon, et al.
Pubblicazione: (2025)

Pareto Optimal Code Generation
di: Orlanski, Gabriel, et al.
Pubblicazione: (2025)

Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages
di: Gilot, Andrea, et al.
Pubblicazione: (2025)

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
di: Sanchez-Stern, Alex, et al.
Pubblicazione: (2024)

The Stackage Repository: An Exploratory Study of its Evolution
di: Leger, Paul, et al.
Pubblicazione: (2023)

Concept-Based Generic Programming in C++
di: Stroustrup, Bjarne
Pubblicazione: (2025)

Program Structure Aware Precondition Generation
di: Dinella, Elizabeth, et al.
Pubblicazione: (2023)

Generalized Software Product Line Extraction
di: Bruzzone, Federico, et al.
Pubblicazione: (2026)

Automated Code Editing with Search-Generate-Modify
di: Liu, Changshu, et al.
Pubblicazione: (2023)

Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference
di: Le-Cong, Thanh, et al.
Pubblicazione: (2025)

iScript: A Domain-Adapted Large Language Model and Benchmark for Physical Design Tcl Script Generation
di: Xu, Ning, et al.
Pubblicazione: (2026)

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
di: Tempel, Sören, et al.
Pubblicazione: (2024)

Accurate Coverage Metrics for Compiler-Generated Debugging Information
di: Stinnett, J. Ryan, et al.
Pubblicazione: (2024)

Python Symbolic Execution with LLM-powered Code Generation
di: Wang, Wenhan, et al.
Pubblicazione: (2024)

Model-Driven Engineering for Quantum Programming: A Case Study on Ground State Energy Calculation
di: Polat, Furkan, et al.
Pubblicazione: (2024)