IA169/02 A219 IA169/01 A219 IA169 A217
16 IX
cancelled
18 IX
cancelled
18 IX
01 Testing
23 IX 25 IX 25 IX
02 Symb Exec
30 IX
cancelled
02 X
cancelled
02 X
03 LTL MC 1
07 X
02 Klee
09 X
02 Klee
09 X
04 LTL MC 2
14 X
04 NuSMV LTL
16 X
04 NuSMV LTL
16 X
05 CTL MC
21 X
05 NuSMV CTL
23 X
05 NuSMV CTL
23 X
06 Symbolic
28 X
cancelled
30 X
05 NuSMV CTL
30 X
07 Deductive
04 XI
07 Dafny
06 XI
07 Dafny
06 XI
08 Bounded
11 XI
08 CBMC
13 XI
08 CBMC
13 XI
09 Real Time
18 XI 20 XI 20 XI
25 XI
09 Uppaal
27 XI
09 Uppaal
27 XI
10 Probabilistic
02 XII
10 Prism
04 XII
10 Prism
04 XII
11 Abstract
09 XII
10 Prism
11 XII
10 Prism
11 XII
cancelled
16 XII 18 XII 18 XII
HW1
– bug hunting in programs
Sep 18 – Oct 9
Max 5 points
01 testing, lcov,
gcov
01 testing, lcov,
gcov
HW2
– NuSMV
Oct 9 – Oct 30
Max 5 points
HW3
– Dafny
Oct 30 – Nov 6
Max 5 points
HW4
– CBMC
Nov 6 – Nov 20
Max 5 points
09 Uppaal +
CBMC
09 Uppaal +
CBMC
12 Security
Verification and
Evaluation
HW5
– Uppaal
Nov 13 – Nov 27
Max 5 points
HW6
- Prism
Nov 27 – Dec 11
Max 5 points