University of Utah
School of Computing



UMMChecker is a tool that implements the techniques of the UMM (Uniform Memory Model) framework. It uses Murphi to formalize and model check memory model specifications. The current prototype supports SC, Coherence, PRAM, and the Java Memory Mo del proposed by Manson and Pugh.


Source code is available here.

School of Computing • 50 S. Central Campus Dr. Rm. 3190 • Salt Lake City, UT 84112
801-581-8224 • Send comments to

Home People Research Admissions Site Map