Joosung, Ko Ch8. Analysis. 2 outline 1. Introduction 2. What do we want to analyze? 3. Reachability analysis 4. Structural analysis 1. Place invariants.