Skip to main content

Formalizing and Checking Thread Refinement for Data−Race−Free Execution Models

Daniel Poetzl and Daniel Kroening

Book Title
TACAS
Year
2016