Waqas Ur Rehman
Waqas Ur Rehman
Reserach Associate at Dept. of Computer Science University of Saskatchewan
Verified email at usask.ca
TitleCited byYear
Verification of MPI Java programs using software model checking
WU Rehman, MS Ayub, JH Siddiqui
ACM SIGPLAN Notices 51 (8), 55, 2016
Experience Report: Verifying MPI Java Programs Using Software Model Checking
MS Ayub, WU Rehman, JH Siddiqui
2017 IEEE 28th International Symposium on Software Reliability Engineering …, 2017
The system can't perform the operation now. Try again later.
Articles 1–2