On the Verification Problem of Remote Direct Memory Access Programs.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Govind Rajanbabu, Stephan Spengler

Browse the full CAV paper archive.