CoVer extended to Fortran preserves analysis accuracy, reveals a bug in MPI-BugBench, and runs substantially faster than MUST while supporting multiple languages.
The International Jour- nal of High Performance Computing Applications28(4), 425–434 (Nov 2014)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.DC 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Extending Contract Verification for Parallel Programming Models to Fortran
CoVer extended to Fortran preserves analysis accuracy, reveals a bug in MPI-BugBench, and runs substantially faster than MUST while supporting multiple languages.