Verification of MPI Java programs using software model checking

Public

Published in ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming • Feb 27, 2016

Authors:

Waqas ur Rehman

,

Muhammad Sohaib Ayub

,

J. H. Siddiqui

Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!