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
proposed by Manson and Pugh.
Source code is
School of Computing • 50 S. Central Campus Dr. Rm.
3190 • Salt Lake City, UT 84112
801-581-8224 • Send comments to email@example.com