MARMOT
From MaRDI portal
Software:21390
swMATH9407MaRDI QIDQ21390FDOQ21390
Author name not available (Why is that?)
Cited In (5)
- MPI correctness checking for OpenMP/MPI applications
- Title not available (Why is that?)
- The use of erratic behavior templates in debugging parallel programs by the automated validity verification method
- 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
This page was built for software: MARMOT
