Using MPI-Spin to Model Check MPI Programs with Nonblocking Communication

by Stephen F. Siegel

This paper was presented in the Late and Breaking Results track of the 13th European PVM/MPI User's Group Meeting (EuroPVM/MPI), Bonn, Germany, September 2006. It does not appear in the conference proceedings but is posted on the conference web site.

You may download the paper in one of the following formats:


Return to: Publications and Preprints.
Stephen F. Siegel / LASER / Dept of Comp. Sci. / UMass