Spin - Formal Verification

Courses: A short online course in software verification and logic model checking is available (password required). There are a total 15 short lectures covering the automata-theoretic verification method, the basic use of Spin, model extraction from C source code, abstraction methods, and swarm verification techniques. You can see an overview via this link. An excellent introduction to the basics of model checking.

In-Depth: A full one semester college-level course is also available, complete with transcripts of every lecture, quizzes, assignments, and exercises to test your understanding and practice new skills. Details can be found in this syllabus.