Verification of MPI-based software for scientific computation (2004)

by Stephen F Siegel, George Avrunin
Venue:In Proceedings of the 11th International SPIN Workshop on Model Checking Software