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