CoVer extended to Fortran preserves analysis accuracy, reveals a bug in MPI-BugBench, and runs substantially faster than MUST while supporting multiple languages.
Title resolution pending
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.