Hi
A formal verification tool for MPI C programs developed at the School
of Computing, University of Utah called "ISP" is available from
http://www.cs.utah.edu/formal_verification/ISP-release/
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!
Ganesh Gopalakrishnan
School of Computing, University of Utah
isp-...@cs.utah.edu
--
