Slide 1 Lecture 02 – Structural Operational Semantics (SOS) Eran Yahav 1 Slide 2 Previously… static analysis over-approximation of program behavior abstract…