[mpich-discuss] Tools for testing MPI programs

[Jiri Simsa]

Hello,

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.
Thanks!

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