Model Checking Race-Freedom When "Sequential Consistency for Data-Race-Free Programs" is Guaranteed.

Wenhao Wu, Jan Hckelheim, Paul D. Hovland, Ziqing Luo, Stephen F. Siegel

Browse the full CAV paper archive.