Using Coarse-Grained Abstractions to Verify Linearizability on TSO Architectures.

John DerrickGraeme SmithLindsay GrovesBrijesh Dongol
Published in: Haifa Verification Conference (2014)