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

Tuesday lectures: 2pm-4pm, Ainsworth Building 201 (K-J17-201).

Wednesday lectures: 1pm-2pm, The Michael Hintze Theatre (K-H6-LG03)

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


Copyright 2015/2016