Vorlesungsmaterialien
- 1. Vorlesung vom 15.10.25 — Einführung: Folien
- 2. Vorlesung vom 22.10.25 — Legal Requirements - Norms and Standards: Folien
- 3. Vorlesung vom 29.10.2025 — The Development Process: Folien
- 4. Vorlesung vom 05.11.2025 — Hazard Analysis: Folien
- 6. Vorlesung vom 19.11.2025 — Temporal Logic with LTL and CTL: Folien
- 7. Vorlesung vom 26.11.2025 — Operational Semantics: Folien
- 8. Vorlesung vom 02.12.2025 — Axiomatic Semantics: Specifying Correctness: Folien
- Alle Vorlesungen in einer Datei: Folien
- Vorlesungsnotizen in der Fassung vom 03.12.25: Notes
