Verification of MPI-based software for scientific computation
Publication Date
2004
Journal or Book Title
MODEL CHECKING SOFTWARE
Pages
286-303
Volume
2989
Book Series Title
LECTURE NOTES IN COMPUTER SCIENCE
Recommended Citation
Siegel, SF and Avrunin, GS, "Verification of MPI-based software for scientific computation" (2004). MODEL CHECKING SOFTWARE. 149.
Retrieved from https://scholarworks.umass.edu/math_faculty_pubs/149
COinS