There is a newer version of the record available.

Published April 27, 2021 | Version 0.01
Software Open

GenMC: A Model Checker for Weak Memory Models

Creators

  • 1. MPI-SWS

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