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 10.12.2025 — Axiomatic Semantics: Specifying Correctness: Folien
- 9. Vorlesung vom 17.12.2025 — Floyd-Hoare Logic: Proving Correctness: Folien
- 10. Vorlesung vom 07.01.2026 — Overall Correctness: Folien, Quellen
- 11. Vorlesung vom 14.01.2026 — A Real ISA: TinyRV32I: Folien
- 12. Vorlesung vom 21.01.2026 — Hardware Verification: Folien
- Alle Vorlesungen in einer Datei: Folien
- Vorlesungsnotizen in der Fassung vom 21.01.26: Notes
