4.47 GB | 00:18:38 | mp4 | 1920X1080 | 16:9
01-deadlock.mp4 (74.87 MB)
02-linear time behavior.mp4 (90.04 MB)
03-linear time properties.mp4 (123.66 MB)
03-safety properties.mp4 (71.37 MB)
04-trace equivalence and safety properties.mp4 (40.29 MB)
01-liveness properties.mp4 (111.37 MB)
02-checking liveness properties illustration.mp4 (56.04 MB)
03-safety vs liveness.mp4 (31.82 MB)
04-concepts of fairness.mp4 (53.55 MB)
05-fairness constraints.mp4 (57.08 MB)
06-fair satisfaction of lt properties.mp4 (53.66 MB)
01-linear time logic ltl syntax.mp4 (132.41 MB)
02-semantics of ltl.mp4 (53.78 MB)
03-satisfaction of ltl on transition systems.mp4 (59.19 MB)
04-semantics of negation.mp4 (32.41 MB)
05-equivalence of ltl formulas.mp4 (82 MB)
06-positive normal form.mp4 (80.34 MB)
07-fairness in ltl.mp4 (80.16 MB)
01-overview of ltl model checking.mp4 (61.54 MB)
02-non deterministic buchi automata nba.mp4 (44.16 MB)
03-generalize nba gnba.mp4 (32.39 MB)
04-gnba to nba.mp4 (47.33 MB)
05-persistency checking concepts.mp4 (43.12 MB)
06-persistency checking example.mp4 (49.33 MB)
07-closure elementary sets.mp4 (69.06 MB)
08-translating ltl formulas to nba.mp4 (97.84 MB)
01-a tutorial on spin.mp4 (47.22 MB)
02-overview of promela.mp4 (55.38 MB)
03-process structure.mp4 (60.69 MB)
09-communication models.mp4 (144.64 MB)
10-overview of spin model checker.mp4 (88.74 MB)
11-property specifications.mp4 (89.89 MB)
01-introduction to computation tree logic.mp4 (74.08 MB)
02-ctl syntax.mp4 (78.89 MB)
03-ctl semantics.mp4 (67.88 MB)
04-ctl equivalence and normal forms.mp4 (48.12 MB)
05-expressiveness of ctl vs ltl.mp4 (65.69 MB)
01-introduction to ctl model checking.mp4 (58.65 MB)
04-fairness in ctl.mp4 (58.43 MB)
05-ctl model checking with fairness.mp4 (74.4 MB)
01-counterexamples and witnesses.mp4 (146.43 MB)
02-generation of counterexamples and witnesses.mp4 (92.24 MB)
03-counterexamples and witnesses with fairness.mp4 (34.52 MB)
01-introduction to symbolic ctl model checking.mp4 (80.57 MB)
02-symbolic encoding of transition systems.mp4 (57.98 MB)
03-symbolic encoding of transition systems an example.mp4 (23.54 MB)
04-symbolic composition of transition systems.mp4 (48.93 MB)
05-symbolic image computation.mp4 (79.96 MB)
06-symbolic preimage computation.mp4 (67.31 MB)
07-symbolic computation for existential until and existential always operators.mp4 (72.96 MB)
08-symbolic model checking an example.mp4 (41.37 MB)
01-overview of switching function representations.mp4 (122.84 MB)
02-constructing reduced obdds.mp4 (51.97 MB)
03-considerations of robdds.mp4 (55.77 MB)
05-boolean operations in obdds.mp4 (48.94 MB)
01-nusmv overview.mp4 (100.68 MB)
02-modeling in nusmv.mp4 (99.48 MB)
03-uses of nusmv.mp4 (84.84 MB)
]
Screenshot
