Course Syllabus

Textbooks

• Model Checking, Second Edition, by Ed Clarke, Orna Grumberg, Daniel Kroning, Doron Peled, and Helmut Veith. Available through Ed Clarke, not for distribution.