1. This course is about …


2. Why should we care?


3. Goal of Formal Verification


4. Methods to Achieve the Goal


4.1 Testing?