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 Model proposed by Manson and Pugh.

Source code is available here.