"Experience Report: Verifying MPI Java Programs Using Software Model Checking."

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