Monday Wednesday
Week HW points
1 Sep 13 cancelled 01 Testing
2 Sep 20 02 Symbolic Execution
83 Sep 27 03 Deductive Verification
4 Oct 04 04 LTL Model Checking I
5 Oct 11 05 LTL Model Checking II
86 Oct 18 06 CTL Model Checking
7 Oct 25
8 Nov 01 08 Bounded Model Checking
89 Nov 08
10 Nov 15 Holidays
11 Nov 22
612 Nov 29
13 Dec 06
14 Dec 13
Consulting hours
16:00 - 16:15
A219
LECTURE
16:00 - 17:30
D1
Homework
and
HW Deadline
Symbolic Execution
Oct 10
Deductive verification
Oct 31
07 Symbolic Representations in
CTL Model Checking
NuSMV - REACHABILITY
Nov 21
09 Verification of Real-Time
and Hybrid Systems
10 Verification of Systems with
Probabilities
LTL, CTL Specification
Dec 12
11 CEGAR and Abstract
Interpretation
12 IT Security Evaluation –
Standards, Assurance