TY  - RPRT
TI  - Model Checking Race-freedom When "Sequential Consistency for Data-race-free Programs" is Guaranteed
AU  - Wenhao Wu
AU  - Jan Hückelheim
AU  - Paul D. Hovland
AU  - Ziqing Luo
AU  - Stephen F. Siegel
PY  - 2023
UR  - https://arxiv.org/abs/2305.18198
ID  - 2305.18198
ER  -