most citedVerification of a lazy cache coherence protocol against a weak memory model

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2017★ 1 cited

Verification of a lazy cache coherence protocol against a weak memory model

Christopher J. Banks, Marco Elver, Ruth Hoffmann +3

In this paper we verify a modern lazy cache coherence protocol, TSO-CC, against the memory consistency model it was designed for, TSO. We achieve this by first showing a weak simul…