Protocol-based verification of MPI programs

TitleProtocol-based verification of MPI programs
Publication TypeJournal Article
Year of Publication2014
AuthorsMarques, E. R. B., F. Martins, V. T. Vasconcelos, C. Santos, N. Ng, and N. Yoshida