PrideMM: Second Order Model Checking for Memory Consistency Models.

Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, Mikols Janota

Browse the full FM paper archive.