/MPI_Verification

Verification of MPI programs using parallelCFG and SPLIT tool

Primary LanguageHTML

Stargazers