Imagen de Portada

Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Amilon, Jesper, Sevenhuijsen, Merlijn, Nyberg, Mattias, Palmskog, Karl
Formato:	Preprint
Publicado:	2026
Materias:	Programming Languages Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models
por: Sevenhuijsen, Merlijn, et al.
Publicado: (2024)

Contract Based Program Models for Software Model Checking
por: Amilon, Jesper, et al.
Publicado: (2025)

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

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

C*: Unifying Programming and Verification in C
por: Cao, Yiyuan, et al.
Publicado: (2025)

Neural Code Translation of Legacy Code: APL to C#
por: Ramadan, Abdulrahman, et al.
Publicado: (2026)

Correctness Witnesses with Function Contracts
por: Heizmann, Matthias, et al.
Publicado: (2025)

QCP: A Practical Separation Logic-based C Program Verification Tool
por: Wu, Xiwei, et al.
Publicado: (2025)

Typing Requirement Model as Coroutines
por: Gu, Qiqi, et al.
Publicado: (2024)

Beyond Postconditions: Can Large Language Models infer Formal Contracts for Automatic Software Verification?
por: Richter, Cedric, et al.
Publicado: (2025)

Automated Code Repair for C/C++ Static Analysis Alerts
por: Svoboda, David, et al.
Publicado: (2025)

Transforming C++11 Code to C++03 to Support Legacy Compilation Environments
por: Antal, Gábor, et al.
Publicado: (2024)

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

Verification Modulo Tested Library Contracts
por: Uppar, Abhishek, et al.
Publicado: (2026)

A Problem-Oriented Perspective and Anchor Verification for Code Optimization
por: Ye, Tong, et al.
Publicado: (2024)

Functional Consistency of LLM Code Embeddings: A Self-Evolving Data Synthesis Framework for Benchmarking
por: Li, Zhuohao, et al.
Publicado: (2025)

RacerF: Lightweight Static Data Race Detection for C Code
por: Dacík, Tomáš, et al.
Publicado: (2025)

SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification
por: Zhou, Tianyang, et al.
Publicado: (2025)

A Shallow Embedding of Datalog in Lean
por: Shahin, Ramy
Publicado: (2026)

Concept-Based Generic Programming in C++
por: Stroustrup, Bjarne
Publicado: (2025)

What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
por: Oliveira, Francisco, et al.
Publicado: (2025)

Micro-Patterns in Solidity Code
por: Ruschioni, Luca, et al.
Publicado: (2025)

Pareto Optimal Code Generation
por: Orlanski, Gabriel, et al.
Publicado: (2025)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
por: Xie, Xiaoheng, et al.
Publicado: (2024)

Runtime Verification on Abstract Finite State Models
por: Jevitha, KP, et al.
Publicado: (2024)

SynQ: An Embedded DSL for Synchronous System Design with Quantitative Types
por: Chen, Rui, et al.
Publicado: (2025)

Validated Code Translation for Projects with External Libraries
por: Zhang, Hanliang, et al.
Publicado: (2026)

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

A Trace-based Approach for Code Safety Analysis
por: Xu, Hui
Publicado: (2025)

On the Anatomy of Real-World R Code for Static Analysis
por: Sihler, Florian, et al.
Publicado: (2024)

Structural Code Search using Natural Language Queries
por: Limpanukorn, Ben, et al.
Publicado: (2025)

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

Creating a Trajectory for Code Writing: Algorithmic Reasoning Tasks
por: Ravikumar, Shruthi, et al.
Publicado: (2024)

A Unified Framework for Automated Code Transformation and Pragma Insertion
por: Pouget, Stéphane, et al.
Publicado: (2024)

Advancing Automated In-Isolation Validation in Repository-Level Code Translation
por: Ke, Kaiyao, et al.
Publicado: (2025)

Compilation of Commit Changes within Java Source Code Repositories
por: Schott, Stefan, et al.
Publicado: (2024)

From Code to Career: Assessing Competitive Programmers for Industry Placement
por: Akib, Md Imranur Rahman, et al.
Publicado: (2025)

Characterizing Unsafe Code Encapsulation In Real-world Rust Systems
por: Rao, Zihao, et al.
Publicado: (2024)

Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models
por: Sim, HoHyun, et al.
Publicado: (2025)

Zero-shot Evaluation of Deep Learning for Java Code Clone Detection
por: Heinze, Thomas S.
Publicado: (2026)