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 Lecturer
1 03/03
04/03
Introduction
Automata
Lecture 1
Lecture 2
Peter
2 10/03
11/03

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

Model Checking for Timed Automata
UPPAAL and Assignment 3
 
Lecture 23
Lecture 24
UPPAAL examples
Peter
13 2/06
3/06
Summary, Questions and Answers
Closing remarks, Internships, ToR, Theses at NICTA
Assignment 4, Questions and Answers
  Peter


Copyright 2015