verantwortlich : Karsten Schmidt Termin: Dienstags, 9.00 - 11.00 Freitags 9.00 - 11.00 Raum: RUD 25, iii/113
Folien April | ||||
|---|---|---|---|---|
| s/w | bunt | |||
| 1/1 | 6/1 | 1/1 | 6/1 | |
| 15.4. | PS PDF | PS PDF | PS PDF | PS PDF |
| 22.4. | PS PDF | PS PDF | PS PDF | PS PDF |
| 25.4. | PS PDF | PS PDF | PS PDF | PS PDF |
| 29.4. | PS PDF | PS PDF | PS PDF | PS PDF |
Übungen April | ||||
|---|---|---|---|---|
| Aufgaben | Lösungen | |||
| 15.4. | PS PDF | PS PDF | ||
| 22.4. | PS PDF | PS PDF | ||
| 25.4. | PS PDF | PS PDF | ||
| 29.4. | PS PDF | PS PDF | ||
Folien Mai | ||||
|---|---|---|---|---|
| s/w | bunt | |||
| 1/1 | 6/1 | 1/1 | 6/1 | |
| 2.5. | PS PDF | PS PDF | PS PDF | PS PDF |
| 6.5. | PS PDF | PS PDF | PS PDF | PS PDF |
| 9.5. | PS PDF | PS PDF | PS PDF | PS PDF |
| 13.5. | PS PDF | PS PDF | PS PDF | PS PDF |
| 16.5. | PS PDF | PS PDF | PS PDF | PS PDF |
| 20.5. | SPIN | Murphi | LoLA | |
| 23.5. | PS PDF | PS PDF | PS PDF | PS PDF |
| 27.5. | PS PDF | PS PDF | PS PDF | PS PDF |
| 30.5. | SMV,BMC (CMU) | SMV (Cadence) | NuSMV | Sat-Solver |
| 30.5. | PS PDF | PS PDF | PS PDF | PS PDF |
Übungen Mai | ||||
|---|---|---|---|---|
| Aufgaben | Lösungen | |||
| 2.5. | PS PDF | PS PDF | ||
| 6.5. | PS PDF | PS PDF | ||
| 9.5. | PS PDF | PS PDF | ||
| 13.5. | PS PDF | PS PDF | ||
| 16.5. | PS PDF | PS PDF | ||
| 20.5. | PS PDF | keine | ||
| 23.5. | PS PDF | PS PDF | ||
| 27.5. | PS PDF | PS PDF | ||
| 30.5. | PS PDF | PS PDF | ||
Folien Juni | ||||
|---|---|---|---|---|
| s/w | bunt | |||
| 1/1 | 6/1 | 1/1 | 6/1 | |
| 3.6. | PS PDF | PS PDF | PS PDF | PS PDF |
| 6.6. | PS PDF | PS PDF | PS PDF | PS PDF |
| 10.6. | PS PDF | PS PDF | PS PDF | PS PDF |
| 13.6. | PS PDF | PS PDF | PS PDF | PS PDF |
| UPPAAL | KRONOS | RED | ||
| 17.6. | PS PDF | PS PDF | PS PDF | PS PDF |
| 20.6. | PS PDF | PS PDF | PS PDF | PS PDF |
| SLAM, BEBOP | MOPED | JPF | BANDERA | |
| 27.6. | PS PDF | PS PDF | PS PDF | PS PDF |
Übungen Juni | ||||
|---|---|---|---|---|
| Aufgaben | Lösungen | |||
| 3.6. | PS PDF | PS PDF | ||
| 6.6. | PS PDF | PS PDF | ||
| 10.6. | PS PDF | PS PDF | ||
| 13.6. | PS PDF | PS PDF | ||
| 17.6. | PS PDF | PS PDF | ||
Folien Juli | ||||
|---|---|---|---|---|
| s/w | bunt | |||
| 1/1 | 6/1 | 1/1 | 6/1 | |
| 1.7. | PS PDF | PS PDF | PS PDF | PS PDF |
| CheckMate (Hybrid) | HyTech (Hybrid) | AbsInt (WCET) | Cinderella (WCET) | |
| 4.7. | PS PDF | PS PDF | PS PDF | PS PDF |