Lecture 3. Reachability Analysis