Model Checking: 5: Linear-time properties (Fr, 04.05.2018)
  • Einbetten

Kapitel:

00:07:06
Paths
00:11:33
Linear-time vs branching-time
00:18:34
Traces
00:34:47
Linear-time properties
01:07:27
invariants and safety
01:22:48
DFS-based invariant checking