T

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

Loading