Slide 1Verification of architectural memory models by model checking Shaz Qadeer Compaq Systems Research Center [email protected] Slide 2 Outline Introduction to shared-memory…