Last summer, I was invited tutorial speaker at the annual Computer Aided Verification conference, which took place as part of the Vienna Summer of Logic. My tutorial (3 hours) on analysis and invariants was filmed and the video is now online. The slides are also online.