Verification of MPI Java programs using software model checking.

Waqas ur Rehman, Muhammad Sohaib Ayub, Junaid Haroon Siddiqui

Browse the full PPoPP paper archive.