2020
Page 1
IA169/02 A219 IA169/01 A219 IA169 A217
05 X 07 X 07 X
01 Testing
12 X 14 X 14 X
02 Symb Exec
19 X
HW1 Klee
21 X
HW1 Klee
21 X
03 Deductive
26 X
HW1 Klee
28 X
public holiday
28 X
04 LTL MC 1
02 XI
HW2 Dafny
04 XI
HW2 Dafny
04 XI
05 LTL MC 2
09 XI
HW2 Dafny
11 XI
HW2 Dafny
11 XI
06 CTL MC
16 XI
HW3 NuSMV
18 XI
HW3 NuSMV
18 XI
07 Symbolic
23 XI
HW3 NuSMV
25 XI
HW3 NuSMV
25 XI
08 Bounded
30 XI
HW4 CBMC
02 XII
HW4 CBMC
02 XII
09 Real Time
07 XII 09 XII 09 XII
14 XII
HW5 Uppaal
16 XII
HW5 Uppaal
16 XII
10 Probabilistic
04 I
HW6 Prism
06 I
HW6 Prism
06 I
11 Abstract
11 I
HW6 Prism
13 I
HW6 Prism
13 I
HW1 testing, lcov,
gcov
HW1 testing, lcov,
gcov
HW1
– testing, lcov, gcov, Klee
Oct 5 – Oct 28
Max 5 points
HW2
– Dafny
Oct 28 – Nov 11
Max 5 points
HW3
– NuSMV
Nov 11 – Nov 25
Max 5 points
HW4
– CBMC
Nov 25 – Dec 09
Max 5 points
HW4 CBMC +
HW5 Uppaal
HW4 CBMC +
HW5 Uppaal
12 Security
Verification and
Evaluation
HW5
– Uppaal
Dec 02 – Dec 23
Max 5 points
HW6
- Prism
Dec 23 – Jan 13
Max 5 points