A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf
.
GenMC: A Model Checker for Weak Memory Models
[article]
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