My offerings of CS 260 might cover quite different topics.

Click on the offering you are looking for, among those listed below in reverse chronological order.

CS 260 Decision diagram techniques and applications (Fall 2009)

CS 260 Topics in Logic and Stochastic Verification (Fall 2005)

Last updated: November 11, 2009. Report suggestions and problems to: ciardo@cs.ucr.edu
URL: http://www.cs.ucr.edu/~ciardo/teaching/CS260/CS260.html