Note: the slides for these courses were made with the help of TexPoint. If you do not have TexPoint installed then 1) you should 2) if you choose not to install it, you will need to install the following two fonts in order to see the math properly: cmmi10 and cmsy10.

Automatic Verification, Winter 08

Decision Procedures -- an algorithmic point of view (see slides link)