CISC422: Formal Methods in Software Engineering (Winter 2012)
Tentative schedule
[Home] [Content] [Schedule] [Readings] [Assignments] [Tools]
|
CISC422: Formal Methods in Software Engineering (Winter 2012)
Tentative schedule[Home] [Content] [Schedule] [Readings] [Assignments] [Tools] |
Lectures
| Week | Dates | Topics | Readings |
|---|---|---|---|
| 1 | Jan 9-13 | Admin; overview; propositional logic (syntax, semantics, proof theory) | CW (pp. 1 - 30), 4 overview papers in CW |
| 2 | Jan 16-20 | Propositional logic (syntax, semantics, proof theory) | CW (pp. 1 - 30) |
| 3 | Jan 23-27 | Predicate logic (syntax, semantics, proof theory) | CW (pp. 31 - 49) |
| 4 | Jan 30-Feb 3 | Review of set theory, relations and functions, Z | CW (pp. 65 - 83), Z paper in CW |
| 5 | Feb 6-10 | Intro to specification and object modeling | CW (pp. 53 - 65, 85 - 89) |
| 6 | Feb 13-17 | Object modeling, Alloy | CW (pp. 89 - 124) |
| 7 | Feb 27-Mar 2 | Alloy | CW (pp. 89 - 124) |
| 8 | Mar 5-9 | Recap on Alloy, finite state machines | CW (pp. 89 - 124), 1 paper |
| 9 | Mar 12-16 | Finite state machines, SMV | CW (pp. 147 - 192) |
| 10 | Mar 19-23 | CTL, fairness | CW (pp. 147 - 192) |
| 11 | Mar 26-30 | CTL model checking | CW (pp. 147 - 192) |
| 12 | Apr 2-6 | recap and buffer |
Midterm exams
Final exam
Last modified: Sat Jan 7 22:29:02 EST 2012