Published April 27, 2021 | Version 0.02
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",  accepted for publication at CAV 2021.

Files

instructions.pdf

Files (3.2 GB)

Name Size Download all
md5:98d6a9230907f68ce2815dba7d97df69
3.2 GB Download
md5:850968ae90d35b053849445d108985f1
366.4 kB Preview Download