[PPT] - Software verification under weak memory consistency Viktor PowerPoint Presentation