This is the homepage of DAMPI, Distributed Analyzer for MPI, a scalable formal verification tool.
Please refer to the accepted Supercomputing 2010 paper here.
The latest version of DAMPI can be downladed from the GitHub repository here.
School of Computing * 50 S. Central Campus Dr. Rm. 3190 * Salt Lake City, UT