CS 786R Topics in Model Checking
Focused readings and projects as suggested by class interest and current trends.
| Credits: | 3 |
|---|---|
| Prerequisites: | CS 686 |
Alert: There are no offerings of this course for Fall 2009
| 2010 | 2011 | 2012 | 2013 | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Win | Spr | Sum | Fall | Win | Spr | Sum | Fall | Win | Spr | Sum | Fall | Win | Spr | Sum | Fall |
 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Note: Course websites may not be maintained for previous semesters.
| Offerings from the past year | |||||
|---|---|---|---|---|---|
| Semester | Instructor | Website | |||