University of Utah
Search
School of Computing
Home People Research Admissions Site Map  

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.

DMA framework diagram

School of Computing * 50 S. Central Campus Dr. Rm. 3190 * Salt Lake City, UT 84112
Disclaimer

Last updated on 6/29/10