CS 267 - Automated Verification - Spring 2023

Instructor: Tevfik Bultan     Office: HFH 2104B   Office Hours: Monday/Wednesday 11:00-12:00  
Class Times: Monday/Wednesday 1:00-2:50   Location: PHELP 3526

Course Topics

This course will cover automated verification techniques focusing mainly on model checking and software verification. The tentative list of topics include:

Course Work

There will be several homeworks (50% of the grade), a final (20% of the grade), and the students will be required to do a course project (30% of the grade). The papers related to the topics discussed in the class will be given as reading assignments.


  • Office hours on May 22th are cancelled.
  • HW2 deadline extended: HW2 is due at the beginning of class (hard copy) May 15th, Monday
  • Project progress reports deadline extended: Project progress reports are due at the beginning of class (hard copy) on May 22th, Monday



    Reading Assignments

    Homework Assignments

    Recommended Text

    The following book is a good reference for model checking techniques:
    Model Checking, E. M. Clarke, Orna Grumberg, Doron Peled, ISBN 0-262-03270-8, 2000.

    Related Tools

    Specification Checkers
    Program Checkers
    Symbolic Manipulators and Satisfiability Solvers