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

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Govind Rajanbabu +1

Remote Direct Memory Access (RDMA) is a technology that allows direct memory access from the memory of one computer into that of another without involving either one's operating sy…