An Executable Specification, Analyzer and Verifier for RMO (Relaxed Memory Order).

Seungjoon Park, David L. Dill

Browse the full SPAA paper archive.