1.06 GB | 15min 53s | mp4 | 1280X720 | 16:9
Genre:eLearning |Language:English

Files Included :
FileName :03 motivating-examples.mp4 | Size: (25.89 MB)
FileName :04 high-profile-previous-bugs-and-their-impacts.mp4 | Size: (39.01 MB)
FileName :01 overview-of-functional-verification.mp4 | Size: (24.16 MB)
FileName :02 techniques-for-functional-verification.mp4 | Size: (42.45 MB)
FileName :01 overview-of-formal-verification-and-model-checking.mp4 | Size: (28.74 MB)
FileName :02 elements-of-model-checking.mp4 | Size: (20.39 MB)
FileName :03 challenge-to-model-checking-state-space-explosion.mp4 | Size: (21.18 MB)
FileName :01 propositional-logic.mp4 | Size: (51.78 MB)
FileName :02 predicate-logic.mp4 | Size: (39.28 MB)
FileName :03 set-theory.mp4 | Size: (44.05 MB)
FileName :01 transition-systems-definitions.mp4 | Size: (54.71 MB)
FileName :02 deterministic-vs-non-deterministic-systems.mp4 | Size: (35.02 MB)
FileName :03 executions.mp4 | Size: (22.4 MB)
FileName :04 modeling-sequential-circuits.mp4 | Size: (49.58 MB)
FileName :01 program-graphs-definitions.mp4 | Size: (42.68 MB)
FileName :02 program-graphs-examples.mp4 | Size: (61.05 MB)
FileName :03 from-program-graphs-to-transition-systems.mp4 | Size: (43.82 MB)
FileName :01 concurrency-and-interleaving.mp4 | Size: (44.06 MB)
FileName :02 concurrency-and-interleaving-examples.mp4 | Size: (30.39 MB)
FileName :01 interleaving-program-graphs.mp4 | Size: (50.54 MB)
FileName :02 critical-actions-and-atomicity.mp4 | Size: (41.79 MB)
FileName :03 petersons-mutual-exclusion-algorithm.mp4 | Size: (53.71 MB)
FileName :01 synchronization-and-handshaking.mp4 | Size: (56.8 MB)
FileName :02 example-railroad-crossing.mp4 | Size: (46.32 MB)
FileName :01 synchronous-product-part-1.mp4 | Size: (41.68 MB)
FileName :02 synchronous-product-part-2.mp4 | Size: (34.37 MB)
FileName :03 the-state-space-explosion-problem.mp4 | Size: (37.07 MB)]
Screenshot