Model Checking: 6: Liveness and fairness (Di, 08.05.2018)
Zur Veranstaltungsseite
  • Einbetten

Kapitel:

00:02:29
Safety properties
00:15:10
Proof satisfaction of safety properties
00:28:34
Prefix closure
01:07:35
Liveness