Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs

Publication
Proceedings of 19th International Symposium on Formal Methods, Singapore, May 12-16, 2014.

Related