Verification of architectural memory models by model checking Shaz Qadeer Compaq Systems Research Center [email protected].