Towards deductive verification of MPI programs against session types

Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos +2

The Message Passing Interface (MPI) is the de facto standard message-passing infrastructure for developing parallel applications. Two decades after the first version of the library…