Buchumschlag

Scalable Deductive Verification of Data-Level Parallel Programs

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Haak, Lars B. van den, Wijs, Anton, Huisman, Marieke
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

HaliVer: Deductive Verification and Scheduling Languages Join Forces
von: Haak, Lars B. van den, et al.
Veröffentlicht: (2024)

Crash-free Deductive Verifiers
von: Nauta, Wander, et al.
Veröffentlicht: (2026)

Deductive Verification of Weak Memory Programs with View-based Protocols (extended version)
von: Şakar, Ömer, et al.
Veröffentlicht: (2026)

AutoDeduct: A Tool for Automated Deductive Verification of C Code
von: Amilon, Jesper, et al.
Veröffentlicht: (2025)

RE-oriented Model Development with LLM Support and Deduction-based Verification
von: Klimek, Radoslaw
Veröffentlicht: (2025)

Toward Practical Deductive Verification: Insights from a Qualitative Survey in Industry and Academia
von: Brugger, Lea Salome, et al.
Veröffentlicht: (2025)

Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
von: Foster, Simon, et al.
Veröffentlicht: (2020)

Formal Methods: From Academia to Industrial Practice. A Travel Guide
von: Huisman, Marieke, et al.
Veröffentlicht: (2020)

Lemma Discovery in Agentic Program Verification
von: Zhao, Huan, et al.
Veröffentlicht: (2026)

Parallel Program Analysis on Path Ranges
von: Haltermanna, Jan, et al.
Veröffentlicht: (2024)

RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation
von: Zhong, Sicheng, et al.
Veröffentlicht: (2025)

MR-Adopt: Automatic Deduction of Input Transformation Function for Metamorphic Testing
von: Xu, Congying, et al.
Veröffentlicht: (2024)

Can LLMs Enable Verification in Mainstream Programming?
von: Shefer, Aleksandr, et al.
Veröffentlicht: (2025)

DafnyPro: LLM-Assisted Automated Verification for Dafny Programs
von: Banerjee, Debangshu, et al.
Veröffentlicht: (2026)

From Inductive to Deductive: LLMs-Based Qualitative Data Analysis in Requirements Engineering
von: Shah, Syed Tauhid Ullah, et al.
Veröffentlicht: (2025)

Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification
von: Wen, Cheng, et al.
Veröffentlicht: (2024)

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

Architectural Design Decisions for Self-Serve Data Platforms in Data Meshes
von: van Eijk, Tom, et al.
Veröffentlicht: (2024)

TRIAD: Automated Traceability Recovery based on Biterm-enhanced Deduction of Transitive Links among Artifacts
von: Gao, Hui, et al.
Veröffentlicht: (2023)

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

Towards the Coordination and Verification of Heterogeneous Systems with Data and Time
von: Kräuter, Tim, et al.
Veröffentlicht: (2025)

Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning)
von: Antoniadis, Anastasios, et al.
Veröffentlicht: (2025)

Learning Project-wise Subsequent Code Edits via Interleaving Neural-based Induction and Tool-based Deduction
von: Liu, Chenyan, et al.
Veröffentlicht: (2026)

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification
von: Ma, Lezhi, et al.
Veröffentlicht: (2026)

An Anatomy of 488 Faults from Defects4J Based on the Control- and Data-Flow Graph Representations of Programs
von: van der Spuy, Alexandra, et al.
Veröffentlicht: (2025)

SLICEMATE: Accurate and Scalable Static Program Slicing via LLM-Powered Agents
von: Chang, Jianming, et al.
Veröffentlicht: (2025)

KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
von: Liu, Yuwei, et al.
Veröffentlicht: (2026)

Testing Compositionality
von: van Cuyck, Gijs, et al.
Veröffentlicht: (2024)

SeqTG: Scalable Combinatorial Test Generation via Sequential Integer Linear Programming
von: Yang, Sitong, et al.
Veröffentlicht: (2026)

Domain-Driven Design in Software Development: A Systematic Literature Review on Implementation, Challenges, and Effectiveness
von: Özkan, Ozan, et al.
Veröffentlicht: (2023)

Bayesian Sequential Verification for Budget-Aware Quantum Program Testing
von: Zhang, Lei
Veröffentlicht: (2026)

EXPEREPAIR: Dual-Memory Enhanced LLM-based Repository-Level Program Repair
von: Mu, Fangwen, et al.
Veröffentlicht: (2025)

How Far Can We Go with Practical Function-Level Program Repair?
von: Xiang, Jiahong, et al.
Veröffentlicht: (2024)

ConVer: Using Contracts and Loop Invariant Synthesis for Scalable Formal Software Verification
von: Pirzada, Muhammad A. A., et al.
Veröffentlicht: (2026)

ScaleBox: Enabling High-Fidelity and Scalable Code Verification for Large Language Models
von: Zheng, Jiasheng, et al.
Veröffentlicht: (2026)

Agentic Verification of Software Systems
von: Tu, Haoxin, et al.
Veröffentlicht: (2025)

From Historical Patches to Repair Plans: Outcome-Conditioned Reasoning for Repository-Level Program Repair
von: Li, Chenglin, et al.
Veröffentlicht: (2026)

Accountability of Robust and Reliable AI-Enabled Systems: A Preliminary Study and Roadmap
von: Scaramuzza, Filippo, et al.
Veröffentlicht: (2025)

Knowledge-Enhanced Program Repair for Data Science Code
von: Ouyang, Shuyin, et al.
Veröffentlicht: (2025)

Supporting the Comprehension of Data Analysis Scripts
von: Sihler, Florian, et al.
Veröffentlicht: (2026)