Cover Image

On the Verification Problem of Remote Direct Memory Access programs (Extended Version with Appendix)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Rajanbabu, Govind, Spengler, Stephan
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science D.2.4
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Reachability and Safety Games under TSO Semantics (Extended Version)
by: Spengler, Stephan
Published: (2024)

Reachability and Safety Games under TSO Semantics
by: Spengler, Stephan
Published: (2024)

Unified Fairness for Weak Memory Verification
by: Abdulla, Parosh Aziz, et al.
Published: (2023)

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)
by: Abdulla, Parosh Aziz, et al.
Published: (2024)

Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration (Extended Version)
by: Sextl, Florian, et al.
Published: (2023)

Verification Challenge: Fractional Cascading for Multi-Nuclide Grid Lookup
by: Siegel, Andrew R.
Published: (2025)

Verification of E-Voting Algorithms in Dafny
by: Büttner, Robert, et al.
Published: (2025)

An ACL2s Interface to Z3
by: Walter, Andrew T., et al.
Published: (2025)

Parf: Adaptive Parameter Refining for Abstract Interpretation
by: Wang, Zhongyi, et al.
Published: (2024)

Why does it fail? Explanation of verification failures
by: Eriksson, Lars-Henrik
Published: (2026)

Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds
by: Reinhard, Tobias
Published: (2024)

Path-optimal symbolic execution of heap-manipulating programs
by: Braione, Pietro, et al.
Published: (2024)

Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection
by: Mustafa, Daham, et al.
Published: (2026)

Modal Verification Patterns for Systems Software
by: Kuru, Ismail, et al.
Published: (2025)

A New Interaction Concept for Interactive and Autoactive Program Verification
by: Pfeifer, Wolfram, et al.
Published: (2026)

Satisfiability.jl: Satisfiability Modulo Theories in Julia
by: Soroka, Emiko, et al.
Published: (2023)

Quantitative Verification with Neural Networks
by: Abate, Alessandro, et al.
Published: (2023)

Parameterized Verification of Disjunctive Timed Networks
by: André, Étienne, et al.
Published: (2023)

VSS Challenge Problem: Verifying the Correctness of AllReduce Algorithms in the MPICH Implementation of MPI
by: Hovland, Paul D.
Published: (2025)

SMT-based Symbolic Model-Checking for Operator Precedence Languages
by: Chiari, Michele, et al.
Published: (2024)

Sound and Complete Invariant-Based Heap Encodings (Technical Report)
by: Esen, Zafer, et al.
Published: (2025)

Verifying Procedural Programs via Constrained Rewriting Induction
by: Fuhs, Carsten, et al.
Published: (2014)

Type Inference for Isabelle2Cpp
by: Jiang, Dongchen, et al.
Published: (2024)

Automatic Function Annotations for Hoare Logic
by: Matichuk, Danielle
Published: (2012)

Baking for Dafny: A CakeML Backend for Dafny
by: Nezamabadi, Daniel, et al.
Published: (2025)

Context-Dependent Effects and Concurrency in Guarded Interaction Trees
by: Stepanenko, Sergei, et al.
Published: (2025)

Uniqueness is Separation
by: O'Connor, Liam, et al.
Published: (2026)

Ground Stratification for a Logic of Definitions with Induction
by: Guermond, Nathan, et al.
Published: (2025)

A Graphical Interface for Category Theory Proofs in Coq
by: Chabassier, Luc
Published: (2025)

Axis-Aligned Semantics for ODRL: Resolving Dimensional Ambiguity in Policy Constraints
by: Mustafa, Daham, et al.
Published: (2026)

Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment
by: Jilissen, Kevin H. J., et al.
Published: (2024)

Leveraging Slither and Interval Analysis to build a Static Analysis Tool
by: Susan, Stefan-Claudiu
Published: (2024)

Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations
by: Knothe, David, et al.
Published: (2026)

Space-time process algebra with asynchronous communication
by: Bergstra, J. A., et al.
Published: (2024)

Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
by: Waldinger, Richard
Published: (2025)

Refactoring-as-Propositions: Proved Refactoring of Hybrid Systems via Proved Refinements
by: Prebet, Enguerrand, et al.
Published: (2026)

Towards Weak Stratification for Logics of Definitions
by: Guermond, Nathan
Published: (2026)

Uniform Substitution for Differential Refinement Logic
by: Prebet, Enguerrand, et al.
Published: (2024)

Provably Correct Systems: Community, connections, and citations
by: Bowen, Jonathan P.
Published: (2015)

Verification under TSO with an infinite Data Domain
by: Abdulla, Parosh Aziz, et al.
Published: (2024)