Lecture 09 - Verification and Validation