HMC: Model Checking for Hardware Memory Models.

Michalis Kokologiannakis, Viktor Vafeiadis

Browse the full ASPLOS paper archive.