@misc{indiciaecf732604bd48,
  title = {On the Verification Problem of Remote Direct Memory Access programs (Extended Version with Appendix)},
  author = {Parosh Aziz Abdulla and Mohamed Faouzi Atig and Govind Rajanbabu and Stephan Spengler},
  year = {2026},
  url = {https://arxiv.org/abs/2605.10631},
  note = {Source identifier: 2605.10631}
}