MARMOT
From MaRDI portal
Software:21390
No author found.
Related Items (5)
MPI correctness checking for OpenMP/MPI applications ⋮ Unnamed Item ⋮ Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings ⋮ FEVS: a functional equivalence verification suite for high-performance scientific computing ⋮ The use of erratic behavior templates in debugging parallel programs by the automated validity verification method
This page was built for software: MARMOT