POSSIBLE TOPICS TO BE COVERED:
Date | Topic | Slides/Handout |
01/28/05 | Grand Challenge Problem: Model Check Software | slides |
02/04/05 | Model Checking | slides |
02/11/05 | Boolean Decision Diagrams | exercise files - bdd-example.c hanoi-exercise.c |
02/18/05 | SMV tools | slides, exercises |
02/25/05 | Bounded Model Checking | slides (please ignore the hidden ones) |
03/18/05 | Abstraction in Model Checking | slides |
03/25/05, 04/01/05 |
Partial Order Reduction | slides |
04/08/05 | SPIN | slides (SPIN, SPIN-Tool) |
04/14/05 | LTL Model Checking | slides |
04/22/05 | SAT-based Predicate Abstraction | slides |
04/29/05 | Guest Lecture by Kedar Namjoshi: From Model Checking to Proof Checking |
slides |