CourseEye
Courses
The Guide
Formal Verification Courses
Introduction to Automated Analysis (Coursera)