Queen's Logo

CISC/CMPE422, CISC835: Formal Methods in Software Engineering (Fall 2018)

Tentative schedule

[Home] [Content] [Schedule] [Readings] [Assignments]

Lectures

Week Dates Topics Readings
1 Sep 6-12 Admin; overview; propositional logic (syntax, semantics, proof theory) Courseware (CW), pages 1 - 36, 2 papers in CW
2 Sep 13-19 Propositional logic (syntax, semantics, proof theory) CW, pages 1 - 36
3 Sep 20-26 Predicate logic (syntax, semantics, proof theory) CW, pages 37 - 56
4 Sep 27-Oct 3 Intro to (formal) specification and Alloy CW, pages 61 - 128
5 Oct 4-10 Alloy CW, pages 61 - 128
6 Oct 11--17 Alloy CW, pages 61 - 128
7 Oct 18-24 Alloy CW, pages 61 - 128
8 Oct 30-Nov 2 Recap on Alloy, finite state machines CW, pages 61 - 128
9 Nov 6-9 Finite state machines, SMV CW, pages 133 - 192
10 Nov 13-16 CTL, fairness CW, pages 133 - 192
11 Nov 20-23 CTL model checking CW, pages 133 - 192
12 Nov 27-30 Recap and buffer   

Assignments

Midterm exam

Final exam