Model Checking Race-freedom When "Sequential Consistency for Data-race-free Programs" is Guaranteed.

Published in: CoRR (2023)

Keyphrases