The course webpage. If you have questions or comments about the webpage,
send the instructor email or go to his office hours (preferably before
Monday March 5 when the course outline is handed out).
Describe in your own words the difference between testing and verification.