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

Tuesday lectures: 2pm-4pm, Civil Engineering 102 (K-H20-102).

Wednesday lectures: 12pm-1pm, Austr. School Business 119 (K-E12-119).

Week Dates Content Slides/Notes
1 03/03
04/03
Introduction
Automata
Lecture 1
Lecture 2
2 10/03
11/03

Temporal Logics
Expressiveness and Fairness
Lecture 2 (cont'd)
Lecture 3
Lecture 4
3 17/03
18/03
LTL Model Checking (1)
LTL Model Checking (2)
Lecture 5
4 24/03
25/03
Tool: Spin
Lecture 7&8
SPIN examples
Literature
5 31/03
1/04
CTL Model Checking
Solution to Assignment 1
Lecture 9
 
Mid-semester break (3 April to 12 April)
6 14/04
15/04
Abstraction Refinement
Predicate Abstraction Refinement
Lecture 11
Lecture 12
7 21/04
22/04
Static Analysis
Tool: Goanna
Lecture 13
Lecture 14
8 28/04
29/04
Symbolic CTL Model Checking (1)
Binary Decision Diagrams
Lecture 15
Lecture 16
9 5/05
 
6/05
Symbolic CTL Model Checking (2)
Tool: CBMC
Lecture 17
Lecture 17 (all builds)
Lecture 18
10 12/05
13/05
Timed Automata
Region Graph
Lecture 19
Lecture 20
11 19/05
20/05
Timed Languages
Solution to Assignment 2
Lecture 21
 
12 26/05
27/05

Model Checking for Timed Automata
UPPAAL and Assignment 3
 
Lecture 23
Lecture 24
UPPAAL examples
13 2/06 Summary, Questions and Answers
 


Copyright 2015