Published April 27, 2021
| Version 0.01
Software
Open
GenMC: A Model Checker for Weak Memory Models
Description
This is the artifact accompanying our paper "GenMC: A Model Checker for Weak Memory Models", conditionally accepted for publication at CAV 2021.
Files
instructions.pdf
Files
(3.2 GB)
Name | Size | Download all |
---|---|---|
md5:4f95fd98580bb38d4e8642e239a8f399
|
3.2 GB | Download |
md5:69a29a15166d0da98f0ca5ec2a602b27
|
364.5 kB | Preview Download |