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

Muhammad Sohaib Ayub, Waqas ur Rehman, Junaid Haroon Siddiqui

Browse the full ISSRE paper archive.