Carnegie Mellon University

15-817 (Introduction to Model Checking)

Poster: http://www.cs.cmu.edu/~csd-grad/15817poster.pdf

Please refer to http://www.cs.cmu.edu/~csd-grad/courseschedules11.html this link  for the most recent schedule updates.

http://www.cs.cmu.edu/~csd-grad/15-817S11.pdf