Anh Pham, Thierry Jéron, Martin Quinson. Verifying MPI Applications with SimGridMC. In Ignacio Laguna, Cindy Rubio-González, editors, Proceedings of the First International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2017, Denver, CO, USA, November 12, 2017. pages 28-33, ACM, 2017. [doi]
Abstract is missing.