<div dir="ltr">Hello,<div><br></div><div>I recently came the ISP tool (<a href="http://www.cs.utah.edu/formal_verification/ISP-release/">http://www.cs.utah.edu/formal_verification/ISP-release/</a>) for dynamic verification of MPI programs. I wonder if anyone is aware of similar (research) tools that can be used for systematic testing of MPI programs. Thanks!</div>
<div><br></div><div>--Jiri Simsa<br><div><br></div><div><br></div></div></div>