University of Utah
Search
School of Computing

UMMChecker

 

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 rpalmer@cs.utah.edu
Disclaimer

Home People Research Admissions Site Map