"PrideMM: A Solver for Relaxed Memory Models."

Simon Cooksey et al. (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics