Slide 1 Formalisms and Verification for Transactional Memories Vasu Singh EPFL Switzerland Slide 2 Part 1: Verification for Pure Transactional Programs Part 2: Formalisms…