Fifth Problem Set
since it will be too hot to go outside on the weekend, you might as well spend your time at home with some Parameterized Verification(TM).
The fifth and final problem set is now online. As usual, it is due on Thursday before the lecture.
Have a nice weekend!