Image de couverture de livre

Validating Traces of Distributed Programs Against TLA+ Specifications

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Cirstea, Horatiu, Kuppe, Markus A., Loillier, Benjamin, Merz, Stephan
Format:	Preprint
Publié:	2024
Sujets:	Programming Languages Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Challenges of Multilingual Program Specification and Analysis
par: Furia, Carlo A., et autres
Publié: (2024)

Proceedings 9th edition of Working Formal Methods Symposium
par: Arusoaie, Andrei, et autres
Publié: (2025)

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
par: Wu, Valentina, et autres
Publié: (2025)

CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems
par: Odyurt, Uraz, et autres
Publié: (2025)

ReFuzzer: Feedback-Driven Approach to Enhance Validity of LLM-Generated Test Programs
par: Shree, Iti, et autres
Publié: (2025)

Literate Tracing
par: Sotoudeh, Matthew
Publié: (2025)

Teaching LLMs Program Semantics via Symbolic Execution Traces
par: Bayer, Jonas, et autres
Publié: (2026)

A Trace-based Approach for Code Safety Analysis
par: Xu, Hui
Publié: (2025)

Validated Code Translation for Projects with External Libraries
par: Zhang, Hanliang, et autres
Publié: (2026)

A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics
par: Erata, Ferhat, et autres
Publié: (2024)

Understanding and Detecting Platform-Specific Violations in Android Auto Apps
par: Fakorede, Moshood, et autres
Publié: (2025)

Caruca: Effective and Efficient Specification Mining for Opaque Software Components
par: Lamprou, Evangelos, et autres
Publié: (2025)

MutDafny: A Mutation-Based Approach to Assess Dafny Specifications
par: Amaral, Isabel, et autres
Publié: (2025)

Enhancing Translation Validation of Compiler Transformations with Large Language Models
par: Wang, Yanzhao, et autres
Publié: (2024)

Advancing Automated In-Isolation Validation in Repository-Level Code Translation
par: Ke, Kaiyao, et autres
Publié: (2025)

An Incremental Algorithm for Algebraic Program Analysis
par: Zhou, Chenyu, et autres
Publié: (2024)

C*: Unifying Programming and Verification in C
par: Cao, Yiyuan, et autres
Publié: (2025)

Concept-Based Generic Programming in C++
par: Stroustrup, Bjarne
Publié: (2025)

LLM-Guided Compositional Program Synthesis
par: Khan, Ruhma, et autres
Publié: (2025)

Program Structure Aware Precondition Generation
par: Dinella, Elizabeth, et autres
Publié: (2023)

Scalable, Validated Code Translation of Entire Projects using Large Language Models
par: Zhang, Hanliang, et autres
Publié: (2024)

On Repairing Quantum Programs Using ChatGPT
par: Guo, Xiaoyu, et autres
Publié: (2024)

Inferring Non-Failure Conditions for Declarative Programs
par: Hanus, Michael
Publié: (2024)

Conceptual Mutation Testing for Student Programming Misconceptions
par: Prasad, Siddhartha, et autres
Publié: (2023)

Towards Analyzing N-language Polyglot Programs
par: Prakash, Jyoti, et autres
Publié: (2026)

Divergent Multi-Version Execution (DME): Canonical Instruction-Trace Fault Detection via Structural Address-Space Decorrelation
par: Yrievich, Petro Baran
Publié: (2026)

Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
par: Xia, Shihao, et autres
Publié: (2026)

Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference
par: Le-Cong, Thanh, et autres
Publié: (2025)

NESA: Relational Neuro-Symbolic Static Program Analysis
par: Wang, Chengpeng, et autres
Publié: (2024)

Enabling Memory Safety of C Programs using LLMs
par: Mohammed, Nausheen, et autres
Publié: (2024)

LPR: Large Language Models-Aided Program Reduction
par: Zhang, Mengxiao, et autres
Publié: (2023)

Agentic Specification Generator for Move Programs
par: Fu, Yu-Fu, et autres
Publié: (2025)

DRReduce: Enhancing Syntax-Guided Program Reduction with Dependency Reconstruction
par: Feng, Qiong, et autres
Publié: (2026)

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
par: Marron, Mark
Publié: (2024)

Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages
par: Szabo, Violet, et autres
Publié: (2024)

Execution-Aware Program Reduction for WebAssembly via Record and Replay
par: Baek, Doehyun, et autres
Publié: (2025)

Strengthening Programming Comprehension in Large Language Models through Code Generation
par: Ren, Xiaoning, et autres
Publié: (2025)

JustinANN: Realistic Test Generation for Java Programs Driven by Annotations
par: Cui, Baoquan, et autres
Publié: (2025)

A Core Calculus for Type-safe Product Lines of C Programs
par: Damiani, Ferruccio, et autres
Publié: (2026)

QCP: A Practical Separation Logic-based C Program Verification Tool
par: Wu, Xiwei, et autres
Publié: (2025)