15–817 Graduate Verification Seminar

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.