A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Model Checking for a Multi-Execution Memory Model
[article]
2022
Zenodo
This is the artifact accompanying our paper "Model Checking for a Multi-Execution Memory Model", conditionally accepted at OOPSLA'22.
doi:10.5281/zenodo.6821752
fatcat:adx43rqcanh73fp2voridkdf2u