Model Checking for a Multi-Execution Memory Model [article]

Evgenii Moiseenko, Michalis Kokologiannakis, Viktor Vafeiadis
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