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.
ISP Build Instructions
ISP Usage Instructions
Supporting research sponsored in part by grants from:
- MPI templates for both C# and C/C++
- Visual Studio Extension
- 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:
- NSF Research Experience for Undergraduates Grant