Hallo,

ab sofort kann auf die "alten" Vorlesungsaufzeichnungen zugegriffen werden.
Dazu meldet man sich mit den von Prof. Scholl genannten Zugangsdaten (Login: "verifikation", Passwort: ...) am eLectures-Portal an (https://electures.informatik.uni-freiburg.de/) und wählt die Vorlesung "Verifikation, Zuverlässigkeit und Test I".
Man findet dort die Aufzeichnungsvideos (als AVI und Flash), sowie die Folien (als PDF).

Die neuen Aufzeichnungen werden mit den selben Zugangsdaten zugreifbar sein (Vorlesung "Verifikation Eingebetteter Systeme").

Grüße
Florian