Towards Deductive Verification of Message-Passing Parallel Programs.

Ziqing Luo, Stephen F. Siegel

Browse the full SC paper archive.