BibTeX
CSL-JSON
MLA
Harvard
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
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links
oaDOI/unpaywall (OA fulltext)
Datacite Metadata (via API)
Worldcat
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Datacite Metadata (via API)
Worldcat
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar