Verification using Model Checking
VU 3 SS 2007 LVA 703800
Evaluation
- First Exam PDF
| Matrikel | exam (60pts) | homework (30pts) | final |
|---|---|---|---|
| 083 | 45 | 20 | 3 |
| 143 | 26 | 16 | 4 |
| 221 | 47 | 23 | 2 |
| 238 | 50 | 28 | 1 |
| 268 | xx | 06 | x |
| 284 | 52 | 26 | 1 |
| 379 | xx | 27 | x |
| 693 | xx | 06 | x |
| 709 | xx | 06 | x |
| 853 | xx | 09 | x |
| 885 | 38 | 25 | 3 |
| 940 | 45 | 28 | 2 |
| 952 | 40 | 24 | 3 |
| points | grade |
|---|---|
| [78,90] | 1 |
| [66,78) | 2 |
| [54,66) | 3 |
| [42,54) | 4 |
| [ 0,42) | 5 |