University of California at Berkeley
Dept of Electrical Engineering & Computer Sciences

EE219C
Computer-Aided Verification

Spring 2006: http://www.eecs.berkeley.edu/~sseshia/219c/index.html
course information: UCB On-Line Course Catalog and Schedule of Classes