Waqas ur Rehman, Muhammad Sohaib Ayub, Junaid Haroon Siddiqui. Verification of MPI Java programs using software model checking. In Rafael Asenjo 0001, Tim Harris, editors, Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2016, Barcelona, Spain, March 12-16, 2016. pages 55, ACM, 2016. [doi]
Abstract is missing.