Beyond Bug Hunting: Verification Coverage from Safety to Certification

array(10) { [0]=> object(stdClass)#4463 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "h_CGJ3ojySM" ["related_video_title"]=> string(40) "4. Bug Hunting: From cores to subsystems" ["posted_time"]=> string(19) "1 год назад" ["channelName"]=> string(36) "Axiomise Formal Verification Channel" } [1]=> object(stdClass)#4436 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "2TAmjTissmI" ["related_video_title"]=> string(31) "The Benefits of Hardware DevOps" ["posted_time"]=> string(23) "1 месяц назад" ["channelName"]=> string(9) "Accellera" } [2]=> object(stdClass)#4461 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "RbcPeoi1EDU" ["related_video_title"]=> string(103) "🔴24/7 Worship Piano | Soaking CCM Instrumental for Prayer - Meditation Music|Piano Hymns|Rest in GOD" ["posted_time"]=> string(0) "" ["channelName"]=> string(16) "Moments of Selah" } [3]=> object(stdClass)#4468 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "Qwc52-pmzCE" ["related_video_title"]=> string(60) "Boost Your Productivity in FPGA/ASIC Design and Verification" ["posted_time"]=> string(23) "1 месяц назад" ["channelName"]=> string(9) "Accellera" } [4]=> object(stdClass)#4447 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "QTC78DSN69c" ["related_video_title"]=> string(78) "Resilient Safety Analysis and Qualification - ELISA Project Workshop, May 2025" ["posted_time"]=> string(25) "2 недели назад" ["channelName"]=> string(13) "ELISA Project" } [5]=> object(stdClass)#4465 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "aircAruvnKk" ["related_video_title"]=> string(101) "Но что такое нейронная сеть? | Глава 1. Глубокое обучение" ["posted_time"]=> string(19) "7 лет назад" ["channelName"]=> string(11) "3Blue1Brown" } [6]=> object(stdClass)#4460 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "BT38K6NqETE" ["related_video_title"]=> string(125) "Эксперт по кибербезопасности о ваших паролях, вирусах и кибератаках" ["posted_time"]=> string(27) "6 месяцев назад" ["channelName"]=> string(22) "Раскадровка" } [7]=> object(stdClass)#4470 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "-Vd1aesu1lY" ["related_video_title"]=> string(102) "Арестович: Украина и Россия перепутали врагов. @yulialatynina71" ["posted_time"]=> string(23) "7 часов назад" ["channelName"]=> string(17) "Alexey Arestovych" } [8]=> object(stdClass)#4446 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "2RE5LFmSEQE" ["related_video_title"]=> string(133) "Чиновники на ПМЭФ: всё плохо, Россия на грани рецессии, ресурсы исчерпаны" ["posted_time"]=> string(24) "18 часов назад" ["channelName"]=> string(27) "Владимир Милов" } [9]=> object(stdClass)#4464 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "yRk-F2Jbwrw" ["related_video_title"]=> string(45) "Бомба в Офисе Президента" ["posted_time"]=> string(24) "11 часов назад" ["channelName"]=> string(27) "Анатолий Шарий" } }