CS 267 - Automated Verification - Winter 2016


Instructor: Tevfik Bultan     Office: Eng. I 2123   Office Hours: Tuesday/Thursday 12:00-12:50  
Class Times: Tuesday/Thursday 1:00-2:50   Location: PHELP 3526

Course Topics

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

Course Work

There will be several homeworks, possibly a final, and the students will be required to do a course project. The papers related to the topics discussed in the class will be given as reading assignments.

Projects

Lectures

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