"Verification of MPI Java programs using software model checking."

Waqas ur Rehman, Muhammad Sohaib Ayub, Junaid Haroon Siddiqui (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics