The Dynamic Analyzer for MPI the first dynamic analyzer of MPI

Project information

DAMPI is a dynamic testing/verification tool that scalably covers non-deterministic interactions of MPI (e.g., sildcard-receives).

Created on

March 21, 2022

Copy HTTPS clone URLhttps://gitlab.osti.gov/osti-public/the-dynamic-analyzer-for-mpi-the-first-dynamic-analyzer-of-mpi.git

Loading