There is a newer version of this record available.

Software Open Access

GenMC: A Model Checker for Weak Memory Models

Michalis Kokologiannakis; Viktor Vafeiadis

This is the artifact accompanying our paper "GenMC: A Model Checker for Weak Memory Models", conditionally accepted for publication at CAV 2021.

Files (3.2 GB)
Name Size
genmc.docker
md5:4f95fd98580bb38d4e8642e239a8f399
3.2 GB Download
instructions.pdf
md5:69a29a15166d0da98f0ca5ec2a602b27
364.5 kB Download
261
128
views
downloads
All versions This version
Views 261146
Downloads 12868
Data volume 41.2 GB31.7 GB
Unique views 238137
Unique downloads 11462

Share

Cite as