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

Tentative schedule

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

Lectures

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

Assignments

Assignment 1 due date: Fri, Sept 25
Assignment 2 due date: Mon, Oct 7
Assignment 3 due date: Thurs, Oct 31
Assignment 4 due date: Thurs, Nov 28

Midterm exam

Date: Thurs, Nov 14, in class
Note: You are allowed to bring one data sheet (size: 8.5 by 11 inches) with information on both sides (no flaps, no tricks, etc)

Final exam

Date and time: Tba
Note: As for the midterm, you are allowed to bring one data sheet (size: 8.5 by 11 inches) with information on both sides (no flaps, no tricks, etc)