GenMC: A Model Checker for Weak Memory Models [article]

Michalis Kokologiannakis, Viktor Vafeiadis
2021 Zenodo  
This is the artifact accompanying our paper "GenMC: A Model Checker for Weak Memory Models", conditionally accepted for publication at CAV 2021.
doi:10.5281/zenodo.4722967 fatcat:7skmlq2al5gidd6rohx5banarm