Verification of MPI programs

10/16/2021

∙

by   Andrew M. Mironov, et al.

∙

0

∙

share

In this paper, we outline an approach to verifying parallel programs. A new mathematical model of parallel programs is introduced. The introduced model is illustrated by the verification of the matrix multiplication MPI program.