GenMC: A Model Checker for Weak Memory Models release_uso2wcoahrfcbmpx4ti2sb3vda

by Michalis Kokologiannakis, Viktor Vafeiadis

Published by Zenodo.

2021  

Abstract

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

Archived Files and Locations

application/pdf  366.4 kB
file_yqolnahoi5hjzoerd4kwzuxyzu
zenodo.org (repository)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   published
Date   2021-04-27
Version   0.02
Language   en ?
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 90c51a61-d59c-432d-827a-d1b6a5f4175f
API URL: JSON