Verification of MPI Java programs using Software Model Checking

W. Rehman, M. S. Ayub, and J. H. Siddiqui
Principles and Practice of Parallel Programming (PPoPP 2016)

Abstract

(PPoPP 2016), Barcelona, Spain, March 2016. (Acceptance rate: 36%, 55/152) (Poster paper)

BibTex

@inproceedings { ppopp2016,
author = { }, }