CS 685, Specific topics

• Wednesday, August 27, 2008: Introduction to the idea of model checking, starting representation of Boolean functions via logic (read: introduction to Chapter 3, and instructor notes, pages MC1-MC5).

Set up: 07/13/08

Last modified: 08/27/08