"HMC: Model Checking for Hardware Memory Models."

Michalis Kokologiannakis, Viktor Vafeiadis (2020)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics