Model Checking

Here you can find lists of great Model Checking books are or have been used to teach courses at Carnegie Mellon University.