MPI Verification Environment

Binary Installer: Version 0.20
Source Code (BSD licensed): Version 0.20
Screenshots

Example Solutions:

• Umpire Tests (Expected Results) - We are grateful to Dr. Bronis R. de Supinski of the Lawrence Livermore National Laboratory for providing these tests.
• trap
• diffusion2d

Papers about the MPIC Verification Environment

• Semantics Driven Partial-order Reduction for MPI-based Parallel Programs
• An Approach to Formalization and Analysis of Message Passing Libraries

Required Software

• Microsoft Visual Studio 2005
• .NET Framework (Version 2.0 or newer)
• Microsoft Phoenix Compiler (March 2007 Release)
• Microsoft Compute Cluster Pack SDK
• Java
• Graphviz 2.8 for viewing with dotty

FAQ

• The debugger will not step or gives an error on the first/second step.
  
  Select: Tools -> Options -> Debugging -> General. Make sure "Break all processes when one process breaks." is unchecked.
  
  
• The debugger gives an error about mpishim when starting.
  
  Search your system for mpishim.exe and make sure it is in your PATH.