A Wide-Spectrum Language for Verification of Programs on Weak Memory Models.

Robert J. Colvin, Graeme Smith

Browse the full FM paper archive.