A formal verification tool for MPI C programs developed at the School
of Computing, University of Utah called "ISP" is available from
ISP runs on multiple platforms and with respect to multiple MPI
libraries. Its graphical user interfaces that show communication matches
and its coverage guarantees make it useful for everyone - whether
someone new to MPI or an advanced user. We will be very glad to assist you!
School of Computing, University of Utah