MARMOT

MaRDI QIDQ21390swMATHFDO

Official website http://www.sciencedirect.com/science/article/pii/S0927545204800637

Cited in

(11)

• MPI-CHECK
• Guard
• C-DVM
• ISP
• The use of erratic behavior templates in debugging parallel programs by the automated validity verification method
• FEVS: a functional equivalence verification suite for high-performance scientific computing
• mpiP
• Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings
• Coupling DDT and Marmot for debugging of MPI applications
• TotalView
• MPI correctness checking for OpenMP/MPI applications

This page was built for software: MARMOT