Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking.

Prosenjit Chatterjee, Hemanthkumar Sivaraj, Ganesh Gopalakrishnan

Browse the full CAV paper archive.