9:30 – 13:00 Finding Bugs Before Implementation