VSL | Publications | Using MPI-Spin to Model Check MPI Programs with Nonblocking Communication

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

Authors: Stephen F. Siegel

Note: 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.

Download:

VSL | Publications