[mpich-discuss] Tools for testing MPI programs

Jiri Simsa jsimsa at cs.cmu.edu
Fri Nov 8 18:53:37 CST 2013


I recently came the ISP tool (
http://www.cs.utah.edu/formal_verification/ISP-release/) 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.

--Jiri Simsa
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mpich.org/pipermail/discuss/attachments/20131108/c07b1eca/attachment.html>

More information about the discuss mailing list