Software Verification for Weak Memory via Program Transformation.

Jade Alglave, Daniel Kroening, Vincent Nimal, Michael Tautschnig

Browse the full ESOP paper archive.