A Specification and Verification Framework for Developing Weak Shared Memory Consistency Protocols.

Prosenjit Chatterjee, Ganesh Gopalakrishnan

Browse the full FMCAD paper archive.