Open MPI logo

Open MPI User's Mailing List Archives

  |   Home   |   Support   |   FAQ   |   all Open MPI User's mailing list

Subject: [OMPI users] Verification tool for MPI C programs available
From: Ganesh (ganesh_at_[hidden])
Date: 2009-02-28 17:32:07


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-dev_at_[hidden]

--