Toggle navigation
Home
Videos
FAQ
Zur neuen Seite
×
Aktuell funktioniert die RWTH und Moodle Authentifizierung nicht wegen einer Störung beim ITC:
https://maintenance.itc.rwth-aachen.de/ticket/status/messages
Model Checking
: 6: Liveness and fairness (Di, 08.05.2018)
Zur Veranstaltungsseite
Kapitelmarker vorschlagen
Einbetten
Download
1080p (1.3 GiB)
720p (704.6 MiB)
360p (393.7 MiB)
1080p (1.3 GiB)
720p (704.6 MiB)
360p (393.7 MiB)
Kapitel:
00:02:29
Safety properties
00:15:10
Proof satisfaction of safety properties
00:28:34
Prefix closure
01:07:35
Liveness
×
Error