Automatable verification of sequential consistency.

Anne Condon, Alan J. Hu

Browse the full SPAA paper archive.