Course: Automatic Verification (winter 2008)
This course mainly coveres LTL Model Checking (the automata-based approach) and Bounded Model Checking. It also includes a lecture on testing. Specifically for my class I could not assume previous knowledge in logic and automata, and this is the reason that the relevant background in these topics is integrated in the course's material.
Acknowledgements: Some of the lectures were originally based on Doron Peled's text book and slides (see http://www.dcs.warwick.ac.uk/~doron/notes.html) . The DFA class is based on a presentation from CMU. Some of the slides in the testing class are based on several presentation I found several years ago on the web.
Note: some of the slides are hidden. I did not use these slides.