2 papers
cs.LO2026
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…
cs.FL2023
Parameterized Verification under TSO with Data Types
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach +4
We consider parameterized verification of systems executing according to the total store ordering (TSO) semantics. The processes manipulate abstract data types over potentially inf…