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
Lect. 15 (long)
Lecture 16
Lect. 16 (long)
9 01/05
 
04/05
 
Symbolic CTL Model Checking (2)
 
Tool: CBMC
 
Lecture 17
Lect. 17 (long)
Lecture 18
Lect. 18 (long)
10 08/05
 
11/05
Timed Automata
 
Region Graph
Lecture 19
Lect. 19 (long)
Lecture 20
11 15/05
 
18/06
Timed Languages
 
Timed Logics
Lecture 21
Lect. 21 (long)
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