1:16:52PPA 9/10: Model Checking [program analysis crash course]Yegor Bugayenko2.3K viewsView & Download
52:58Edmund M. Clarke, 2007, ACM A.M. Turing Award Lecture "Model checking"Association for Computing Machinery (ACM)44.1K viewsView & Download
17:56Interval Change-Point Detection for Runtime Probabilistic Model Checking (ASE'20)Xingyu Zhao44 viewsView & Download
1:02:00VLSI Design [Module 05 - Lecture 20] Verification: Verification of Large Scale SystemsOptimization Techniques for Digital VLSI Design1.3K viewsView & Download