What is ISP.NET?

ISP.NET is a code level verification tool for MPI programs. It includes a Visual Studio 2010 extension that allows for push button verification of user programs that are written in C, C++ and C#. ISP checks for deadlocks, assertion violations, and other MPI program issues.

ISP is written in C, C++, C#. and Java.

You may visit http://www.cs.utah.edu/fv/ISP-release for information on theory of ISP, along with links to related tools.


  • MPI templates for both C# and C/C++
  • Visual Studio Extension
  • Examples
  • Core ISP (builds on/for both Windows and xNix)
  • Installer and helpers
  • A modified version of MPI.NET (from Indiana University's MPI.NET, their page is here: http://osl.iu.edu/research/mpi.net/software/)

ISP Build Instructions

ISP Usage Instructions



Supporting research sponsored in part by grants from:
  • Microsoft
  • NSF Research Experience for Undergraduates Grant

Last edited Mar 23, 2011 at 3:52 AM by geof23, version 22