Giuliano gives information about the next project.

Hossein gives illustration of certain aspects of predicate abstraction using reachability trees. Slides

Continued in Lecture 06