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

Christopher J. Banks, Marco Elver, Ruth Hoffmann, Susmit Sarkar, Paul B. Jackson, Vijay Nagarajan

Browse the full FMCAD paper archive.