# Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs

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