Verification of MPI programs

10/16/2021

∙

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.

READ FULL TEXT

Verification of MPI programs

From Well Structured Transition Systems to Program Verification

Verification of BSF Parallel Computational Model

Machine Learning for CUDA+MPI Design Rules

Combining Symbolic Execution and Model Checking to Verify MPI Programs

Exploring Techniques for the Analysis of Spontaneous Asynchronicity in MPI-Parallel Applications

Analysis of Validating and Verifying OpenACC Compilers 3.0 and Above

Modular Verification of Concurrent Programs via Sequential Model Checking

Verification of MPI programs

Related Research

From Well Structured Transition Systems to Program Verification

Verification of BSF Parallel Computational Model

Machine Learning for CUDA+MPI Design Rules

Combining Symbolic Execution and Model Checking to Verify MPI Programs

Exploring Techniques for the Analysis of Spontaneous Asynchronicity in MPI-Parallel Applications

Analysis of Validating and Verifying OpenACC Compilers 3.0 and Above

Modular Verification of Concurrent Programs via Sequential Model Checking