Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models.

Daniel Poetzl, Daniel Kroening

Browse the full TACAS paper archive.