Slide 1 1 Lecture 09 – Synthesis of Synchronization Eran Yahav Slide 2 Previously Predicate abstraction Abstraction refinement at a high level 2 Slide 3 Today…