This time table is tentative, and may be subject to change.

Monday lectures: 12pm-2pm UNSW Business School 119 (K-E12-119).

Thursday lectures: 1pm-2pm, UNSW Business School 119 (K-E12-119)

Week Dates Contents (tbc) Slides/Notes References
1 27/02
02/03
Introduction
Automata, Logics
Lecture 1
Lecture 2
2 06/03
09/03
Temporal Logics
Expressiveness and Fairness
Lecture 3
Lecture 4
3 13/03
16/03
LTL Model Checking (1)
LTL Model Checking (2)
Lecture 5
Lecture 6
4 20/03
23/03
CTL Model Checking
Solution to Assignment 0
Tool: Spin
Lecture 7
Lecture 8/9
Spin: Examples
5 27/03
30/03
census
Solution to Assignment 1
Tool: Spin
 
Lecture 8/9
6 03/04
06/04
Abstraction Refinement
Predicate Abstraction Refinement
Lecture 11
Lecture 12
7 10/04
13/04
Static Analysis
Tool: Goanna
Lecture 13
Lecture 14
Mid-semester break (April 14 to April 23)
8 24/04
27/04
Symbolic CTL Model Checking (1)
Binary Decision Diagrams
Lecture 15
Lecture 16
9 01/05
04/05
Symbolic CTL Model Checking (2)
Tool: CBMC
Lecture 17
Lecture 18
10 08/05
11/05
Timed Automata
Region Graph
Lecture 19
Lecture 20
11 15/05
18/06
Timed Languages
Timed Logics
Lecture 21
Lecture 22
12 22/05
25/05
Model Checking for Timed Automata
Real-time model checker: UPPAAL
Lecture 23
Lecture 24
13 29/05 Q&A (optional)


Copyright 2015—2017