{"pages":{"search":{"query":"Runtime Verification","originalQuery":"Runtime Verification","serpid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","parentReqid":"","serpItems":[{"id":"15095831389254993622-0-0","type":"videoSnippet","props":{"videoId":"15095831389254993622"},"curPage":0},{"id":"131138406778832189-0-1","type":"videoSnippet","props":{"videoId":"131138406778832189"},"curPage":0},{"id":"3237310826220638675-0-2","type":"videoSnippet","props":{"videoId":"3237310826220638675"},"curPage":0},{"id":"16092194476085391625-0-3","type":"videoSnippet","props":{"videoId":"16092194476085391625"},"curPage":0},{"id":"R-I-113683-5-0-4","type":"direct","props":{"advRsyaActivateParams":{"pcodeParams":{"blockId":"","renderTo":"","pageNumber":4,"grab":"dFJ1bnRpbWUgVmVyaWZpY2F0aW9uCg==","statId":4,"darkTheme":false,"lazyLoad":false,"extParams":{"reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","ui":"desktop","yuid":"1364741061769193846"}}},"isAdult":false,"position":4,"placement":"empty"},"curPage":0},{"id":"2938941711747318273-0-5","type":"videoSnippet","props":{"videoId":"2938941711747318273"},"curPage":0},{"id":"10183720174102777923-0-6","type":"videoSnippet","props":{"videoId":"10183720174102777923"},"curPage":0},{"id":"5319806382576753982-0-7","type":"videoSnippet","props":{"videoId":"5319806382576753982"},"curPage":0},{"id":"7825001155208451382-0-8","type":"videoSnippet","props":{"videoId":"7825001155208451382"},"curPage":0},{"id":"9853889686150704758-0-9","type":"videoSnippet","props":{"videoId":"9853889686150704758"},"curPage":0},{"id":"5738979611457634485-0-10","type":"videoSnippet","props":{"videoId":"5738979611457634485"},"curPage":0},{"id":"R-I-113683-5-0-11","type":"direct","props":{"advRsyaActivateParams":{"pcodeParams":{"blockId":"","renderTo":"","pageNumber":11,"grab":"dFJ1bnRpbWUgVmVyaWZpY2F0aW9uCg==","statId":11,"darkTheme":false,"lazyLoad":false,"extParams":{"reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","ui":"desktop","yuid":"1364741061769193846"}}},"isAdult":false,"position":11,"placement":"empty"},"curPage":0},{"id":"4564537820392118024-0-12","type":"videoSnippet","props":{"videoId":"4564537820392118024"},"curPage":0},{"id":"8649403487743945609-0-13","type":"videoSnippet","props":{"videoId":"8649403487743945609"},"curPage":0},{"id":"4979652137994880398-0-14","type":"videoSnippet","props":{"videoId":"4979652137994880398"},"curPage":0},{"id":"8997467310426314402-0-15","type":"videoSnippet","props":{"videoId":"8997467310426314402"},"curPage":0},{"id":"14671053045748595049-0-16","type":"videoSnippet","props":{"videoId":"14671053045748595049"},"curPage":0},{"id":"16590866870220718610-0-17","type":"videoSnippet","props":{"videoId":"16590866870220718610"},"curPage":0},{"id":"331171949640986919-0-18","type":"videoSnippet","props":{"videoId":"331171949640986919"},"curPage":0},{"id":"11678500970396774460-0-19","type":"videoSnippet","props":{"videoId":"11678500970396774460"},"curPage":0}],"filters":{},"serpFooter":{"linksGroups":[{"type":"geo","links":[{"label":"Columbus","title":"Columbus","url":"//yandex.com.tr/tune/geo/","logNode":{"name":"region"},"target":"_self","a11yLabel":"Bölgeniz Columbus","needRetpath":true}]},{"type":"help","links":[{"label":"Bize ulaşın","url":"https://yandex.com.tr/support/video/troubleshooting.html","logNode":{"name":"feedback"},"needRetpath":true},{"label":"Yardım","url":"https://yandex.com.tr/support/video/","logNode":{"name":"help"},"needRetpath":true}]},{"type":"settings","links":[{"label":"Ayarlar","url":"https://yandex.com.tr/tune/search/","target":"_self","logNode":{"name":"settings"},"needRetpath":true}]},{"type":"company","links":[{"label":"Şirket hakkında","url":"//yandex.com.tr/company/","logNode":{"name":"about"},"target":"_blank"},{"label":"Kullanım lisansı","url":"//yandex.com.tr/legal/termsofuse/","logNode":{"name":"license"},"target":"_blank"},{"label":"Gizlilik Politikası","url":"//yandex.com.tr/legal/confidential/","logNode":{"name":"confidential"},"target":"_blank"}],"a11yHidden":true}],"hasExtralinks":true},"currentPage":0,"prevPageToLoad":-1,"nextPageToLoad":1,"isTranslationsFilterEnabled":false,"isTranslationsDistributionEnabled":false,"isTranslationsDistributionOnboardingEnabled":false,"isFeedbackModalVisible":false,"prevention":{},"hasNextPage":true,"rightSerpItems":[{"type":"direct","id":"search-list-right","props":{"advRsyaActivateParams":{"pcodeParams":{"blockId":"R-I-8843654-1","renderTo":"search-list-right-0-R-I-8843654-1","pageNumber":0,"grab":"dFJ1bnRpbWUgVmVyaWZpY2F0aW9uCg==","darkTheme":false,"lazyLoad":false,"extParams":{"reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","ui":"desktop","yuid":"1364741061769193846"}}},"isAdult":false,"position":0,"placement":"search-list-right"},"curPage":0}],"isAdultQuery":false,"errorList":[],"layout":"list","retpath":"https%3A%2F%2Fgs.yandex.com.tr%2Fvideo%2Fsearch%3Ftext%3DRuntime%2BVerification"},"main":{"_isInitial":true,"snippets":[],"serpFooter":{"linksGroups":[]},"isLoggedIn":false,"tags":[]}},"internal":{"nonce":"3144475978971651347257","expFlags":{"video_settings_toolbar_redesign":1,"velocity_delay_drawer":1,"video_feedback_in_d2d":1,"video_viewer_heartbeat_disabled_in_no_js_api":1,"video_search_toggle_with_text":1,"velocity_disable_suspense":1,"video_viewer_desktop_smart_layout":1,"dark_theme_desktop":"cookie","distr_splashscreen_on":1,"video_viewer_check_sandbox_origin":1,"video_font_yandex_sans":1,"video_adv_new_show_rules":1,"video_resource_loader":1,"video_adv_config_desktop":{"search-list":{"adult":{"default":"R-I-474674-135","mail":"R-A-13426421-23"},"regular":{"default":"R-I-48058-751","mail":"R-A-13411721-23"}},"search-grid-inplace":{"adult":{"default":"R-I-474674-126","mail":"R-A-13426421-16"},"regular":{"default":"R-I-48058-742","mail":"R-A-13411721-16"}}},"new_template_version":4,"video_search_page_no_islands":1,"video_vh_player_js":0,"video_masthead_ratio":"180,4","video_searchdata_scheme":1,"video_viewer_related_fail_error_screen":1,"velocity_delay_metrika":1,"video_viewer_no_islands":1,"video_viewer_channel_link_mode":2,"video_partner_label":1,"video_resource_loader_load_timeout":6000,"int_tr":1,"mmui_extended_escape_scheme":"searchdata.clips.0.authorname","tabs_order_version":"search,images,video,newstr,maps,translate,tr_ecom","spok":"id","video_suggest_use_serp":1,"video_search_grid_direct_repeat":6,"video_viewer_critical_error_codes":"101,102,103,100,151,152,153,154,155,156,150","video_direct_config_desktop_search":"search-grid-row:R-I-48058-718:R-I-474674-109,search-grid-head:R-I-2120168-7","init_meta":{"enable-yabs-distr":1,"ask-user-purchase-history":1,"use-src-videoquickp":1,"enable-begemot":1,"enable_masthead":1,"use-src-videop":1,"use-src-videoquickp_misspell":1,"enable_blackbox_multisession":1,"begemot-enable-cancelled-misspell-rtmr":1,"enable_video_iron_fetcher":1,"use-related-only":1,"ask-yandex-io-devices":1,"use-images-device-setup":1,"use-src-imagesp":1,"images-apphost-collections-front":1,"enable_aab_apphost":1,"graph-is-video-search":1,"bg-bert-video":1,"use-src-imagesp_misspell":1,"use-src-imagesultrap":1,"use-video-apphost-pre-templates":1,"use-src-videop_misspell":1,"use-video-apphost-post-templates":1,"use-src-imagesquickp":1,"enable_video_carousels":"1","restrict-max-docs":"1000","use-images-region-setup":1,"use-post-auto2":1,"use-images-settings-setup":1,"use-src-ugc_favorites":1,"video_vitrina_disable":"0","use-images-user-setup":1,"use-video-pre-search-data":1,"begemot-no-suggest-history":1},"video_depot_viewer_masthead_ssr_only":1,"video_blender":1,"video_search_grid_enable":0,"video_viewer_desktop_fix_d2d_scroll":1,"video_depot_viewer_legacy_counters":1,"video_search_grid_direct_start":3,"video_adv_new_show_rules_docs_count":1,"beauty_header_futuris_tab":9,"video_related_suggest_enable":1,"video_redirect_plug":2,"video_adv_grid_inplace":1,"distr_popup_on":1,"dark_theme_desktop_default_pref":"system","video_search_toggle_enable":1,"video_depot_viewer_related_adv_margin":400,"video_viewer_doc2doc_instant_load":1,"velocity_split_hydration":4,"video_duration_counter_new_format":1,"video_force_grid_on_premordie":1,"int_online_summarization_video_snippet":1,"video_morda_header_nav":1,"video_nohost_full_filter":1,"distr_pcode_off":1,"video_baobab_blockstat":1,"video_thumb_poster_full":1,"video_scrollpages":2,"video_serp_desktop_block_design":1,"video_nohost_youtube_filter":0,"video_viewer_host_link_mode":1},"slots":["1472324,0,69;1460336,0,16;1457615,0,78;1424968,0,56;1450255,0,13;1460717,0,29;1462157,0,52;1460214,0,79;1152685,0,20;1444119,0,90;898802,0,39;754547,0,39;1471624,0,7;1461641,0,23;1471363,0,54;1461601,0,3;1469839,0,31;1460999,0,37;9346,0,3;260557,0,89;124074,0,29;123855,0,79;1464524,0,65;1455765,0,69;1470250,0,6;1463533,0,66;1373787,0,94;1466296,0,3;1463529,0,49;1466077,0,10;1467160,0,42;1452015,0,23;1466619,0,74;1215706,0,16;1461078,0,60;1470513,0,54;1467620,0,0;1460391,0,90;1471182,0,14;1469428,0,99;912217,0,62;1304310,0,83;284409,0,83;124069,0,54;1462741,0,22;151171,0,44;1459211,0,19;1281084,0,86;287509,0,1;1447467,0,26;786162,0,69;1468028,0,48;912287,0,10"],"isYandexNet":false,"platform":"desktop","isEnLogo":true,"retpath":"https%3A%2F%2Fgs.yandex.com.tr%2Fvideo%2Fsearch%3Ftext%3DRuntime%2BVerification","mordaUrl":"//yandex.com.tr/","videoSearchUrl":"https://gs.yandex.com.tr/video/search?text=Runtime+Verification","settingsUrl":"https://yandex.com.tr/tune/search/","helpUrl":"https://yandex.com.tr/support/video/","legalUrl":"//legal.yandex.com.tr/termsofuse/","feedbackUrl":"https://yandex.com.tr/support/video/troubleshooting.html","basename":"/video","currentPageName":"search","isYandexApp":false,"isYandexAppAndroid":false,"isYandexAppIos":false,"isAnyYaBro":false,"isAndroid":false,"isHamster":false,"serpid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","backUrl":"//ya.ru","url":"https://gs.yandex.com.tr/video/search?text=Runtime+Verification","isIntegrationTest":false,"isEndToEndTest":false,"shouldDropLogs":false,"seo":{"title":"Runtime Verification: Yandex'te 2 bin video bulundu","description":"Результаты поиска по запросу \"Runtime Verification\" в Яндексе","keywords":"яндекс видео, поиск видео, смотреть онлайн, сериалы, фильмы, клипы","shareTitle":"Runtime Verification — Яндекс — поиск по видео"},"isEmbedded":false,"isPumpkin":false,"sessionCsrfToken":"y0d21625cc3e015b4628346b226b0d5dd","reportFeedbackBaseProps":{"initEmail":"","metaFields":{"userAgent":"Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)","userTestids":"1472324,1460336,1457615,1424968,1450255,1460717,1462157,1460214,1152685,1444119,898802,754547,1471624,1461641,1471363,1461601,1469839,1460999,9346,260557,124074,123855,1464524,1455765,1470250,1463533,1373787,1466296,1463529,1466077,1467160,1452015,1466619,1215706,1461078,1470513,1467620,1460391,1471182,1469428,912217,1304310,284409,124069,1462741,151171,1459211,1281084,287509,1447467,786162,1468028,912287","queryText":"Runtime Verification","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","userRegionName":"","userRegionId":"id() {\n return this._region.id;\n }","yandexuid":"1364741061769193846","uid":"0","isChildAccount":false}},"userTestids":"191768,238743,246500,253288,265553,270072,277807,274239,294077,278842,331010,338398,378416,359879,415420,644350,652605,645301,679708,689693,690449,696466,696473,722746,740796,776165,771230,781521,790415,801982,851450,886706,883477,900639,931367,937268,969063,935488,945314,989988,982463,991363,990185,1015567,1011895,1035320,1033956,1035241,1036046,1087297,1060131,1071879,1078818,1077703,1116602,1045814,1131637,1144233,1151726,1156933,1174275,1173000,1167408,1202006,1194718,1221235,1228280,1239596,1227266,1226860,1246754,1276447,1289213,1316370,1313283,1321224,1300570,1320679,1352408,1342688,1344637,1341968,1345362,1343279,1367583,1336673,1348424,1382036,1391511,1384451,1402882,1407422,1417605,1424780,1429092,1438908,1444206,1449283,1452713,1457995,1459277,1459585,1461130,1466451,1299604","regionId":20815,"isYaRu":false,"shouldUnmountSearchPageInViewer":false,"videoGlobalContext":{"platform":"desktop","isPumpkin":false,"language":"tr","user_time":{"epoch":"1769193937","tz":"America/Louisville","to_iso":"2026-01-23T13:45:37-0500","__is_plain":1},"isHermione":false,"shouldStubImages":true,"enableVideoPreviewInHermione":false,"reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","isEmbedded":false,"shouldShowMainPageButtonInViewer":false,"shouldDisableWebp":false,"removeLinkPrefix":"/video","shouldUseHighresPreview":true,"shouldCutSnippetTitle":true,"shouldShowPlusBadge":true,"reportFeedbackBaseProps":{"initEmail":"","metaFields":{"userAgent":"Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)","userTestids":"1472324,1460336,1457615,1424968,1450255,1460717,1462157,1460214,1152685,1444119,898802,754547,1471624,1461641,1471363,1461601,1469839,1460999,9346,260557,124074,123855,1464524,1455765,1470250,1463533,1373787,1466296,1463529,1466077,1467160,1452015,1466619,1215706,1461078,1470513,1467620,1460391,1471182,1469428,912217,1304310,284409,124069,1462741,151171,1459211,1281084,287509,1447467,786162,1468028,912287","queryText":"Runtime Verification","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","userRegionName":"","userRegionId":"id() {\n return this._region.id;\n }","yandexuid":"1364741061769193846","uid":"0","isChildAccount":false}},"deviceDetect":{"OSFamily":"Unknown","isTV":0,"x64":0,"GoogleToolBarVersion":"","MultiTouch":0,"BrowserBase":"","YandexBarVersion":"","isTablet":0,"YandexBar":0,"hasWebOmni":0,"isTouch":0,"hasYandexCamera":0,"isMobile":0,"DeviceKeyboard":"","device":"desktop","TurboAppPlatformVersion":"","historySupport":0,"BrowserShellVersion":"","DeviceVendor":"","isBrowser":0,"hasFlash":0,"MailRuSputnikVersion":"","isSameSiteSupported":0,"BrowserBaseVersion":"","BrowserVersionRaw":"","hasWebVert":0,"DeviceId":"","error":"","MailRuAgent":0,"ScreenWidth":0,"inAppBrowser":0,"hasHTML5":0,"isEmulator":0,"J2ME":0,"MailRuAgentVersion":"","BrowserEngineVersionRaw":"537.36","isRobot":1,"__is_plain":1,"BrowserEngineVersion":"0537.0036","BrowserName":"Unknown","DeviceModel":"","BrowserEngine":"WebKit","DeviceName":"","OSVersionRaw":"","OSName":"","GoogleToolBar":0,"ScreenSize":"","isTurboApp":0,"MailRuSputnik":0,"YaBuildName":"","isWAP":0,"PreferMobile":0,"DesktopMode":0,"BrowserVersion":"","BitsPerPixel":0,"BrowserShell":"","YaGUI":"","isBeta":0,"OSVersion":"","ScreenHeight":0},"nonce":"3144475978971651347257","disableDoc2DocHostLink":false,"shouldHideChannelLink":false,"disableChannelLink":false,"userConnectionRtt":154,"animated":false,"isDoc2DocScrollFix":true,"smartDesktopLayout":true,"enableVIImprovements":false,"enableLazyPoster":false,"isAdvDisabled":false,"shouldShowVideoPlaylistPane":false,"isVideoTranslationSupported":false,"isSummaryDisabled":false,"isSummaryOnlineEnabled":true,"shouldRenderBroSummaryApiContainer":false,"shouldDropLogs":false,"shouldUseBeacon":false,"hasAdBlock":false,"rknWarnHosts":[""],"relatedAdvRootMargin":400,"postInstreamScreenDuration":2000,"minVideoDurationForInstream":120,"isInstreamEnabledInTesting":false,"isFinalHeartbeatDisabledInNoJsApi":true,"wildcard":false,"isAdvUnderPlayerRedesign":false,"disableEarlyEventsInD2d":false,"isDoc2DocInstantLoadEnabled":true,"disableEarlyEventsUnsubscribe":false,"showDebugRelatedURL":false,"shouldUseBetaErrorLogging":false,"shouldShowMetaUnderPlayer":false,"isVideoViewerMetaTitleHidden":false,"isStickyPlayerDisabled":false,"headerNoFavicon":false,"headerBranded":false,"shouldCensorSensitiveContent":false,"isAdvUnderPlayerTransparent":false,"isDoc2DocGridLayoutEnabled":false,"detailsRedesignEnabled":false,"detailsRedesignV2Enabled":false,"detailsRedesignV3Enabled":false,"isIslandsDisabled":true,"isD2DEmptyLoadFixDisabled":false,"isRoundedPlayerEnabled":false,"isSettingsToolbarRedesign":true,"isDoc2DocEmptyRetryEnabled":false,"isAdvUnderPlayerWithBackdrop":false,"isTouchAdvWithBackdrop":false,"isDoc2DocErrorScreenEnabled":true,"isDoc2DocFeedbackKebabEnabled":true,"isCommentsEnabled":false,"isCommentsCountOnSnippetsEnabled":false,"criticalErrorCodes":["101","102","103","100","151","152","153","154","155","156","150"],"isVideoMainButtonInitiallyCollapsed":false,"isAdvUnderPlayerWithInnerPadding":false,"isKebabAdvancedActionsEnabled":false,"isKebabOnTouchVideoSearchEnabled":false,"isAdvVideoListLikeUnderPlayer":false,"isSummaryInMetaButtons":false,"isSummaryInMetaButtonsDesktop":false,"isMetaCommentsButtonEnabled":false,"preventAdvHideOnEmpty":false},"shouldShowAdvId":false,"isAdultQuery":false,"isSensitivePage":false,"showSensitive":false,"shouldReplaceHref":false},"user":{"tld":"com.tr","isEuDomain":false,"login":"","passportId":"","isLoggedIn":false,"locationName":"Columbus","isFamily":false,"yandexuid":"1364741061769193846","ugcCsrfToken":"","family":1,"isChild":false},"config":{"skinMode":"system","skin":"light","version":"releases-frontend-video-v1.1753.0__c83439c9643899cbfcbabfd82f198d10e202213a","isGridSupported":false,"advConfig":{"under-player":{"regular":{"default":"R-I-48058-725","mail":"R-A-13411721-6"},"adult":{"default":"R-I-474674-114","mail":"R-A-13426421-6"}},"under-player-lite":{"regular":{"default":"R-I-48058-728"},"adult":{"default":"R-I-474674-103"}},"under-player-old":{"regular":{"default":"R-I-48058-725","mail":"R-A-13411721-6"},"adult":{"default":"R-I-474674-114","mail":"R-A-13426421-6"}},"video-list":{"regular":{"default":"R-I-48058-708","mail":"R-A-13411721-2"},"adult":{"default":"R-I-474674-101","mail":"R-A-13426421-2"}},"search-list":{"adult":{"default":"R-I-474674-135","mail":"R-A-13426421-23"},"regular":{"default":"R-I-48058-751","mail":"R-A-13411721-23"}},"search-grid-row":{"regular":{"default":"R-I-48058-718","mail":"R-A-13411721-4"},"adult":{"default":"R-I-474674-109","mail":"R-A-13426421-4"}},"search-grid-head":{"regular":{"default":"R-I-2120168-7"}},"search-list-right":{"regular":{"default":"R-I-8843654-1"}},"before-player-old":{"regular":{"default":"R-I-2120168-1"}},"before-player":{"regular":{"default":"R-I-2120168-1"}},"search-grid-inplace":{"adult":{"default":"R-I-474674-126","mail":"R-A-13426421-16"},"regular":{"default":"R-I-48058-742","mail":"R-A-13411721-16"}}},"isSkinInitedOnClient":false},"counters":{"params":{"useBeacon":false,"clickHost":"gs.yandex.com.tr/clck","pid":197},"dict":{"viewer":"2921","user":"538","info":"1275","sources":"1500","select":"775","close":"486","open":"842","source":"186","link":"513","click":"882","tech":"690","player":"1242","change":"719","summary":"3410","init":"1309","item":"22","button":"440","shown":"3780","copy":"1276","text":"232","load":"1724","fallback":"2010","channel":"1345","hide":"1656","serp":"471","pager":"405","down":"601","up":"600","footer":"295","more":"75","page":"143","loaded":"1007","grid":"3223","support":"2458","client":"2989","layout":"54","list":"436","duration":"2136","within":"3247","on":"10","off":"11","host":"3052","supported":"3761","enable":"2396","disable":"2395","full":"318","video":"231","translation":"347","distrib":"316","onboarding":"2045","filters":"618","lang":"1144","advanced":"255","apply":"2461","reset":"3236","short":"142","toggle":"237","snippet":"254","icon":"1167","abuse":"1436","submit":"297","wizard":"358","incut":"1073","extralinks":"3557","show":"487","feedback":"296","out":"3218","popup":"1544","scroll":"768","retry":"3545","region":"287","help":"177","settings":"1137","recommendations":"2671","home":"1319","soo":"65","youtube":"624","google":"66","bing":"568"}},"clips":{"items":{"15095831389254993622":{"videoId":"15095831389254993622","docid":"34-5-4-Z949ABA9620272A21","description":"Runtime Verification at Blockswap's Multichain ETH event at Devconnect in Amsterdam talking about the Stakehouse protocol. Event: Multichain ETH Who: Everett Hildenbrandt - CTO @ Runtime...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4694975/3ac2b8feda6872f8619fd1a80924583d/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/JqyZAwIAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"0","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DlDVOe0eunt0","linkTemplate":"/video/preview/15095831389254993622?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Runtime Verification - Security Techniques & Formal Verification for Developers @ Multichain ETH","related_orig_text":"Runtime Verification","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Runtime Verification\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=lDVOe0eunt0\",\"src\":\"serp\",\"rvb\":\"EqcDChQxNTA5NTgzMTM4OTI1NDk5MzYyMgoSMTMxMTM4NDA2Nzc4ODMyMTg5ChMzMjM3MzEwODI2MjIwNjM4Njc1ChQxNjA5MjE5NDQ3NjA4NTM5MTYyNQoTMjkzODk0MTcxMTc0NzMxODI3MwoUMTAxODM3MjAxNzQxMDI3Nzc5MjMKEzUzMTk4MDYzODI1NzY3NTM5ODIKEzc4MjUwMDExNTUyMDg0NTEzODIKEzk4NTM4ODk2ODYxNTA3MDQ3NTgKEzU3Mzg5Nzk2MTE0NTc2MzQ0ODUKEzQ1NjQ1Mzc4MjAzOTIxMTgwMjQKEzg2NDk0MDM0ODc3NDM5NDU2MDkKEzQ5Nzk2NTIxMzc5OTQ4ODAzOTgKEzg5OTc0NjczMTA0MjYzMTQ0MDIKFDE0NjcxMDUzMDQ1NzQ4NTk1MDQ5ChQxNjU5MDg2Njg3MDIyMDcxODYxMAoSMzMxMTcxOTQ5NjQwOTg2OTE5ChQxMTY3ODUwMDk3MDM5Njc3NDQ2MAoSNTY5ODM4MDAzNTIxNDYwNTYyChMyMTM3MDg5ODQ4MjMwOTE0Mjc3GhYKFDE1MDk1ODMxMzg5MjU0OTkzNjIyWhQxNTA5NTgzMTM4OTI1NDk5MzYyMmqHFxIBMBgAIkQaMAAKKWhod25rZHlpcmd0amRpcmhoVUNXaEQ5M1lUWnNNdUJ6VnBiR2ZXN05REgIAESoQwg8PGg8_E8IVggQkAYAEKyqLARABGniBCQkFDgP9APwDBQL5Bv4CHgD8_vMDAwDs_Af6BwAAAPH2CvIIAAAACfgC-AoAAAAB9gEF9f0BAAIM8wHvAP8AEfn1AfQAAAADBgP_CP8AAAbpBwoD_wAAEwoIAf8AAAADAQb__f8AAPr98wMAAAAADP3-AQAAAAAgAC3wYMw7OBNACUhOUAIqhAIQABrwAXTu_wPL8RD-BfflAPET7gCBBQv_IP_hAN_yCP-cCNX-4BUEAOLfDgALIBEA1gHz__f58_8sFPf__xAHADMMJQAYEQMARu8AACT3-wD1Duz_8gQHACIMJv8L7hkAERr8ASTxGADs_eMC7Pz5BfsTFQHyFgwCGgoD__kSFwT2FQf_CQsHBAkl9wLb_hP_Ax0H_w7_8QcFDfcB9gX9AwAM9wgF9f36HgHsAiwL_wjr_QH76BgTASUM-gUEAQL4DCkRAd_zBP0SCPsG7wkDASLdDQEB-BMI7ecO__EM-AED7vn7AQMKBN0AAf0ABQkBCALz-yAALW4nSDs4E0AJSGFQAirPBxAAGsAHuRwDv6G_q7uac_i7v41-PR6uED00MM28b-RwPCyEUL3IjAO8m7dgPcD6uT234Lu8mYCnvmX70Dyf-hE9OxlsPq4M6jyCjCU851TSvYdDID2feKk8T3iRvmcVTD2p5ou6fZfyPRQLdz2c3To9HAxFPlXMtboQ7xQ9VhCzPQfqFDuzvEG92Kh9Pdcwk728GTQ6QqC5Pdt9GL24BP07eCU5PqIRCTx2cgC8h4RUvZIkaD2_4dM6-3ioPJc0jLu1d3w84zVPPnna67yDXcM8duMbPLV6drpW6I08SyyPPVuKdbxzF5u7fi4kvUpR-Dzeca88iIdNu35MEL3_pkE8QLexvT0pEz2a3Bw83bQZPj0W0TwDYPq7IsoSvWTGADv7WSw8fGmlvdF0lj1r2Eq8TxTyPMQtuDtdmqo7IJwqPUiqzjrCbP67oZFZPf47rLzJ1xS8D-frvKZNgD3j6te63fN0O-8O3zw18dE5KNXevWgK-LztA7m7SWFDPRlUYL3F5848d6m3PQQJJb1xhYE8E5KWPW26jz0yKqE7CCIGvfKNUj2hzJC8f7DCvNBSqLxKhpK8louCPI95kzy04kC8qqWPvWB5a7yz7Em856KGPE9lh7w2AhA83Su-Pb8KNT0y5s87MJNSPeq5QL2f7IO7MelUvUA1-TwBgr07lT4-PMiTKb1Y67y7qh3yOx2iJLrylxY85ipRvdiJprwdioo7RPO1PZYibzley_k6ggtoPB3IurzzxBo8ghDavCe85D19Uoi51Td1PSsWj73usMs5TLMMvECj9DzEFeW5GO3xPG8ArLxK3Qm6OVgpPQjpKbzb9Wk5snKevHklpLxZi0u5nfY0vXStg7rqiH-5xcSLPGxU8bxV9oO5gDYIPUFutbwdA2K5NZUqvdvitby6Qg-5CwWRPJ8x3TyDT5Q3ej8EPb10brz8hUi4azOEPJuL5DyUDeW4hjNkvTXNHjwPbVm4t2J_PD3PRL2FTso2nKglPWEoET3NQ-U4MiKsvEpXl7qzUuG2HpY8vMbZtjupihq4sA-xvbcMuL3-WDi4AOvMuH4qOLxHLjc4hyw3vd6bNrsdaI43vTKUvVTrk73807q2TJJCPd2YHrpxTAc4SUMyPEbpt72kLmA3G7B1vLRKGr2hFbo3X_bhPLpDVDzElga5LXdrPXHBHj2ziIa38H7mvAdEKL1kVxI4dkMkPcJNxrwIC7O3ITK2PDs54z0EGwY5XrwPvlk0_T2_e8q4fy_FvOTWKT1MM4i4zzwPvUBJJr2MT8g3IAA4E0AJSG1QASpzEAAaYFL4ADAV_ebU7lnt6gDCFQr-6g79uhz__fH_70DH6RkY_aMAEf8fzj8LogAAAC3hAz32AAh_0t__J940EZy_7Q3-YugRArn5ItnXrgIOw-3k5BY3SgAA-aYdQti8NyUT7iAALf0TGTs4E0AJSG9QAiqvBhAMGqAGAADgQQAAkEEAADBBAADAwQAAQMAAAMDAAAAkQgAAUEEAAFzCAABAQgAAQEIAADzCAABowgAAqMEAAKhCAACgwQAAkEEAAGDBAAAQwgAANMIAANBBAABUwgAA6MEAAExCAACAQQAAtsIAAIjBAAD4wQAAUEIAACBBAAAIwgAAXEIAACzCAAB4QgAABMIAAFTCAABAwAAA7kIAADDCAAA4QgAAuEEAAMDAAABoQgAAcEEAAADBAADOwgAAQMEAAKBAAAAAQgAAcEEAACBBAACgwAAADEIAAMhBAABIQgAAiEEAAADDAAAAAAAAEMIAACBBAACgQgAAqMEAAADBAAAEwgAA8EEAAETCAADYQQAAJMIAAI5CAADowQAAFEIAANBCAAAEwgAAhEIAAHDBAABAwQAAqEEAAIjBAAAoQgAANEIAAETCAACCQgAAQEEAAIpCAAAAwgAAKMIAAPjBAADwQQAAOEIAAKBBAACQQQAAKEIAAJjBAADgwQAAUEEAAITCAABQwQAA2EEAANBBAACAQAAAWMIAAGhCAAC4QQAAksIAACjCAAAAwQAAyMEAABhCAAAkwgAAkkIAAMhBAACIQQAAOMIAAEBAAABYQgAAsMEAAKDBAACAwAAAEEEAABRCAACAwAAAhsIAAATCAADAwAAAIMEAALxCAAAkwgAAoMAAABjCAACAwAAAQEEAAJDBAABwwgAAEEEAALDBAACIQQAA2EEAAFBCAAA4wgAA2MEAACDBAABgQQAAcMEAAIDAAACuQgAAAMEAAAjCAADIwQAA4MAAAATCAACgQQAAJEIAAKhBAAA4wgAA4EAAAJBBAAAQwQAAisIAAFDCAACYQQAAuMEAAFBBAAAAwgAAkMEAAEzCAACgwQAAgEEAALBCAACAvwAAhEIAADDCAABkQgAA6MEAAEBAAADQwQAAQMEAAABAAACwQQAAqEEAACxCAACAQQAA4MAAAGDBAABwQQAAsEEAADzCAACKwgAAbEIAAHBBAACYwQAA4MAAABzCAAAUQgAAXMIAAIA_AAAAwgAADMIAACBBAACWwgAALMIgADgTQAlIdVABKo8CEAAagAIAAIa-AAAwvQAAcD0AAOi9AAB0vgAAXD4AABw-AAA5vwAAVL4AABy-AADgvAAA-L0AADw-AAC4PQAAPL4AAHC9AADmPgAAgLsAALg9AAAPPwAAfz8AADA9AACOPgAA2D0AAIi9AABwvQAAgLsAAEw-AAA0vgAAgr4AAGw-AAC4vQAATL4AAJK-AABkPgAARL4AAIg9AACIvQAAHL4AACy-AACCvgAAqL0AALI-AAAMvgAAuL0AAIg9AACgvAAABL4AAJg9AABMvgAAoDwAAKC8AAC4vQAAzj4AAKA8AACIvQAAbz8AAPg9AACAOwAATD4AAIg9AAAwvQAAUD0AAAQ-IAA4E0AJSHxQASqPAhABGoACAAAkvgAAND4AABy-AABTvwAAPL4AAGy-AAAkvgAAoDwAAKC8AAAQPQAAqD0AABy-AACIvQAATL4AAIA7AAAQvQAAgr4AAC8_AACYvQAAbD4AAIo-AACOvgAABD4AAGS-AABwvQAALD4AANa-AADoPQAAUL0AAKg9AAC4PQAAQDwAALg9AAAQPQAAVD4AADS-AAC4PQAAqL0AACS-AACAOwAAPD4AAAS-AAA0vgAAQLwAACS-AABAPAAAf78AAIA7AAA8vgAAJL4AAEA8AAAQvQAAcD0AAJY-AACYvQAAyD0AAOi9AABQPQAA-D0AAAS-AAAQvQAAEL0AAKA8AADgvCAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=lDVOe0eunt0","parent-reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1920,"cheight":1080,"cratio":1.77777,"dups":["15095831389254993622"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"2791198908"},"131138406778832189":{"videoId":"131138406778832189","docid":"34-6-17-Z7810E98BF012EA86","description":"the challenges and techniques of applying rv to the linux kernel, focusing on efficiency and practicality. kernel: *detecting subtle bugs:* rv can identify bugs that are difficult to find through...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4575231/66b298f2a0150e31565cb4bdc2a29807/564x318_1"},"target":"_self","position":"1","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DqbR5aMmG_eI","linkTemplate":"/video/preview/131138406778832189?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Efficient runtime verification for the linux kernel","related_orig_text":"Runtime Verification","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Runtime Verification\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=qbR5aMmG_eI\",\"src\":\"serp\",\"rvb\":\"EqcDChQxNTA5NTgzMTM4OTI1NDk5MzYyMgoSMTMxMTM4NDA2Nzc4ODMyMTg5ChMzMjM3MzEwODI2MjIwNjM4Njc1ChQxNjA5MjE5NDQ3NjA4NTM5MTYyNQoTMjkzODk0MTcxMTc0NzMxODI3MwoUMTAxODM3MjAxNzQxMDI3Nzc5MjMKEzUzMTk4MDYzODI1NzY3NTM5ODIKEzc4MjUwMDExNTUyMDg0NTEzODIKEzk4NTM4ODk2ODYxNTA3MDQ3NTgKEzU3Mzg5Nzk2MTE0NTc2MzQ0ODUKEzQ1NjQ1Mzc4MjAzOTIxMTgwMjQKEzg2NDk0MDM0ODc3NDM5NDU2MDkKEzQ5Nzk2NTIxMzc5OTQ4ODAzOTgKEzg5OTc0NjczMTA0MjYzMTQ0MDIKFDE0NjcxMDUzMDQ1NzQ4NTk1MDQ5ChQxNjU5MDg2Njg3MDIyMDcxODYxMAoSMzMxMTcxOTQ5NjQwOTg2OTE5ChQxMTY3ODUwMDk3MDM5Njc3NDQ2MAoSNTY5ODM4MDAzNTIxNDYwNTYyChMyMTM3MDg5ODQ4MjMwOTE0Mjc3GhQKEjEzMTEzODQwNjc3ODgzMjE4OVoSMTMxMTM4NDA2Nzc4ODMyMTg5aq4NEgEwGAAiRBowAAopaGh2cWdpenhnZHRidnFzaGhVQ1FJa2xNOTdTWmlNR0dMWHV0dmhZR0ESAgARKhDCDw8aDz8T5QiCBCQBgAQrKosBEAEaeIEGBQEJ_AQA9vX7AvoE_wES9wH39wEAAN_4Avz6-gMA9ur-AvsAAAAB_Pn__wAAAPrpAAH9_gEA-QcAA_wAAAASAAQE_QAAAAYD9gH_AQAA9fcHAgMAAAAIBQQBAAAAAAP-BggDAAAA-wD3_AAAAAAA__7_AAAAACAALdA13zs4E0AJSE5QAipzEAAaYDwIAPYpEu7YHj_zxg7SGBjIygHj7hP_Agf_vjLRMzD96cHiL_9SBxfipQAAAAMBEy_eAPdu_fzYIN0O-cwG2SgffwsH8PtD_dOptxXxOOPoBC8nOADj0wg3Oe_qM0oU-yAALXq1Ijs4E0AJSG9QAiqvBhAMGqAGAADgQQAAAMAAAEDAAAAEwgAAQMEAAJDBAABUQgAAkMEAAHTCAACAwAAAFEIAAKDCAAAYwgAAWMIAAFBCAACGwgAAYMEAAGDBAAAowgAATMIAAGzCAACMwgAAWMIAAMBBAABQQQAAHMIAAHDCAAAwwgAAHEIAADhCAAA8wgAAQMAAAL7CAADQQQAAdMIAACDCAACAQQAAukIAAEBAAABgQgAAcEIAAIC_AAA8QgAAMEEAABBCAAC0wgAA2MEAACjCAADCQgAAoEAAACDCAABQQQAAyEEAAOBAAAAcQgAAYMEAAADDAAAIQgAAoMEAALBBAAA4QgAA2MEAAPDBAABIwgAAqMEAAFzCAAD4wQAAkMEAAMDAAABkwgAADEIAAFhCAABAwQAAPEIAAADBAACwwgAAOMIAABDBAAAYQgAA0MEAAJzCAAAQQgAAMMEAADBCAACgwQAAIMEAAKDAAACoQQAAgkIAAKjBAABwQQAAgD8AANBBAACgwgAAoEAAAATCAADgQAAAHEIAAIBBAABYwgAAKMIAAGhCAABAQgAAfMIAAFDBAACgwAAAHMIAAEBBAABAwQAAEEIAADRCAACwQQAA0EEAAPjBAAC4QQAALEIAABjCAAAkwgAAoEAAAIDAAACgwAAACMIAAPDBAAA0wgAA-EEAAHxCAAAMwgAAAMIAABDCAAC4wQAABEIAAMhBAACQwQAAbEIAAMBAAAD4wQAAAEAAAOhBAACgwQAAksIAAIA_AAAQQQAAoEEAAABBAABwQgAAIMEAABTCAACIwQAAYMEAALjBAACAwAAAmEEAAIBBAAAwwgAAJMIAAADCAACYwQAA4MEAADjCAAAkQgAAUMEAAERCAAAEwgAAgL8AAJBBAACQQQAAaEIAALhBAABcQgAAAAAAAJbCAACQQgAAcMEAAEBCAAAAQQAAoEEAAABAAADgwAAAMEEAAFxCAACAvwAAVMIAAARCAAAQwQAAkkIAABDBAACAwgAAfEIAABDBAAAAQQAAAMIAAEzCAABAwQAAiMEAALjBAAAgQQAAgsIAAGDBAABkwgAAcMIgADgTQAlIdVABKo8CEAAagAIAAAQ-AAD6vgAAiL0AAAS-AACOvgAA4DwAAFy-AABJvwAAMD0AABA9AADIPQAAMD0AAKg9AAD4vQAA_r4AABy-AADiPgAAMD0AAHw-AAD-PgAAfz8AAIi9AAAMPgAA3j4AAAw-AADoPQAAED0AAEC8AAC4vQAAED0AAII-AABsvgAAqj4AAKY-AACOPgAAXD4AABA9AABsvgAAkr4AADS-AAA8vgAAED0AAFw-AACqvgAAkr4AAIo-AABAvAAAiL0AAAS-AACAOwAA2D0AADC9AAAUPgAA6D0AAHy-AADYvQAAaz8AABQ-AAD4vQAADT8AAHQ-AAA8PgAAMD0AAFC9IAA4E0AJSHxQASqPAhABGoACAAAcvgAAXD4AAKa-AABtvwAA5r4AAKC8AACePgAATD4AANg9AACAOwAAUL0AAIa-AADovQAABL4AAOi9AADgvAAArr4AAC0_AABUPgAAsj4AAOg9AAAHvwAA4DwAAAS-AAAkvgAA4DwAAOi9AAAwvQAAiD0AAKA8AABAvAAA6L0AAMi9AAAwvQAAEL0AAMK-AACSPgAARL4AAGS-AAA8PgAAcD0AAEC8AABcPgAARD4AAPg9AACCPgAAf78AAGy-AAAsvgAAiD0AACQ-AAAQPQAAgj4AADC9AAAMPgAAuD0AAAy-AAAwPQAAhj4AAKi9AADOPgAAFD4AAO6-AABcviAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=qbR5aMmG_eI","parent-reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["131138406778832189"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"3237310826220638675":{"videoId":"3237310826220638675","docid":"34-8-11-Z1965D9E536A01F99","description":"Discover How Runtime Verification's Latest App Streamlines Code Reviews for Researchers! In this video, Runtime Verification joined us on the Cantina Stage to demonstrate how their latest app...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/367157/ef0d8891d0a5e7245e74b9223967007a/564x318_1"},"target":"_self","position":"2","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DLJCVG3W62yM","linkTemplate":"/video/preview/3237310826220638675?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Runtime Verification x Cantina | Demo + Q&A","related_orig_text":"Runtime Verification","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Runtime Verification\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=LJCVG3W62yM\",\"src\":\"serp\",\"rvb\":\"EqcDChQxNTA5NTgzMTM4OTI1NDk5MzYyMgoSMTMxMTM4NDA2Nzc4ODMyMTg5ChMzMjM3MzEwODI2MjIwNjM4Njc1ChQxNjA5MjE5NDQ3NjA4NTM5MTYyNQoTMjkzODk0MTcxMTc0NzMxODI3MwoUMTAxODM3MjAxNzQxMDI3Nzc5MjMKEzUzMTk4MDYzODI1NzY3NTM5ODIKEzc4MjUwMDExNTUyMDg0NTEzODIKEzk4NTM4ODk2ODYxNTA3MDQ3NTgKEzU3Mzg5Nzk2MTE0NTc2MzQ0ODUKEzQ1NjQ1Mzc4MjAzOTIxMTgwMjQKEzg2NDk0MDM0ODc3NDM5NDU2MDkKEzQ5Nzk2NTIxMzc5OTQ4ODAzOTgKEzg5OTc0NjczMTA0MjYzMTQ0MDIKFDE0NjcxMDUzMDQ1NzQ4NTk1MDQ5ChQxNjU5MDg2Njg3MDIyMDcxODYxMAoSMzMxMTcxOTQ5NjQwOTg2OTE5ChQxMTY3ODUwMDk3MDM5Njc3NDQ2MAoSNTY5ODM4MDAzNTIxNDYwNTYyChMyMTM3MDg5ODQ4MjMwOTE0Mjc3GhUKEzMyMzczMTA4MjYyMjA2Mzg2NzVaEzMyMzczMTA4MjYyMjA2Mzg2NzVqrw0SATAYACJFGjEACipoaHB0eHZjeHZub3llcGNjaGhVQ0lGWVJSQ05BOE9wd2ZwWUYyY0xiWXcSAgASKhDCDw8aDz8TnRuCBCQBgAQrKosBEAEaeIH-GP__AAAABAAFBwEJ_AIe9vn59AMCANsBDf0F-gMA7PwD-gP_AADt9-38AwAAAPrnAAH9_gEACQf7-QUAAAAN8P3_-QAAAAQP-wQKAAEB__UECAT_AAAF_gMEAAAAAAkBC_T__wAA8gT7_AAAAAD89AD7_PX-ACAALeFw0Ts4E0AJSE5QAipzEAAaYP4KAP0M_AHvDzDx5yG28_v92u3m3BIA7PMA6hrn9AUCAcvyGP8y_wr1wQAAAB72GC_qAOpOAvbdJPAmAtrf3BMWfwED-zUKFN_e0BP0JOYW-gn4IAAG8_8cJu7-Vw4RFiAALWTfWzs4E0AJSG9QAiqvBhAMGqAGAACoQQAAEEEAAABCAADIQQAA2EEAANjBAAAAQgAAAAAAACDBAACAQQAAMEIAACzCAADgwQAAdMIAAJRCAACQwQAAwMAAAIzCAACAwQAADMIAAJhBAACAwQAA6EEAACxCAABwQQAAUMEAAIrCAADIwQAAUEIAAJZCAADAwAAAUEIAABDCAAAgwgAAcMIAACDBAAB0QgAAdEIAAIrCAAAYQgAAEMEAACzCAABwQgAAbEIAAEBCAAA4wgAASMIAADxCAAD0QgAAIEIAAADBAAAkQgAAIEEAAIC_AABwQgAAuEEAAJbCAAD4QQAAZMIAAOhBAAAQQQAA2MEAAKjBAADCwgAASEIAAATCAABAwQAA0MEAAKDAAACAwQAAXEIAACxCAADAQAAAGEIAAEDBAACowgAAMMEAAODAAAAoQgAAgMEAADjCAADIQQAAAEAAABRCAACwwQAA2MEAACBCAAAAQAAABEIAAJDCAABQwQAAOEIAAMBBAACewgAAMMEAALDBAADQwQAAeEIAAGRCAAAIwgAABMIAAEDAAADAQQAABMIAAGDBAACAvwAAkMEAADBCAABAwQAAqEEAAEBCAAAwwQAA8MEAABDCAABgQQAAAAAAAJjBAABIwgAAwMAAABDBAAA4wgAAGMIAAAjCAADAwAAANEIAAEBCAADwwQAAMMIAAILCAACCwgAAOMIAAKDBAACgwQAAkEEAAKDAAAC4QQAAcEEAAKDAAAAkwgAAwsIAAGzCAACoQQAA4MAAADDBAACAQQAA8MEAAIzCAAA8QgAAgD8AABzCAAAEwgAAFEIAACRCAACwwQAAIMEAAODBAADAQQAAkMIAACTCAADIQQAAKMIAAMBAAABIwgAA6MEAAEDCAAAsQgAAIEIAAKBCAACIQQAAmEEAAFjCAACIQgAACMIAAIC_AABEwgAAVEIAAIA_AABUwgAAtEIAAGhCAADgQQAAMMEAAFBBAADgQAAAnEIAADDCAAAEwgAAKEIAAEzCAACgQAAAwMEAAGTCAADQQQAAIEEAAIC_AADAQAAAbMIAAEBAAABwwgAAXMIgADgTQAlIdVABKo8CEAAagAIAAI6-AABwvQAAHD4AAOC8AAAPvwAAij4AAJY-AADivgAAqD0AAPi9AAA0PgAAuj4AAFA9AACgPAAANL4AAIC7AAATPwAAgLsAAKI-AAAnPwAAdT8AAJi9AABQvQAAVD4AAKq-AADIPQAAQDwAAEy-AABQvQAAbD4AAJg9AAAEvgAAML0AAIA7AAD4PQAAbL4AAMi9AABQvQAAnr4AADS-AACgvAAAuD0AADw-AAAQvQAAHD4AADQ-AABAvAAAgr4AADA9AACgPAAAiD0AALI-AABAPAAATD4AAIC7AABQPQAAfz8AAFQ-AAC4PQAAnj4AAAQ-AAB8vgAAiL0AAPa-IAA4E0AJSHxQASqPAhABGoACAACgvAAAUL0AAJq-AAB_vwAAgr4AAKg9AACIPQAA4DwAACy-AACKPgAA4DwAAJi9AACovQAAdL4AALi9AADgvAAAgr4AADE_AAAEvgAAdD4AALi9AABMvgAAyD0AAFC9AADIvQAAgj4AANK-AACgvAAAgDsAABy-AACAuwAAuL0AAEw-AACivgAAUD0AAOi9AAAcPgAAbL4AAKi9AAAwvQAAED0AAKC8AABsvgAAML0AAAS-AADIvQAAf78AANi9AADYvQAAMD0AAMg9AACovQAATD4AAIY-AAA0vgAAgLsAANi9AACoPQAAiD0AACS-AAB0PgAAND4AAEA8AABAvCAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=LJCVG3W62yM","parent-reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["3237310826220638675"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"16092194476085391625":{"videoId":"16092194476085391625","docid":"34-5-7-Z8854D17A318E57FF","description":"Visit http://baueran.multics.org/droid or http://kuester.multics.org/droid for more information. The authors of that work are Andreas Bauer, Jan-Christoph Küster and Gil Vegliach. This video...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/898047/dfd57833908ac26feb9a83d8a3e5707e/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/bXrWSAAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"3","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3Dwcb8-n7vxrk","linkTemplate":"/video/preview/16092194476085391625?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Runtime Verification Meets Android Security","related_orig_text":"Runtime Verification","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Runtime Verification\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=wcb8-n7vxrk\",\"src\":\"serp\",\"rvb\":\"EqcDChQxNTA5NTgzMTM4OTI1NDk5MzYyMgoSMTMxMTM4NDA2Nzc4ODMyMTg5ChMzMjM3MzEwODI2MjIwNjM4Njc1ChQxNjA5MjE5NDQ3NjA4NTM5MTYyNQoTMjkzODk0MTcxMTc0NzMxODI3MwoUMTAxODM3MjAxNzQxMDI3Nzc5MjMKEzUzMTk4MDYzODI1NzY3NTM5ODIKEzc4MjUwMDExNTUyMDg0NTEzODIKEzk4NTM4ODk2ODYxNTA3MDQ3NTgKEzU3Mzg5Nzk2MTE0NTc2MzQ0ODUKEzQ1NjQ1Mzc4MjAzOTIxMTgwMjQKEzg2NDk0MDM0ODc3NDM5NDU2MDkKEzQ5Nzk2NTIxMzc5OTQ4ODAzOTgKEzg5OTc0NjczMTA0MjYzMTQ0MDIKFDE0NjcxMDUzMDQ1NzQ4NTk1MDQ5ChQxNjU5MDg2Njg3MDIyMDcxODYxMAoSMzMxMTcxOTQ5NjQwOTg2OTE5ChQxMTY3ODUwMDk3MDM5Njc3NDQ2MAoSNTY5ODM4MDAzNTIxNDYwNTYyChMyMTM3MDg5ODQ4MjMwOTE0Mjc3GhYKFDE2MDkyMTk0NDc2MDg1MzkxNjI1WhQxNjA5MjE5NDQ3NjA4NTM5MTYyNWq2DxIBMBgAIkUaMQAKKmhoZWliZHlkemdsZ3VzemJoaFVDZk9kcUszY0J6cHdnNkJCNHNrbVpZURICABIqEMIPDxoPPxOmAoIEJAGABCsqiwEQARp4gQIPB_7-AgD1_goMAgb8ARD39Pf2AAAA3AEN_gX6AwDt_AP6A_8AAAr1-wQIAAAA9vL9Cff_AQDxDfYHAwAAAA78_Ab7AAAABQH7Ev8BAAD3-QUOBP8AAA0BCgUAAAAACQII_wIAAADv9fL8AAAAAAD6_PkAAAAAIAAtaFfWOzgTQAlITlACKoQCEAAa8AF_5er_7wIJAu8HL__TQB0C1evnABzjAwDXAwoA7ckYAN3X6AAF4Ar-jAsJAdsP_f-6z-n_XRoBAPHhBAAsJzIAThb7AF8lEP_z7fEBsAHmAX31BfpBK9YDIxw8ABIpK_we6vf-6CQPAsfjGgXu3uEBJ-X-Ajsm3QL3BvMCLf0VAQQsAfvwCRcN3fMh-zDIDAXhA9sBEgYK8vv0DAvq9RUAFfrsCmDWHfj46vMRBt_rDtL1_gftzuID91QCAyce8QIp4_3r-hTp9NvGBPfLyQD50CYBCSgIAAQHE_fyGDHs9fnH_vzvBgsZJ__yCQXgHAAgAC1WaP46OBNACUhhUAIqcxAAGmAm-wAyFfbcAPA558AYnhcC8ewF88b0_yP6APNH4gAGB-uaKyr_NxH8-qsAAAAI6wUUugDia9m61QcEQ_fZ5_rm5n_Q8tz04vwClKk19Av6wvTYIAsAAsLaC_HP4kIMAgAgAC1okiI7OBNACUhvUAIqrwYQDBqgBgAAuMEAAHBCAAAQwgAAMEEAAATCAAAAQgAAgEIAADhCAACewgAAgD8AAJBCAABQwQAABMIAAFBBAABwQgAA4EEAAJxCAADAwQAAQMAAAADBAABMQgAA6MEAAIC_AACGQgAACMIAAEBAAABQwgAAwEEAAJBCAACgQQAAyMEAABRCAAAYwgAAmEIAAKhBAABQwgAABEIAALxCAABAQAAAjEIAALBBAAB4wgAAukIAAMBBAABgwgAA0MEAAGxCAABAwAAAhEIAAKDBAABAwQAAgEEAAAAAAABwQgAAiEIAAIBAAACcwgAA4EAAAEDBAAAswgAAIMIAAIBAAABAQAAAsMEAAEBBAAA0wgAA4EEAAKBAAABAwAAAmMEAABBBAABQwQAAcMEAAOBBAAAswgAA6EEAAOjBAAA4QgAAbEIAAOBAAABgwgAApkIAAChCAAD4wQAAAMEAAIBAAABgwgAAIEEAABBBAACOQgAAyMEAALhBAABgQQAAlsIAAGxCAAAAAAAAwMEAAETCAACowQAAAEEAAADAAAAQwgAAoEAAACRCAAA8QgAAXEIAABDBAAAIQgAAwEAAAHBBAAAYQgAAyEEAADjCAAAAQAAAwEAAAHhCAACkwgAA6MEAAGhCAACQQQAAQEIAABBBAACAQAAAEMEAAABCAACAQgAASMIAAAjCAAAowgAA6MEAAAjCAADAQQAAgMAAAJjBAADAwAAA6EEAABhCAADgQAAA8MEAAADCAABUQgAAgL8AAGDBAAAIQgAAYMEAAGTCAACQQQAAqMEAAJBBAACMQgAAIEIAAMhBAABIQgAA2sIAAEBAAAA0wgAAkMEAAIzCAABkwgAAOEIAAKDAAACIQQAAYMEAABhCAABQwgAA4MEAAOhBAACAQAAAlsIAAGBBAAD4wQAAOEIAAIDAAAAoQgAAkMEAAJBBAABAwQAAgsIAAFBCAACqQgAAiEEAAPDBAAAgQgAAoEEAABhCAACAwQAAwMIAAKDAAABAQQAAAEIAAFBBAACIQQAAAMAAAABBAADwwQAAgEAAAFDCAADAwQAAGEIAAKBBIAA4E0AJSHVQASqPAhAAGoACAACgvAAAUL0AAIA7AACAOwAAfL4AAFw-AACoPQAAyr4AAPi9AACoPQAAQLwAAIA7AACoPQAAcL0AAAy-AAC4PQAAsj4AAOC8AADIPQAABz8AAH8_AACoPQAAHD4AAAw-AAA8vgAAyD0AAPi9AACgvAAAuD0AAJg9AAAEPgAAUL0AAMg9AABAvAAARD4AAIC7AAAwPQAAJL4AANi9AACIvQAAsr4AAHC9AACaPgAAyL0AAJi9AAD4PQAA2L0AAJi9AADgPAAAMD0AAIC7AADIPQAAoLwAAL4-AAAQvQAAgLsAAEM_AACAOwAAPD4AALg9AAAUvgAAHD4AACw-AAAMviAAOBNACUh8UAEqjwIQARqAAgAA-L0AAOC8AADCvgAAZb8AAI6-AAAMvgAAoLwAAIo-AADoPQAADL4AAOC8AAAwPQAAuL0AAOi9AAC4PQAAQDwAAAy-AAAJPwAABL4AAKo-AAAEvgAA-L0AAOC8AAAUvgAALL4AAJo-AAA0vgAA2L0AAKC8AAC4PQAA4DwAABC9AAAEPgAAcL0AAKg9AACAuwAAQLwAAHC9AACYvQAAJD4AAPg9AABEvgAADL4AAHQ-AAA8vgAA2L0AAH-_AAC4vQAAqr4AALi9AADgPAAAoLwAABQ-AAAMPgAAuD0AANg9AACovQAA6L0AABQ-AABsvgAA-D0AAEA8AAB8vgAAuL0gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=wcb8-n7vxrk","parent-reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["16092194476085391625"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"1445624075"},"2938941711747318273":{"videoId":"2938941711747318273","docid":"34-9-15-Z0BFB2AE05D99BE1D","description":"April 16, 2021 Presentation for the Champaign Blockchain Meetup featuring Patrick MacKay and Everett Hildenbrandt from Runtime Verification. We can't be su...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4074786/8e333de553a69a37bcc60f8398c13c53/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/88mR1AEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"5","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DYflgq9Z6qTY","linkTemplate":"/video/preview/2938941711747318273?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Runtime Verification with Patrick MacKay and Everett Hildenbrandt","related_orig_text":"Runtime Verification","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Runtime Verification\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=Yflgq9Z6qTY\",\"src\":\"serp\",\"rvb\":\"EqcDChQxNTA5NTgzMTM4OTI1NDk5MzYyMgoSMTMxMTM4NDA2Nzc4ODMyMTg5ChMzMjM3MzEwODI2MjIwNjM4Njc1ChQxNjA5MjE5NDQ3NjA4NTM5MTYyNQoTMjkzODk0MTcxMTc0NzMxODI3MwoUMTAxODM3MjAxNzQxMDI3Nzc5MjMKEzUzMTk4MDYzODI1NzY3NTM5ODIKEzc4MjUwMDExNTUyMDg0NTEzODIKEzk4NTM4ODk2ODYxNTA3MDQ3NTgKEzU3Mzg5Nzk2MTE0NTc2MzQ0ODUKEzQ1NjQ1Mzc4MjAzOTIxMTgwMjQKEzg2NDk0MDM0ODc3NDM5NDU2MDkKEzQ5Nzk2NTIxMzc5OTQ4ODAzOTgKEzg5OTc0NjczMTA0MjYzMTQ0MDIKFDE0NjcxMDUzMDQ1NzQ4NTk1MDQ5ChQxNjU5MDg2Njg3MDIyMDcxODYxMAoSMzMxMTcxOTQ5NjQwOTg2OTE5ChQxMTY3ODUwMDk3MDM5Njc3NDQ2MAoSNTY5ODM4MDAzNTIxNDYwNTYyChMyMTM3MDg5ODQ4MjMwOTE0Mjc3GhUKEzI5Mzg5NDE3MTE3NDczMTgyNzNaEzI5Mzg5NDE3MTE3NDczMTgyNzNqiBcSATAYACJFGjEACipoaG1iaXFiaGhqeGNreWxkaGhVQ25vMUVTVUhKQVFFeDVmV3k2TzhqSkESAgASKhDCDw8aDz8TgBaCBCQBgAQrKosBEAEaeIEKEfsB_wIA9AkPCQUG_AH2BwTv-f38AOL6A_YH-wIA9gH7DAcAAAAC9Pv0_wAAAProAAH9_gEABgT9AQQAAAAI-AAH_QAAAAP7_QH-AQAA8e0K_QIAAAD-_QoB_wAAAPkFEgb-AAAA_wX2AwAAAAAD8vv8AAAAACAALZ571zs4E0AJSE5QAiqEAhAAGvABf_brA6kNJ_tADvkAJQX-_4cFCv87AP4A4gT6AbgB-v_5CfwA5QIYAfb5HP8DDPv_9O8E_yr2-QD_DwYAGA4DABgCAQA82fkBGvwFAfUJAf_uBv7_BwkU_wn_HAAKEvb-H-8C_uLs2wAJ9gcA-PMXAQ8LBAH7CvwD6g0FAfwD7f8JCwcED_UL_tsI__7-CwMC8vcAAgAC_PoH8gEEBQj7_wgJ9gMm7_kDEQYDAwr8Bv_zAQYAEP8A_BQMBwsGGQAG__oA_hAHBQH0-wQIHfUUAPv2Fvfy6gPw-APy__X2CPb7_wP24PcGBvvvAvf47vXvIAAt9thROzgTQAlIYVACKs8HEAAawAfpXxK_-YWXPE743zthpBc-EYQQvIlkBrywrd89VraPvNv3zTwU88c888CRPFrahDybHaG-RqGbvMhnqDxnYpo-TjqbvBrvWDzeMvG8tsM6PP1YmLr1oYO-PHfxOy7FlzsmZ7I9szEGO9HTmzwLv6o9PwqNvNJpwjzkw8c8w_IguoOa67zYqH091zCTvbwZNDoW6o89wlV5vPNtpDvr4LA9f3iMvHwVT7zXUIq9hzIYvI14VzyQ0lE9jFyBvJygcjzqr_c9MbJROshNAz1iEHg9CWJKPfyYRbxKRd-7Dff2vM8qm7nu1g29m4JGPAfd8zuXU8K8qXa8vM3fzjwvej29CUr2PIe_B7z31rY9qvDUOWhXBDuoEUS8N22pO-uVjTzBTAC9f7RJPVN9gry5ido9CesVPa4LhTsgnCo9SKrOOsJs_ruXkfa71wFLvRzHL7pR6ca9OZojPeeFATynO2-9O2tcvO4O47vZeDC8he0ju0udNrxS7aM9xeDGvCZ8hDuimSc9YPtuvGfO3Tu3cwq8l4YrPaphPzs6jA49J7ZsPb1luTopjJI8gGORO_VXvLugfUa65N3LO-3zlLk30kO9VcJyuwK6TLt-n5s975Y_vPwIFTwJXyk9YOcmvETSeru_qNM86qUTPVBL2jtsp3e9taoAvRRw-DsGIWq8WrGpPQCGK7oxBEU9L2cdu3rsbTqLMdU810Mlvajjgrraxyo9IUs1vYC2uLtQtUy8Dh7cvCHIJLvQ8VE878u0Pa4ZgzjkKTA9pVYOvfHYDTtK8Uy8EXpsvBFjwTg2PA0-mPMxvGvVKbk14Sg8NZWavajkRznfbmm9VXMUvEDy1jr76BS9E5QHPN0GW7pf3Hw8NeWUvIYCjLjiTQa7p5kJvXQ3ZTlQEMY8gA5TvRuBNbmv0ri88Go5PIle8LiRQok9ouM0vIaWkrgyZOs81dUZu5k3y7jIL3I8l6iePYSQB7gXVgC9v4YbvYKCH7hPH0G9UysjPGhBJjj7Ufm8i_rmu843TrguTkG9xW-ru3ozVbicDkm9yPUKvYCr8bcFPco8d39hvOrZLzheadk8JHjou4weLzjQYT68PlZVvS14Rrhy_5w9dzuxPKgXwDW__4U8mN3zvSitujZC3Ku9K2U-vWBmOjhy5z09QHWivTkRRbjgAdQ8x_VvPLTqAjiUa8o82mn1vIftwbeV31g99czcvNkt_beKllc9EFj5PY0XQDiAFra949gfPae7wbiDvtm8yY1HPbw6nDV-eiI9aS9su6VXnjYgADgTQAlIbVABKnMQABpgIgAAHwAc4eDoTujNG8n7Kw_sBA7HH__2Dv_QFa4EMTkQnvAf_yHHFe6iAAAAA-blMgEA738bl9YD6xbmo_vuCP9_4TgAswAb1tLE9f_q7TbiFUhAAAv0rihTAARXJfb1IAAtRoEXOzgTQAlIb1ACKq8GEAwaoAYAABhCAADAwAAAKEIAADBBAAAAwAAAQEEAACxCAAAQQgAAGMIAABBBAAAsQgAAVMIAAIbCAADAQAAAkkIAALjBAACAvwAAZMIAANjBAAAMwgAAfEIAAETCAADgQQAAQMEAAMhBAAAQwQAAjsIAANDCAADoQQAAAEAAAMhBAABkQgAAOMIAAKBAAAB4wgAAcMEAACBBAACOQgAA-EEAAOBAAADAQQAA0EEAAKBAAADKQgAAwEEAAGzCAAAAwgAAMMIAANZCAABgQQAAZMIAAIpCAAAAQgAAwEAAAEhCAAD4QQAAxsIAAHRCAAAgQQAAAAAAACBBAAAgQQAAAMIAAFjCAADYQQAAAAAAAIDAAAAcwgAAMEEAADDBAABUQgAAikIAAFDCAAAYQgAAmEEAACTCAADowQAAbMIAAADBAACAQAAA6MEAADzCAAAswgAAeEIAACDCAAAEQgAAmEIAAMDBAAAYQgAAjsIAADTCAABcQgAA8EEAACjCAABwQQAAoMIAAODBAAAQQQAA0EEAANjBAACowQAAXEIAABRCAAA8wgAAgEAAAAzCAAAYwgAASEIAAATCAACgQgAAYEIAAEDBAABQwgAAWMIAAEDBAABYwgAAsMEAAJhBAACIQQAAiEEAACDCAACwwQAALMIAABBCAAB0QgAAIEIAACDBAAAwwQAAEMEAAAjCAACwQQAA4MAAALjBAACMQgAA4EAAAEDAAADQwQAA4EEAAADBAACIwQAA0MEAAFBBAADowQAAAMEAANBBAACQQQAAoEEAAGBBAACAwQAAMMIAAEDAAACwQQAAPEIAAAxCAACYQQAAwEAAAFDBAACswgAACEIAAExCAADIwQAAFEIAALDBAAAswgAAFMIAAExCAAAkQgAAOEIAAFBBAADAQQAADMIAAEhCAAB4wgAAAEAAACBCAACoQQAA4EAAAIC_AACaQgAAkEEAABBBAABwwQAAIMEAABxCAACwQgAAmMEAAHjCAADIQQAAAMAAAMBAAAAAwgAAhMIAAERCAADQQQAAQEAAAIhBAAAQwgAAeMIAAJLCAABQwiAAOBNACUh1UAEqjwIQABqAAgAAdL4AAMi9AAAUPgAAMD0AANi9AACmPgAAmL0AACe_AACCvgAAuL0AAEQ-AAAMvgAAiD0AAMg9AABUvgAAuL0AAPI-AAAwvQAALD4AAOI-AAB_PwAAuD0AALg9AABQPQAAqD0AABA9AAAUPgAAML0AANg9AAD4PQAATD4AAOA8AACmvgAAmD0AAIY-AABUvgAAoDwAAJi9AACKvgAA_r4AAKa-AADYPQAAsj4AAOC8AAAMvgAAyD0AAOg9AAB8vgAAQDwAADC9AAAQPQAAQLwAAKC8AABkPgAA2L0AAMi9AAA5PwAAcD0AAAQ-AAB8PgAAPD4AAKg9AAD4PQAAwr4gADgTQAlIfFABKo8CEAEagAIAAHC9AAA8PgAA4LwAAFu_AADYvQAAoDwAAEC8AACIPQAAHL4AAEw-AACAuwAAJL4AABC9AADovQAAUD0AAJi9AAD4vQAAXz8AABA9AACWPgAAmL0AAMK-AAAUPgAAXL4AAIA7AABwPQAALL4AAIA7AAC4PQAABD4AAHC9AADgvAAAEL0AALi9AAC4PQAAJL4AAMi9AADYvQAAUL0AALi9AAC4PQAAEL0AAAS-AAAwPQAAZL4AAJg9AAB_vwAAZL4AAAy-AAAUPgAAUD0AAFA9AABwPQAAbD4AABS-AACAOwAAcL0AAAQ-AABQPQAAyL0AAII-AADoPQAAMD0AAI6-IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=Yflgq9Z6qTY","parent-reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":3840,"cheight":2160,"cratio":1.77777,"dups":["2938941711747318273"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"746868348"},"10183720174102777923":{"videoId":"10183720174102777923","docid":"34-1-9-ZA84CDD621BDF5DEC","description":"Formal verification of the Linux kernel has been receiving increasing attention in recent years, with the development of many models, from memory subsystems to the synchronization primitives of...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3583487/c0c09f306797225454b747d261ac5b5b/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/5dCdawEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"6","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3Dq_QggKBcClA","linkTemplate":"/video/preview/10183720174102777923?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Efficient Runtime Verification for the Linux Kernel","related_orig_text":"Runtime Verification","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Runtime Verification\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=q_QggKBcClA\",\"src\":\"serp\",\"rvb\":\"EqcDChQxNTA5NTgzMTM4OTI1NDk5MzYyMgoSMTMxMTM4NDA2Nzc4ODMyMTg5ChMzMjM3MzEwODI2MjIwNjM4Njc1ChQxNjA5MjE5NDQ3NjA4NTM5MTYyNQoTMjkzODk0MTcxMTc0NzMxODI3MwoUMTAxODM3MjAxNzQxMDI3Nzc5MjMKEzUzMTk4MDYzODI1NzY3NTM5ODIKEzc4MjUwMDExNTUyMDg0NTEzODIKEzk4NTM4ODk2ODYxNTA3MDQ3NTgKEzU3Mzg5Nzk2MTE0NTc2MzQ0ODUKEzQ1NjQ1Mzc4MjAzOTIxMTgwMjQKEzg2NDk0MDM0ODc3NDM5NDU2MDkKEzQ5Nzk2NTIxMzc5OTQ4ODAzOTgKEzg5OTc0NjczMTA0MjYzMTQ0MDIKFDE0NjcxMDUzMDQ1NzQ4NTk1MDQ5ChQxNjU5MDg2Njg3MDIyMDcxODYxMAoSMzMxMTcxOTQ5NjQwOTg2OTE5ChQxMTY3ODUwMDk3MDM5Njc3NDQ2MAoSNTY5ODM4MDAzNTIxNDYwNTYyChMyMTM3MDg5ODQ4MjMwOTE0Mjc3GhYKFDEwMTgzNzIwMTc0MTAyNzc3OTIzWhQxMDE4MzcyMDE3NDEwMjc3NzkyM2quDRIBMBgAIkQaMAAKKWhoeGVjeGV4d3Bsc2xhZWhoVUN0eGVpXzluemM4bzUtV3FNbWFRdHF3EgIAESoQwg8PGg8_E7UMggQkAYAEKyqLARABGniBBgUBCfwEAPb1-wL6BP8BEvcB9_cBAADf-AL8-voDAPbq_gL7AAAAAfz5__8AAAD66QAB_f4BAPkHAAP8AAAAEgAEBP0AAAAGA_YB_wEAAPX3BwIDAAAACAUEAQAAAAAD_gYIAwAAAPsA9_wAAAAAAP_-_wAAAAAgAC3QNd87OBNACUhOUAIqcxAAGmAzCwD5Lgbi5DQ588D32RIYvd762-wZ_xMS_8wl0zNC9PHD6hL_UBQR8KkAAAD8CRAt1AD7aA703Cbz_ubiBtkXMn_1CPvyOPPPraYx6S3pCAo-DS4A9csaOh8A_CRSAwUgAC34LSc7OBNACUhvUAIqrwYQDBqgBgAAcEEAAPBBAACAPwAAcMEAAGxCAAAYQgAA8EEAAKDAAAAAAAAAUMEAABhCAABwwgAARMIAAMDBAACwQgAAcMEAALrCAAAwwQAAqsIAAPjBAAAwQQAAgL8AAMBBAAAMQgAAAMEAACDBAABswgAAQMIAAJ5CAAAEQgAAAEEAAMDAAACKwgAAoMAAAJrCAADYwQAAIEEAAKBCAACgwQAA4EAAAAhCAACgwAAA4EEAAIhCAAAUQgAAVMIAAJDBAAD4QQAAYEIAAKhBAACYwgAAFEIAAADCAACgwQAAGEIAAEDAAAD4wgAAiEEAAIDCAAAQQQAAYEEAAJDBAAAAwgAAsMIAANBBAABwwgAAoMAAAJDBAAAAQQAAuMEAALJCAAAwQgAAoEAAABhCAAAAAAAAgsIAABDCAAAgwQAAXEIAADxCAAAMwgAAMEIAAKBBAABwwQAAwMAAANhBAABUQgAAgEAAAGRCAAAQQQAAuEEAALZCAABkQgAAqsIAAMjBAABUwgAAgMEAAMBBAACGQgAADMIAAADAAAAwQgAAhEIAADTCAACQwQAA6MEAAEDBAABUQgAAkMEAAPhBAAAwQgAAZEIAAAzCAABAQAAAHEIAAOBBAABIwgAABMIAAKDAAADAwQAAaEIAAMjBAABQwgAAIMEAAADAAABgQQAAAMEAAMjBAACCwgAAMMEAAODAAABYwgAAgMAAAARCAAAAwgAAGEIAAABAAACIwQAAJMIAAMTCAACwwQAAiEIAAPBBAAAgwgAAAEIAAJjBAACWwgAAgMEAAIBAAAAsQgAAIMIAAGDBAADQQQAA4EEAANjBAABQwQAAAMIAAOjBAAAMwgAA-EEAALjBAACwQQAAgMAAAOBBAABwQQAA4EAAABxCAABMQgAAlkIAAAAAAABgwgAAhkIAAETCAADYwQAAMEEAAKhBAAAcQgAAFMIAAJ5CAAAAAAAAUMEAAETCAACQQQAAgMEAAMBAAACgwQAA4EAAAFBBAABwQQAAYMEAABzCAAAYwgAAuMEAAIA_AAAwwQAAyEEAACzCAABMwgAAeMIAAKDAIAA4E0AJSHVQASqPAhAAGoACAAAwPQAAvr4AADC9AACgPAAAnr4AADQ-AAAkvgAAO78AAKg9AABAPAAA6D0AAKg9AAAUPgAAiL0AAAO_AAAsvgAAwj4AAEA8AABkPgAA1j4AAH8_AACIvQAAND4AAN4-AADYPQAAXD4AAIC7AAAkvgAADL4AADC9AAB8PgAAuL0AAKo-AACSPgAARD4AAPg9AACAOwAAir4AANK-AAD4vQAA2L0AAOA8AACOPgAAmr4AAHy-AABsPgAAqD0AAJi9AAA0vgAAEL0AAKg9AAAEvgAAdD4AAAw-AABQvQAAyL0AAEc_AAAMPgAALL4AABc_AACGPgAA2D0AAIA7AADIPSAAOBNACUh8UAEqjwIQARqAAgAA2L0AAGw-AAA0vgAAZb8AANa-AACYvQAAzj4AAHQ-AACCPgAAmD0AAIi9AAB8vgAAED0AALi9AAAcvgAAEL0AAI6-AAApPwAA6D0AAJo-AAAwPQAAFb8AALg9AABwvQAADL4AAJg9AABwvQAA4DwAAKA8AABQPQAAUL0AAIi9AABUvgAAgDsAAAy-AAC2vgAApj4AAJi9AAAsvgAAXD4AAPg9AACYvQAAhj4AACw-AAAsPgAAPD4AAH-_AACIvQAAmr4AAJg9AABwPQAAPD4AAKI-AACAuwAAED0AAOg9AAAcvgAAgLsAAFQ-AADYvQAAxj4AAIA7AAAJvwAAPL4gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=q_QggKBcClA","parent-reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":640,"cheight":360,"cratio":1.77777,"dups":["10183720174102777923"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"3373264634"},"5319806382576753982":{"videoId":"5319806382576753982","docid":"34-3-16-ZAA90428997A89A5C","description":"Assumption-Based Runtime Verification of Infinite-State Systems Alessandro Cimatti, Chun Tian and Stefano Tonetta Abstract: Runtime Verification (RV) basically means monitoring an execution trace...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/2831900/31111a222d6371e28c0efdc07aa06042/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/w_4tOAIAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"7","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DQTIoJU4E4ak","linkTemplate":"/video/preview/5319806382576753982?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Assumption-Based Runtime Verification of Infinite-State Systems","related_orig_text":"Runtime Verification","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Runtime Verification\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=QTIoJU4E4ak\",\"src\":\"serp\",\"rvb\":\"EqcDChQxNTA5NTgzMTM4OTI1NDk5MzYyMgoSMTMxMTM4NDA2Nzc4ODMyMTg5ChMzMjM3MzEwODI2MjIwNjM4Njc1ChQxNjA5MjE5NDQ3NjA4NTM5MTYyNQoTMjkzODk0MTcxMTc0NzMxODI3MwoUMTAxODM3MjAxNzQxMDI3Nzc5MjMKEzUzMTk4MDYzODI1NzY3NTM5ODIKEzc4MjUwMDExNTUyMDg0NTEzODIKEzk4NTM4ODk2ODYxNTA3MDQ3NTgKEzU3Mzg5Nzk2MTE0NTc2MzQ0ODUKEzQ1NjQ1Mzc4MjAzOTIxMTgwMjQKEzg2NDk0MDM0ODc3NDM5NDU2MDkKEzQ5Nzk2NTIxMzc5OTQ4ODAzOTgKEzg5OTc0NjczMTA0MjYzMTQ0MDIKFDE0NjcxMDUzMDQ1NzQ4NTk1MDQ5ChQxNjU5MDg2Njg3MDIyMDcxODYxMAoSMzMxMTcxOTQ5NjQwOTg2OTE5ChQxMTY3ODUwMDk3MDM5Njc3NDQ2MAoSNTY5ODM4MDAzNTIxNDYwNTYyChMyMTM3MDg5ODQ4MjMwOTE0Mjc3GhUKEzUzMTk4MDYzODI1NzY3NTM5ODJaEzUzMTk4MDYzODI1NzY3NTM5ODJqhxcSATAYACJEGjAACiloaGJuZXJjd3V5bHJtc29oaFVDd0VNckFIR0ZBMGptM25CWEhVTnlfZxICABEqEMIPDxoPPxOkCYIEJAGABCsqiwEQARp4gfwJAP37BQD29fsC-gT_ARP9_QD2AQEA4Pv9AgP7AgDzAAAG_gAAAPz7Bv0CAAAA9_b9_v3_AAADDQUG-QAAABX5AAz5AAAA9gv_-v8BAAD8AAL9A_8AAAAGDgQAAAAA9gT_AP__AADwDPT8AAAAAAX_-_YAAAAAIAAtowvhOzgTQAlITlACKoQCEAAa8AFnDwMC3_z7__IF4QDxE-4AgQUL_w0Q3gDXAQsAvw7Y__4S9wDm_wz_BRId_7sNCQAdz-z_FvkSAB7w9AAV_RAA6hEuABvjCAAPBwsA3uX-_9kYFf4bCQr__d_7ABMJ-__9DQj-4vjrABUQ2QEL_y4B_xQRBCz78ALpDgYB9h4RA_si7v8J8RAGHfn5BeoLDQYO__EHFhr0_fEO5v7lDv4A9OX9_w0DBAEoB_b86wgI--32Dv8YDgf8AQIJDAgM8P_0A-34Fe0B_QEGA_ci3Q0B8AoRAhYA9_v_Af_5Huv79-P_EQTiD_78Awr-BhXr-_0gAC1uJ0g7OBNACUhhUAIqzwcQABrABwcH2755A4w8ymcxOqoLnb3Lgb87wP6QvA3-_r1SDqY8iF2APNL_0j1pKnU9VJQFvDhpir7RDD087a59PJ1Ggj5_Fku8vhLIvNlDS75DknY7KX-CvfWhg748d_E7LsWXOztFXT2Zuiu8Xd-HPNEfKj7qsCK9UMLMvOTDxzzD8iC6g5rrvFY_wLwX-EW9O3mJu-bLiz18lgy9bjzOPGDnJj4N0w298R7xvDJP-Lywdm-8uZWUPBCrZLxD-ae8Nc3guuqv9z0xslE6yE0DPWAqrDzFTkI8KSq0O6TYNr2gds87A4oCvaxjCz0NBjI8WuybvMjw8zw0AGq9vJ_LO_mgB770Gps9L4GAOzvIaz4A2fU86CdmO3q2Xb1pQDg9j5rEu2JOK730fcC7wzQCPB88ZD0-40c90AHRO9SF8zy60lc8M4lBuiTRDbyZaCs9WJBmPGycCD1mcVU9C9SivJc9JD1BK_I7T8KWuwPfvr0s3wk95_ITO1Ltoz3F4Ma8JnyEO2SV0j2tCwk9Rl1rPHAK6zxF77m99kfluS7yHbxvLpm9zct-u6UYuz2dbJ68QjuMvGByqD1HPg48oH8Ku6qlj71geWu8s-xJvDUpZT2hgbi9alAPO0M0n7wKAwA9CRUgu2QntDsnUyI7voFuvEI9IjwtcWk9WemkO9yohL2HNCq9X1aTu6MNxj2Wr8s6YG69O9F91DxHMYo75hSyO3rkqj0jX668b0iCuaaW0jyTx_S73pZAOxFgRzzj6ZA9WwAwOdU3dT0rFo-97rDLOR1dQD05TkC7zDbIubzaQLxinGQ9sgz1uaxTpTweWGm8f3ahOSUyHb2VEIy90iOpOLx39TvLLAK9vpgBufUUGT3YDik7gGTSuBQcg73HJK29GlEVOMSxTr2V_5o8aUFhuI-ggj3oijK6Qr4iOJTR0Lq9LYK90OgAOHFPPL1_1Ta8NKC_OOMWmLzXrn8911M4ODvWVjwpYHa9yVBQuBQEDz0QXQA-jcNxuK0OJTxRwBY9DclVt1pPKD0z1HI8AWBMt8PT6zxnJvi9IiQkuKMgiD22o3M9MN6ouFRT0r3odM-8L_jFN1l6I71VaLC9DOgxuM4lCzy7ZWK8gbyZtq2asbuismG93Qi0N62n9j2z6pi8ezs6udGSx7x754I7egc5N1msvDxjuDq8zoQdOFCLYb2rijo8FJhrt-wDvTt81A--F_rcuCL_7D01KQU-835buJe7A7zS08E9UWrJuAahfL1gHIE8YXy1Nxrba7yxgxA8OoEkOCAAOBNACUhtUAEqcxAAGmAP8QA-_By0CRVB5PDqywXP7PToBL3r_-Pe_-Mw6AbiJgejJgYAZecv66MAAADz1Bsb1AAMf92uExfuPeOjyM8mClYmIwHT9xXZxRw5JPnWCxDyEiwA2vanTzzNs1Pg3BogAC2OmRY7OBNACUhvUAIqrwYQDBqgBgAAPEIAAJJCAABMQgAACEIAADhCAAAoQgAAsEIAAEBBAABcwgAA-MEAAEDAAAAcwgAAKMIAAABAAAB4QgAAHMIAAARCAACywgAAjEIAAJ7CAACAwQAAgMAAACTCAADwQQAAQMEAAJjCAAB8wgAAWMIAAIBCAACAPwAAoMEAAKBAAAAAwwAA-EEAAILCAACwwQAAQEEAAEhCAADQQQAAREIAALDBAAAowgAAmEEAAFDBAAAgQQAAeMIAAIjBAACAvwAA6EEAAIC_AADQwgAAIMEAAODAAACgQQAAUEEAAIRCAADkwgAAsMEAALBBAAAEQgAAgL8AADTCAAAgwQAAAMEAAGhCAABQwQAAiMEAAKjBAABcwgAAKMIAAIxCAACsQgAADMIAAAhCAACMwgAAWMIAABDBAADYwQAAEEEAAKDBAAAowgAAPEIAABTCAABQQgAAUMEAAGBBAACgwQAAuEEAAFBCAABIwgAAsEEAACxCAAAAAAAAwMAAAADBAABMwgAAgEEAADDBAACgQQAAAMIAAAzCAACIQgAAUEIAAGDBAABEwgAA2MEAAMDBAACIQQAAVMIAAMBAAABAQQAAKMIAAADAAADQwQAA4MEAAOhBAABUwgAAqMEAAAzCAAAIQgAA8MEAAEjCAACgwQAAdMIAAJBBAADQQQAA4EAAAKhBAACIQQAAIMIAABDBAABIwgAAsMEAACxCAACwwQAAIEIAACBCAADYQQAAkEEAAKzCAADAQQAAqEEAABxCAAAAwgAAOEIAAKDBAAB4wgAAuEEAAIC_AAAwQQAAAMEAAHBBAAAwQgAAYMEAAJhBAAD4wQAAGMIAAMDBAADQwQAAPMIAAJjBAAD4QQAAkMEAAMDAAAAAwgAAUMEAAADCAAD4QQAAYMEAACDBAABEwgAAwEEAAAAAAAAYQgAA-MEAAIjBAACmQgAACMIAAGBBAADIQQAAEMIAAJjCAADgwAAAGMIAAFBCAACQQQAAeMIAAIBAAABAQQAAmEEAAODAAADgwQAAEEEAAEDAAAAoQgAAlkIAAFTCAADYQQAATMIAAAzCIAA4E0AJSHVQASqPAhAAGoACAACovQAAvr4AANg9AABAPAAAHL4AADw-AABwvQAAFb8AAEy-AABQvQAAQDwAAOC8AABwPQAAUD0AAAS-AABcvgAAwj4AAOA8AADYPQAAET8AAH8_AABkPgAAFD4AABC9AACIPQAA-L0AADA9AACoPQAAQDwAAFQ-AABMPgAAiL0AAFy-AABMPgAAmD0AAEA8AAAQPQAAyD0AAMK-AABMvgAAnr4AAMi9AABsPgAAQLwAAOC8AAAwvQAAMD0AAGS-AACoPQAAQLwAAEA8AABwPQAAND4AAKI-AAB8vgAAuL0AAFs_AAAcPgAA6L0AAAw-AACoPQAAQLwAAOg9AADiviAAOBNACUh8UAEqjwIQARqAAgAAFL4AAEA8AAAQPQAAab8AABS-AAAQPQAAUL0AAHA9AAA0vgAAkj4AAKC8AACKvgAA2D0AACS-AAAMvgAAqL0AAHC9AAA5PwAA6D0AAFw-AAA0PgAAML0AAEw-AACovQAAgDsAAMg9AABsvgAAuD0AAKi9AAAUPgAAmD0AABC9AADIPQAAQDwAAPg9AAC-vgAAVD4AAFS-AAB8vgAABD4AABA9AAAwPQAAuL0AABA9AAA8vgAAUL0AAH-_AABMPgAAVL4AAAw-AADgPAAAgDsAAEQ-AAC-PgAAcL0AABA9AABQvQAADD4AADA9AACGvgAABD4AAOg9AAAwPQAAyL0gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=QTIoJU4E4ak","parent-reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":854,"cheight":480,"cratio":1.77916,"dups":["5319806382576753982"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"499384708"},"7825001155208451382":{"videoId":"7825001155208451382","docid":"34-9-4-ZC6B6ED8FF25E3EDD","description":"This is a video of the Bad-Iter tutorial, showing Interactive Runtime Verification using Verde.See https://gitlab.inria.fr/monitoring/verde for more details.","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3726613/e668b504abaeb3239c36654aff169a88/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/5_a9oQAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"8","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D99uFA6NVU8k","linkTemplate":"/video/preview/7825001155208451382?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Interactive Runtime Verification - a short tutorial using Verde","related_orig_text":"Runtime Verification","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Runtime Verification\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=99uFA6NVU8k\",\"src\":\"serp\",\"rvb\":\"EqcDChQxNTA5NTgzMTM4OTI1NDk5MzYyMgoSMTMxMTM4NDA2Nzc4ODMyMTg5ChMzMjM3MzEwODI2MjIwNjM4Njc1ChQxNjA5MjE5NDQ3NjA4NTM5MTYyNQoTMjkzODk0MTcxMTc0NzMxODI3MwoUMTAxODM3MjAxNzQxMDI3Nzc5MjMKEzUzMTk4MDYzODI1NzY3NTM5ODIKEzc4MjUwMDExNTUyMDg0NTEzODIKEzk4NTM4ODk2ODYxNTA3MDQ3NTgKEzU3Mzg5Nzk2MTE0NTc2MzQ0ODUKEzQ1NjQ1Mzc4MjAzOTIxMTgwMjQKEzg2NDk0MDM0ODc3NDM5NDU2MDkKEzQ5Nzk2NTIxMzc5OTQ4ODAzOTgKEzg5OTc0NjczMTA0MjYzMTQ0MDIKFDE0NjcxMDUzMDQ1NzQ4NTk1MDQ5ChQxNjU5MDg2Njg3MDIyMDcxODYxMAoSMzMxMTcxOTQ5NjQwOTg2OTE5ChQxMTY3ODUwMDk3MDM5Njc3NDQ2MAoSNTY5ODM4MDAzNTIxNDYwNTYyChMyMTM3MDg5ODQ4MjMwOTE0Mjc3GhUKEzc4MjUwMDExNTUyMDg0NTEzODJaEzc4MjUwMDExNTUyMDg0NTEzODJqiBcSATAYACJFGjEACipoaGZpb2dmanFvcHVuZm9kaGhVQ3V5TUdhQ0hpZXJJX3NVWDBsS19iMGcSAgASKhDCDw8aDz8TmQGCBCQBgAQrKosBEAEaeIECCvoG_AUA_QIFAvoF_gEUAv3z9gICAO78BvsGAAAABQMHBAIBAAD3-_v5AQAAAPLvAfn6AAAAAA70CQMAAAAI-AAH_QAAAAQO_AMKAAEB__UECAT_AAAIBA78_wAAAP4LCAT6_wAA8vz4AAAAAAAA-vz5AAAAACAALcFa4Ds4E0AJSE5QAiqEAhAAGvABaQzs__MCBwHvBtoAyhXi_4HtHP8xEswA8QkPAdkG4wEE8_EA3OEw_rUf-_-2_uoB_PnR_jUY9f8g9AT_G_Ul_xEHBgES3wQBFv_7AukT9f8aFxn_HusrAhvp6AD3-_T6_ukU_9rm0gG4-u0CCRsvAivxDwE4CBUA7xcuAQAvCQMF9f8F4RkCB_Tb_wUKAx4CHBXmAwYL5gDpHesCBhr7BAHTDP4kAugCFfkHCPP4DPfmCwwIDxbyCewPDfslIBb70wkDA_raBQLY4wfyLPf2BewNFAL51PUN8PXz_wS_Av_mDBD47CMJ8fr9BvkeIPj0IAAtQVolOzgTQAlIYVACKs8HEAAawAd40OS-qTyROwwN37xLW6y9isRpPd_FOz3MpZe9car1PD08lTxNE5Y9oxWJPUFvAD2Xx6q-E8fsO74Rnbyg4ig-UdvGvEQONjxYx9G9DLyJPGwDfL23siS-KRXDPETQYrwwQZK9T2iIvIVPKT3DueY9IJOhPeXnq7wEF7O7zH1yPBaZSjtPCHw7ctJFvd-KRLzqIzA-w94avekeQLvmA0I-9j1PvUcBAbtaV1a9ngwuPQpKDzx2-Tu9_-MpPEtNTDzJIm09RYTaOyUzKDyJAy29B0BhvZ6W_ruvsCA9qDeDPZ8jzTyNf587oY59Pf8JLrx4Z4o704gZvQX52bzMUEu9WMu9PR0GzjzdYDg-KaZcPeMbPjrCspi9len8PGgwvDxrufM8MA1IPeM1DjzThuM9zHZqPdZ0vTyr3DW9-N6-OlRtnzlO8M09q8iNPFD3gLpwc087Z3aCPUiSu7xd_yk9DLXBPD90nLwHRAi-HYgWPX_ThbzPmmQ99lFcvXvrrjsY64s9BVklvd5UZjto0mE9ykIFPQbEmjxr71M8ctvjPDh_ODwvdQY9fnttvQIw-brkabk9XXSNvEcBIDwMWgi-ruHYPMNkSzuCq1w9L02RvAHDcjxqM0q7ffYyPd3ftTna6Hc8doOtvenLnLsl2h-9YQXPO3DNvjv-Qck8WwyOvR3fZju4j3w9PByTvLhLMLvmKlG92ImmvB2KijuBW_c9CEuWvfhf7jgEyia9vXdtu03mijp-vae9XzWZOSbIYjmUQLQ94M1kveKHajm3qUs9LVoFPbniYjlMsy88b_bivPZoxzgC7yk9zRm2vJ0lFTjzCp89Ru-UvHLf0rhodh-87OS3vbj_nTlzicA6ZCzJPDMfNDi9dy89131RPWxIjLi8-Tc9WlAzvTu1nTi9mNw8KvFKPQKvIjjilWI7GC22vfyDWblKYd67bLd4vVNjwzmVmmw5ZqQ5vPUe2zg3F589B_BWvXkxMzmtQD48_AWWu2jymTh1RzW8HdNJPfssMrfGul088IUpvWJGrzd2U2q9V8_JvVw6arjZfJo7URGMvOcI6DfuiY-9a5-pvXJkLzdZeiO9VWiwvQzoMbiNbN08gLA9vdtqbDiaj4C9Zwr9vWksqTitp_Y9s-qYvHs7Ork_qEs9s11hvaQQdDVlP0E8oyT_PIfOjzfvmPA8ix8du5YXZjb6Qd09v0UnvWfpFrepa409iwuRPRMnIjjwsjW9XMzPPQxGCrnhLYu9m3_LOuYACjhv-Dg8Z2aBvRF44bYgADgTQAlIbVABKnMQABpgPfsAFwUPt_3qTfv96K0u6uPzBRTBG_8R3f_zK7kXJjTapPs5_0r5FwOcAAAAE_QyNNMA8n_au_Xo1Dnzoff5LBhS-_0fvBD79NmMVx7s7dkK-AggAAfFpO0Y3uRKOA8CIAAtkCcWOzgTQAlIb1ACKq8GEAwaoAYAACDBAACyQgAAiEIAAJDBAADAQQAALEIAAP5CAABwQQAABMIAAEDBAABgQQAAqMEAAAAAAACIQQAAsMEAACTCAAAwQQAAQMIAAAAAAAAwQQAAUEEAAFDCAAAUwgAATEIAAARCAAAgQQAAAEEAAAjCAAAoQgAAkEEAALBBAACMQgAA4MEAAHBBAACwwQAAiMEAADBCAACcQgAAMMEAALhCAABAQgAAoMAAAJRCAAAgQQAARMIAAATCAACAQAAAwMAAAHxCAAAAQAAAdMIAAODAAADIQQAAXEIAAEhCAACoQQAAysIAADBBAAAswgAA-EEAADBBAADwQQAAKMIAAEDBAACyQgAA4MAAAGDCAADSwgAAQEAAABjCAACcQgAAoEAAALjBAAD4wQAABMIAAEDAAACgwgAAiMEAAAxCAACAPwAAysIAALRCAAAAwgAAuEIAADhCAABAQQAAIEEAAPBBAACYQQAAgEAAAEBCAADQQgAA2EEAAJDBAAAYwgAAtMIAAIC_AAC-wgAAJEIAAFjCAACowQAAEMEAAEBCAAAQQgAA4MAAADDBAAAYwgAAAEAAAIA_AAA4QgAAhEIAANDBAAAwwQAAMEEAAEBAAAAAAAAA0MEAAAxCAACAQAAAsMEAAFBBAACAwAAAPEIAACDCAABswgAAIMEAAHBBAAAoQgAADMIAABBBAACgQQAADMIAAABAAADAQAAAUMEAAMDAAACwwQAA8MEAAIBAAABAQAAAEMIAAExCAACAwQAAKMIAAKBAAABQQQAAGEIAALjBAACAQQAAYEEAADBBAADYQQAA4EAAAEDAAACQQQAAAMIAAABBAACAPwAAoMAAAAhCAAAwQQAA0EEAACDCAAB4wgAAwMEAAGTCAAAAwQAApEIAAKjBAACgwQAAAMAAAFxCAACAQgAA4MAAAMDAAADQQQAAOEIAAOBAAABgwQAAHEIAANTCAAC4wQAAOEIAAMjBAAAAQgAA-MEAABDBAABgQQAAQEIAAADAAAAIQgAAEMEAALhBAABEwgAAmMEAABhCAACowQAAmMEAAIDBAAAAQSAAOBNACUh1UAEqjwIQABqAAgAA5r4AAI6-AADoPQAAiD0AAPi9AAB8PgAAiL0AAPa-AABcvgAAuL0AAHw-AACYPQAAcD0AABC9AACOvgAAMD0AABs_AADgvAAAdD4AABs_AAB_PwAAND4AAIg9AABEPgAAJL4AAMg9AAC4vQAAyL0AADA9AAD4vQAAVD4AAIi9AABsPgAAED0AAK4-AAAwvQAAMD0AAKq-AAAcvgAAFL4AABS-AACYPQAAGT8AADy-AABQPQAABD4AAIq-AACIvQAAmD0AAMg9AABAPAAAqL0AAMi9AAC-PgAAQLwAAJi9AABnPwAAMD0AAJg9AAB0PgAAQDwAABw-AACAOwAABD4gADgTQAlIfFABKo8CEAEagAIAALi9AACIPQAAdL4AAGG_AAA0vgAAmL0AAMg9AAAEPgAAqL0AAAQ-AAD4PQAAiD0AAFS-AAA8vgAABL4AAKi9AACmvgAAJT8AADC9AACWPgAAHL4AAJK-AAAwPQAANL4AAKi9AADovQAAtr4AABC9AADgPAAA4LwAAOA8AADgvAAA4DwAAJg9AACKPgAAqr4AAJg9AABQvQAA-L0AAII-AACOPgAAXL4AAKq-AACIPQAATL4AAOi9AAB_vwAAiD0AAKA8AABAvAAALD4AAKA8AAAUPgAABD4AAOA8AAAQPQAA-L0AAIi9AAAQPQAATL4AADA9AAAMPgAAPL4AALi9IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=99uFA6NVU8k","parent-reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":960,"cheight":720,"cratio":1.33333,"dups":["7825001155208451382"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"1308920409"},"9853889686150704758":{"videoId":"9853889686150704758","docid":"34-7-8-Z1FCBF3D86ABEA013","description":"Specification and Runtime Verification of Temporal Assessments in Simulink Akshay Rajhans, Anastasia Mavrommati, Pieter Mosterman and Roberto Valenti Abstract: Formalization of specifications is a...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3307138/18ee9b195ea85d4f02f12223f2e1b84d/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/k2BvSAIAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"9","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DISYTT_3096g","linkTemplate":"/video/preview/9853889686150704758?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Specification and Runtime Verification of Temporal Assessments in Simulink","related_orig_text":"Runtime Verification","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Runtime Verification\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=ISYTT_3096g\",\"src\":\"serp\",\"rvb\":\"EqcDChQxNTA5NTgzMTM4OTI1NDk5MzYyMgoSMTMxMTM4NDA2Nzc4ODMyMTg5ChMzMjM3MzEwODI2MjIwNjM4Njc1ChQxNjA5MjE5NDQ3NjA4NTM5MTYyNQoTMjkzODk0MTcxMTc0NzMxODI3MwoUMTAxODM3MjAxNzQxMDI3Nzc5MjMKEzUzMTk4MDYzODI1NzY3NTM5ODIKEzc4MjUwMDExNTUyMDg0NTEzODIKEzk4NTM4ODk2ODYxNTA3MDQ3NTgKEzU3Mzg5Nzk2MTE0NTc2MzQ0ODUKEzQ1NjQ1Mzc4MjAzOTIxMTgwMjQKEzg2NDk0MDM0ODc3NDM5NDU2MDkKEzQ5Nzk2NTIxMzc5OTQ4ODAzOTgKEzg5OTc0NjczMTA0MjYzMTQ0MDIKFDE0NjcxMDUzMDQ1NzQ4NTk1MDQ5ChQxNjU5MDg2Njg3MDIyMDcxODYxMAoSMzMxMTcxOTQ5NjQwOTg2OTE5ChQxMTY3ODUwMDk3MDM5Njc3NDQ2MAoSNTY5ODM4MDAzNTIxNDYwNTYyChMyMTM3MDg5ODQ4MjMwOTE0Mjc3GhUKEzk4NTM4ODk2ODYxNTA3MDQ3NThaEzk4NTM4ODk2ODYxNTA3MDQ3NThqhxcSATAYACJEGjAACiloaGJuZXJjd3V5bHJtc29oaFVDd0VNckFIR0ZBMGptM25CWEhVTnlfZxICABEqEMIPDxoPPxOSB4IEJAGABCsqiwEQARp4gQIK-gb8BQAA-f8D-wb-AhQE-Ab1AQEA5AQD9v78AgD7-Qr6AQAAAAD7AQ0FAAAA_v0K_vT-AQAEBPgHAwAAAAL9Bgr_AAAAAgUC_wf_AAD9_AkEA_8AAAgEDvz_AAAA-wEJAPv_AADwDPT8AAAAAA73BvwAAQAAIAAtwVrgOzgTQAlITlACKoQCEAAa8AFhEfQA_Ab8AeID1wDfDNAAgQUL_w0Q3gDn_RAAv93qAPMGBAD3_BAAHBkgALv--gAS9_7_LBT3_wn6AAAv_AAA6hEuAAbr9AE6EAwB2Q4W_wMTEf8ZAhMA8_ACARYT1QAX9A790_Dx_wDg5QML_y4BEw7zADXf-gHpDgYBAhQLAhMP8vznFQIG_eDy_eoLDQb59Or9E_zn__QI8AP4FRn_9OX9_x3zAv45Dv_-6wgI-xj3BfwY-gcC3AT9_gwO_QjX7P__Euv3AeAC9fgZ7_4MCNMPBPf--v_99vn6F_X199cEC_b1Cf39-QL_BSH7Af4gAC1uJ0g7OBNACUhhUAIqzwcQABrABz5d3b7KnCM63naRvUkLvL1q5Eo7As53PDvHIL4vCoy8qwtTvIldKz7TXcM9fYYFPL2OkL5851y92KYpO4ofUz7LEOg7pPbHvL9E_L2YdfW8gln8vE94kb5nFUw9qeaLujgvzjzObcK8MW-fPP8-Qz53fwa4DOtBveiZgzwkVPo8mykjvfihGjwfheu9vJF5vObLiz18lgy9bjzOPOw0Uj7Zu_m7vn-YOy9v6bwhqeg7YWaEvMo9c72k9cG8i0u6PAU08T0VJA28NkNfOnZNbby9B8O8jZG2u98JDL3PKVA5to4evIGJiT2EEkG8laxUvLybIj3AA6i9wz-yOz4Zbb1vM1A9sGOSPPW8Kz7NLHg8-nq-PGQ7xL0VdYE8pAt7vNZX170liW-94G9qPADyhD2JKwI9-CsuPGM9ij0gIIQ8-UiKPE7wzT2ryI08UPeAumLcaD3hspo9ytw-O_zgHD2540g9arvsuyjV3r1oCvi87QO5u67q0TxKxaC9MR2EPI4HCz6dGj69T1LoO6Qahj1hfEe9rqeMu0LYX7yA33U8nfIHvESxSz15XRy8_9YIuxgvTDzCHg28X8iwO7pMrb1V2mI8-NIlPBtnMz3bifK92apqu8svgzypRYk9KrsJuzp5bDx883Y8LtYmvL-vNrzcJ-w8QGnJO4GxHbsWSgu9sdKwu8AmqzwtDwy8WvesO40jezxV7zq8sJFBO-PFAj7ZnQk9sOXFuexAp7whSqi7z7cJOxNIKT1GP_o9QIy2tzSXtT26qdy85lh4uNWTeTxrFp48SSdYOfr6MD1sd888mfAzOAgaWDwZtAs9quEuuTST-bx-LC49LN3juFvDFj2XG0w9YV-NuNugmzwCo-i7XUAsOuu8l7wOkzq951aluOfruL3YLSK9F7gfOd2cRT2tnjg9NnWpOPo_LD0V65-9jNs-N40OpzsFQ6m70DgxueJbE71ENqs8-rgzN5i0Ujs_cMW99y5gORe-eT1_VK49OTHVOIM1Tjz9FAW8axZuuKXUyjxieeO65ILiuNPPCDxmMdG9PkuXNqDcez0Bmbc9WAA2uCq-y72osj6950aVN03aVL2G95a9N4MBt6VSRzxggT69v-bSN2FQpjtzMky9opeLt18OFj3e7lu92bXvt3T2ST3ryiI9Y8cXODhaRDwj7lY8PF6ON1e3tLum2Ey9zTG4Nx3jDDxnRt-9aVASuBQ9NT2uI1g99NCcOHF8Y736JQI-qYEsuZgPjb3dH4Q9jMPRN9jgc73M_HS9zBaNuCAAOBNACUhtUAEqcxAAGmA4AgD_-xjVCRxL5dAO3BDs2MrWEL0M_-nU_wg-7C7_HfezAyr_PM1J6aMAAAAQuPkH0QD9fwq_ARjdZfG4yeQj-2r8LC249QHatKsW9Q4VCwHy_DgA_v6kGSy8r1HgJRcgAC1emRU7OBNACUhvUAIqrwYQDBqgBgAAwMEAACRCAABAQgAAEEEAABxCAAAYQgAAaEIAAMhBAACwwgAAXMIAAHBBAAB0wgAAcMIAAOBAAABQQgAAYMIAAEDBAADwwgAAUEEAAEzCAACAvwAAYMIAADBBAAAAQQAAIEIAAEDAAABMwgAA6MEAAOxCAADAwQAASMIAAEBBAAAAwwAAsEEAAKDBAACCwgAAsEEAABhCAABAQAAAhEIAADDBAAAAQQAAwMAAAEBAAAAIwgAAoMEAAIDBAAAAwQAAAEIAABDBAADSwgAA2MEAAHBBAABAwAAAsEIAAKBBAAAwwgAAgMAAALjBAABEQgAAgL8AAJDBAAAgwgAA2sIAAJhBAABcwgAAgMAAAADAAAAcwgAAOMIAAHBCAAAEQgAA6MEAAADBAAAwwQAAEMIAAMjBAACAQQAAGEIAAGDBAAAMwgAAKEIAAIA_AABoQgAAiMEAAIDBAADAQQAA2EEAAHhCAAAgwQAAYEEAAIRCAACAPwAAhsIAAMDBAAAYwgAAHMIAAJDBAACwQQAAMMIAAFzCAAAAQgAAAEIAAIA_AADQwQAAgMAAAIBAAACgQQAAEMEAAIBCAACQwQAAuEEAAADAAAB0QgAAXEIAABxCAADQwQAAUMEAAODBAACgQAAADEIAADjCAABAQQAAMMIAAKDAAACgQQAAEEEAACBCAAAUwgAAwMAAABTCAAAgwQAAkEEAAEDBAAAgwQAAREIAAEhCAABAwQAA0EEAADTCAAAEQgAAQEEAADBCAAD4wQAAMEIAAJjBAACKwgAAIEEAAIjBAAAgQQAAkEEAACDBAABQQQAAoMAAAPDBAACKwgAAuMEAAGBBAADAwQAA4EEAAIC_AACmQgAAnsIAANDBAAAgwgAAaMIAAKhBAACUQgAAoEAAADBBAADIwQAATEIAAKjBAADoQQAA6EEAAPBBAABQQgAAMMEAAEDAAACMQgAApMIAAIzCAAAwwQAAgL8AAGBBAADAQQAAfMIAAExCAACUQgAAQEEAAEDAAABgwQAAcMEAAFBBAAAgQQAATEIAAHzCAACgQAAA-EEAALDBIAA4E0AJSHVQASqPAhAAGoACAAAEvgAAqL0AAOg9AADgPAAAPL4AAEw-AAA0vgAAHb8AAAy-AACAOwAAmL0AAOC8AAC4PQAAmL0AAIK-AAAwvQAAVD4AAKi9AABsPgAA2j4AAH8_AABUPgAAij4AAFC9AACYvQAAQDwAAEC8AAAwvQAAoLwAAPg9AAD4PQAAED0AAHS-AAAwPQAAiL0AAFC9AACIvQAAoLwAABy-AACWvgAArr4AAEw-AAC2PgAAUL0AAKq-AACAuwAAQLwAAHy-AAC4vQAADL4AAKA8AACIPQAAMD0AACw-AACIvQAAJL4AACE_AABAvAAAyL0AABQ-AABwPQAAiL0AAOg9AABMviAAOBNACUh8UAEqjwIQARqAAgAAHL4AAJY-AAAwPQAASb8AADC9AADYvQAALD4AAHC9AACovQAAwj4AAOg9AAAkvgAA4DwAAIa-AACgPAAAuL0AAIi9AAATPwAAqD0AAIo-AADgvAAAcL0AAJg9AAD4vQAAMD0AAIA7AABUvgAAyD0AADS-AAAwvQAAUL0AAMg9AACAuwAAQDwAABC9AACWvgAAVD4AANg9AAAkvgAAgDsAAIA7AAC4vQAATL4AAOA8AACAOwAAgDsAAH-_AADgPAAABL4AAFw-AAAsPgAAQDwAAGQ-AAAUPgAAir4AAKA8AACIvQAAmL0AAIg9AAAUvgAAcD0AADA9AAAQvQAAMD0gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=ISYTT_3096g","parent-reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1728,"cheight":1080,"cratio":1.6,"dups":["9853889686150704758"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"1631687182"},"5738979611457634485":{"videoId":"5738979611457634485","docid":"34-1-3-Z8DC6C6E8F16748AC","description":"Here we provide a brief demo of a prototype of runtime verification technology for Android intended for Android developers. Runtime verification is a lightweight formal method as well as a form...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/1623535/cb2f00fd2e327a69522c9620b349a476/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/ByGDVQAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"10","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D0JVPjnBEgfc","linkTemplate":"/video/preview/5738979611457634485?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"RV-Android: Lightweight Android Runtime Verification","related_orig_text":"Runtime Verification","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Runtime Verification\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=0JVPjnBEgfc\",\"src\":\"serp\",\"rvb\":\"EqcDChQxNTA5NTgzMTM4OTI1NDk5MzYyMgoSMTMxMTM4NDA2Nzc4ODMyMTg5ChMzMjM3MzEwODI2MjIwNjM4Njc1ChQxNjA5MjE5NDQ3NjA4NTM5MTYyNQoTMjkzODk0MTcxMTc0NzMxODI3MwoUMTAxODM3MjAxNzQxMDI3Nzc5MjMKEzUzMTk4MDYzODI1NzY3NTM5ODIKEzc4MjUwMDExNTUyMDg0NTEzODIKEzk4NTM4ODk2ODYxNTA3MDQ3NTgKEzU3Mzg5Nzk2MTE0NTc2MzQ0ODUKEzQ1NjQ1Mzc4MjAzOTIxMTgwMjQKEzg2NDk0MDM0ODc3NDM5NDU2MDkKEzQ5Nzk2NTIxMzc5OTQ4ODAzOTgKEzg5OTc0NjczMTA0MjYzMTQ0MDIKFDE0NjcxMDUzMDQ1NzQ4NTk1MDQ5ChQxNjU5MDg2Njg3MDIyMDcxODYxMAoSMzMxMTcxOTQ5NjQwOTg2OTE5ChQxMTY3ODUwMDk3MDM5Njc3NDQ2MAoSNTY5ODM4MDAzNTIxNDYwNTYyChMyMTM3MDg5ODQ4MjMwOTE0Mjc3GhUKEzU3Mzg5Nzk2MTE0NTc2MzQ0ODVaEzU3Mzg5Nzk2MTE0NTc2MzQ0ODVqtg8SATAYACJFGjEACipoaHB2dW5ucGJleHBhbnBjaGhVQ3hsbm5OTzRJNXZpUjE2RVA5VFk5emcSAgASKhDCDw8aDz8T8AaCBCQBgAQrKosBEAEaeIEMFQYABPwA7_8E_v8CAAEV_fwA9QEBANfuBwAH-AMA9PYD__cAAAAL9foECQAAAP339wL6_gEA-QX4BwQAAAAJ9g8K_gAAAPj3BAj_AQAA9vkGDwT_AAAK9gsDAAAAAAYG-_X-_wAB4-_6_gAAAAAA-fz4AAAAACAALQEgyDs4E0AJSE5QAiqEAhAAGvABcezwAv8dBwHyBeEA3gDgAIEFC_8VFQUA-u8OALnqBP_x9AIAz-wM_-oWDv_VFuIADOfbACsbBwAM-fT_BQAQACQPCgAKCgQBF9_nAPUO7P8tJhcALOwEARPvCQD89-b-GeAK_9Pw8f_F-_ACCfcZ_wHwHv0f8e0E-RIXBAIa_wQD9Pr84hz4_ub29gAF_AIA-vfbAwwK3v3tGO4CDB4GAfj7CgUeAewCEfoGB_rkA_bqAv8DCwf_B_wYDvomM_QABu35_wj69_7r8Pn0_Qj__goMDQbX-PoLBwYCCgrXCAP_DAj47iMHAOYB_gYOBwP2IAAtbidIOzgTQAlIYVACKnMQABpgMfsALffwrvQiMc3m75whChi9AeTSCv8w4__3MvEoGB_hjRIS_0kC-PqeAAAATvoCAskA6n8Btvj-4Ffmpu74Chtl1RPi1dM184-VHwbu5ODt4SgPAOHWuQYN399CJ_oOIAAtMmATOzgTQAlIb1ACKq8GEAwaoAYAAPjBAACoQgAAgMAAAEBBAADAQAAA-EEAAPZCAACIQQAARMIAALBBAACgQQAAlsIAAMDBAABwwQAAQEEAANjBAADAwQAAOMIAAIzCAABgwQAAQMEAAPDBAAAIwgAAREIAALDBAABIwgAA2MEAAEDCAAC2QgAA4EAAANDBAADgwAAAAMMAAIRCAABAwQAAFMIAAGRCAACwQQAALEIAAJJCAACAQgAAqMEAAGhCAABwwQAAAMAAAFzCAAB8QgAAwMAAACBCAAAAwQAAqsIAAEDCAADAQAAAqMEAAFBCAADwQQAA3MIAAIA_AAA8wgAAQEAAAGxCAAC4wQAAgMAAAIDAAABgQQAADMIAAFBBAABAQAAACMIAAEzCAACoQQAAAEEAAIDBAABgQQAAMEEAAEBAAAC4wQAAIEEAAARCAAAwwQAAtMIAAHBCAACYQQAA6MEAAHBBAADoQQAAqMEAABDBAAC6QgAATEIAADBBAAB4QgAAQMEAAHDBAAAYwgAAQMEAALDBAABAwgAAwMAAADDCAADIQQAAVEIAADRCAABgQgAAUEEAAIBAAABQwgAAMEEAAMjBAAAgQQAAMEEAAKBAAABQQQAAcEEAAEDBAABAQgAAMEEAAADBAAAgQQAAuEEAAEBAAACowgAAmEEAAIDCAAAAAAAA0EEAAAAAAAAAAAAADMIAAAAAAADowQAATMIAAHhCAAAwwQAABMIAAJjBAAAgQQAACEIAAMDAAACQwQAA6EEAAIA_AADoQQAAgMEAAHRCAADgwQAAiMEAAGBBAACAvwAAFMIAABzCAADowQAAoEAAACzCAADAQAAARMIAAOjBAACgQAAAuMEAALjBAAAQQQAAsEEAAEDBAABAwQAAEEIAAOjBAABAwAAAIEEAAIA_AADgwAAAIMEAAJhCAADgwAAAgD8AAEDBAABsQgAAhEIAAFzCAADAwAAAqkIAAJrCAABgwgAACMIAALjBAAAAQgAA-EEAAJjCAACKQgAAYEIAAJxCAADAQQAAgMEAAEBAAAAAwAAAmMIAAARCAACowgAAQEEAABDBAAAwwSAAOBNACUh1UAEqjwIQABqAAgAA2D0AACS-AABQvQAAqD0AAFy-AABQvQAAkr4AAK6-AAB8vgAABD4AADS-AAAMvgAAqD0AAIi9AAB8vgAAmD0AABU_AAAQvQAAtj4AACE_AAB_PwAAED0AANg9AACgvAAAoDwAABS-AADgPAAA4LwAANi9AAAMPgAA2D0AACQ-AABEPgAABL4AALI-AAAwvQAA4LwAAEy-AACovQAAHL4AAJa-AAAsPgAAbD4AAJq-AACIvQAAoLwAAEy-AAAEvgAADL4AAKC8AAAcvgAAuD0AAIK-AADuPgAA6D0AADC9AAAtPwAAED0AADQ-AABUPgAANL4AAAw-AAAwPQAAXL4gADgTQAlIfFABKo8CEAEagAIAAAy-AAAkPgAAfL4AAFW_AABMvgAAoLwAAHC9AACWPgAAgDsAAKC8AABAvAAAgLsAAEA8AACCvgAAqD0AAKC8AACivgAAOz8AANi9AAB0PgAA2L0AACy-AAAUPgAAir4AADS-AAAUPgAAir4AAOC8AABAvAAABL4AAIA7AADYvQAAHD4AADy-AAAkPgAA2L0AAIi9AADgPAAA6L0AABQ-AADIPQAAjr4AAJi9AACgPAAATL4AAKC8AAB_vwAADL4AAFS-AAAQvQAAuD0AAHC9AABkPgAAyD0AAHw-AACAuwAAyL0AAAS-AADoPQAAZL4AAKg9AACYPQAAmL0AANi9IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=0JVPjnBEgfc","parent-reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["5738979611457634485"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"4015423712"},"4564537820392118024":{"videoId":"4564537820392118024","docid":"34-3-2-Z5F7F2945296AAF93","description":"Aragog: Scalable Runtime Verification of Distributed Middleboxes Nofel Yaseen, University of Pennsylvania; Behnaz Arzani and Ryan Beckett, Microsoft Research; Selim Ciraci, Microsoft; Vincent Liu...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4577709/6570db00deeb0d3fb8f72e4bc6085b46/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/31eGSQEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"12","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3Dl_4kjP-WmQo","linkTemplate":"/video/preview/4564537820392118024?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"OSDI '20 - Aragog: Scalable Runtime Verification of Distributed Middleboxes","related_orig_text":"Runtime Verification","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Runtime Verification\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=l_4kjP-WmQo\",\"src\":\"serp\",\"rvb\":\"EqcDChQxNTA5NTgzMTM4OTI1NDk5MzYyMgoSMTMxMTM4NDA2Nzc4ODMyMTg5ChMzMjM3MzEwODI2MjIwNjM4Njc1ChQxNjA5MjE5NDQ3NjA4NTM5MTYyNQoTMjkzODk0MTcxMTc0NzMxODI3MwoUMTAxODM3MjAxNzQxMDI3Nzc5MjMKEzUzMTk4MDYzODI1NzY3NTM5ODIKEzc4MjUwMDExNTUyMDg0NTEzODIKEzk4NTM4ODk2ODYxNTA3MDQ3NTgKEzU3Mzg5Nzk2MTE0NTc2MzQ0ODUKEzQ1NjQ1Mzc4MjAzOTIxMTgwMjQKEzg2NDk0MDM0ODc3NDM5NDU2MDkKEzQ5Nzk2NTIxMzc5OTQ4ODAzOTgKEzg5OTc0NjczMTA0MjYzMTQ0MDIKFDE0NjcxMDUzMDQ1NzQ4NTk1MDQ5ChQxNjU5MDg2Njg3MDIyMDcxODYxMAoSMzMxMTcxOTQ5NjQwOTg2OTE5ChQxMTY3ODUwMDk3MDM5Njc3NDQ2MAoSNTY5ODM4MDAzNTIxNDYwNTYyChMyMTM3MDg5ODQ4MjMwOTE0Mjc3GhUKEzQ1NjQ1Mzc4MjAzOTIxMTgwMjRaEzQ1NjQ1Mzc4MjAzOTIxMTgwMjRqtg8SATAYACJFGjEACipoaHBpZGxicmF3bnF5emZjaGhVQzQtR3JwUUJ4NldDR3dtd296UDc0NFESAgASKhDCDw8aDz8T6QiCBCQBgAQrKosBEAEaeIH7BwYCCvQA_fX1DvYK_AMl-gfz8wQEAM0E8gYI9gUA-fgM-AIAAAACA_j1CgAAAOwA9v7tAAEAABHxDAMAAAAeAv0A9gAAAAgO-fz-AQAACAr_AAT_AAAJ_RgFAAAAAP__C_cDAAAACRTs-wEAAAAG-_j-AAAAACAALSiMszs4E0AJSE5QAiqEAhAAGvABZff_AP3cBgLiDuUA4CXMAYEV8P8tENEA5vMeAbH26wDpDxAA4NsPAAgFLgDSAfL_9vjx_jAW9v8ABQv_KwsJ_wALCwBB5wsBJAj4AAny_f8BBg3_KfghARXtCQAbFPf-GucZAN7o1gHpCu0E-xQXARUc_QUxAf8B8hsV-_QUGgEKDAgEBBP-BPX8-Qb3GAgGFv_p_Qj97gT-D-8A8R7-AOvf5_wj6d3-Lhz9AvT4C_j2_RYCGg_zBesKAgAJBfkB6fIE8h_k_AT7IgP7I-4GBfvoEgLp-A__Awv1AhgC-_b1BA_73xoM_AMK_gcc9_UAIAAtUfQ1OzgTQAlIYVACKnMQABpgLgsAGuwP4_b7M_3sEeUV6QfJE-nKE_8D3wDyKdYjChrWkPv7_yrqFPmwAAAABugDQ_EA72QJ7-gI2CcCuM_aGwp_-SMWzPcs1ef2QC4BA68KGxz8ANPiwg5CB91E7vANIAAtESExOzgTQAlIb1ACKq8GEAwaoAYAAAhCAAAAwAAAwEEAAIjCAACAQQAAvkIAAPhBAACAvwAAlsIAAAjCAACIQQAAgMAAAPjBAABgwQAAqEEAAKBBAABwQgAAoMAAAAhCAAAQQQAAiEEAAHDBAACAvwAABEIAALBBAACQQQAAIMIAAEDCAACwQQAA4MAAADxCAAC8QgAAAMEAAJrCAAC4wgAAAEAAACBBAADAQgAAUEIAABRCAAAAwQAAjkIAAIxCAAAwQgAA4MEAAMDBAADYQQAAUEEAALRCAAAAQQAAJMIAAKhBAADowQAAuEEAAABAAAAgQQAA4MEAADxCAACYwQAACEIAAGRCAAAgwQAAlsIAACBBAAB0QgAA0MEAAFDBAACowQAAkEEAAATCAABEQgAACEIAANhBAAAAwAAAHMIAAJbCAAAAwgAARMIAACxCAACAvwAAgsIAAIBCAAAcwgAAhEIAABDBAAAMQgAAsMEAABxCAABsQgAA2EEAAKhBAADUQgAAyMEAAIDAAADgQQAA9MIAAJ7CAAAsQgAAUEIAAIBAAAAAwgAAAEAAAMhBAADYwQAACMIAAEBBAABgwQAAKEIAAKDBAAB8QgAAikIAAOhBAAAwwQAASEIAACBBAACQQQAAlkIAACTCAABAwAAAqMEAAKDAAAAEQgAAAAAAAODBAACoQQAAqMEAAIDBAACoQQAAQMAAAKjBAAAgwQAAUEIAAFjCAABQwgAAgsIAADRCAAAkwgAAhMIAACBCAACowQAAcMEAAPBBAACAvwAAsEEAAMBBAACQQQAAQEAAAOBAAAAwQgAA2EEAAK7CAACYQQAAwMEAAADAAACIQgAAMMEAAIjBAACgQQAAwEAAAGzCAABEwgAAIEIAAIC_AADgwQAAQMEAANjBAACAPwAAqEEAAGDBAAAEwgAAQEIAABBCAACAvwAAoEAAAABCAAAAwAAAEEEAACjCAACAQgAATEIAAGDCAAAwQQAAiMIAAHhCAAD4QQAAAMEAAGDBAAAkwgAA4EAAADhCAACkwgAAEMEAAPBBAAC4wQAAXMIAAABBAADYwQAAwEEAAMDAAAA0QiAAOBNACUh1UAEqjwIQABqAAgAAML0AAEA8AACIPQAAuD0AAOi9AACYPQAAyL0AADW_AABcvgAAgDsAAOA8AACYPQAA-D0AAPg9AAC2vgAA4LwAAFQ-AABwPQAAVD4AABc_AAB_PwAARL4AAGw-AADovQAAqD0AAEQ-AAAUPgAA4LwAAAQ-AAAEPgAAND4AABQ-AAAEvgAAML0AAOC8AADoPQAALL4AABS-AABMvgAA0r4AAIa-AAAwvQAAXD4AABy-AABUvgAAcD0AAI4-AABkvgAA2L0AAIi9AACYPQAAiD0AAIg9AAAkPgAATL4AAHC9AAAfPwAAmD0AAJg9AABAPAAA6D0AAFC9AADoPQAAlr4gADgTQAlIfFABKo8CEAEagAIAAGy-AACWPgAAqL0AAD-_AADgvAAAmL0AAKi9AAAwvQAAVL4AAJ4-AADgvAAAXL4AACS-AACSvgAAcD0AAIi9AAA0vgAAPT8AAIg9AABcPgAABD4AAPi9AACYPQAAiL0AAFC9AACgPAAAbL4AAKg9AAC4vQAAML0AAIA7AABAPAAAuD0AAOC8AAAQvQAANL4AAOg9AADIPQAANL4AAJi9AACgvAAAcL0AAIi9AADIvQAAUD0AAOg9AAB_vwAADL4AAHC9AABAPAAA6D0AAAy-AACCPgAAqD0AABy-AACAuwAA4LwAAPg9AACoPQAAgLsAADA9AADIPQAAEL0AAIC7IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=l_4kjP-WmQo","parent-reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["4564537820392118024"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"8649403487743945609":{"videoId":"8649403487743945609","docid":"34-8-1-Z1A2FE7C3686EA80C","description":"RV and the deadline scheduler: how to verify your subsystem at runtime - Gabriele Monaco (Red Hat Inc.) & Juri Lelli (Red Hat) Runtime Verification (RV) was introduced in v6.0 of the Linux Kernel...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4361985/e052a9939a79101ca9c522e87ee90d85/564x318_1"},"target":"_self","position":"13","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DYwQd0MznrTs","linkTemplate":"/video/preview/8649403487743945609?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"RV and the deadline scheduler: how to verify your subsystem at runti... Gabriele Monaco & Juri Lelli","related_orig_text":"Runtime Verification","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Runtime Verification\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=YwQd0MznrTs\",\"src\":\"serp\",\"rvb\":\"EqcDChQxNTA5NTgzMTM4OTI1NDk5MzYyMgoSMTMxMTM4NDA2Nzc4ODMyMTg5ChMzMjM3MzEwODI2MjIwNjM4Njc1ChQxNjA5MjE5NDQ3NjA4NTM5MTYyNQoTMjkzODk0MTcxMTc0NzMxODI3MwoUMTAxODM3MjAxNzQxMDI3Nzc5MjMKEzUzMTk4MDYzODI1NzY3NTM5ODIKEzc4MjUwMDExNTUyMDg0NTEzODIKEzk4NTM4ODk2ODYxNTA3MDQ3NTgKEzU3Mzg5Nzk2MTE0NTc2MzQ0ODUKEzQ1NjQ1Mzc4MjAzOTIxMTgwMjQKEzg2NDk0MDM0ODc3NDM5NDU2MDkKEzQ5Nzk2NTIxMzc5OTQ4ODAzOTgKEzg5OTc0NjczMTA0MjYzMTQ0MDIKFDE0NjcxMDUzMDQ1NzQ4NTk1MDQ5ChQxNjU5MDg2Njg3MDIyMDcxODYxMAoSMzMxMTcxOTQ5NjQwOTg2OTE5ChQxMTY3ODUwMDk3MDM5Njc3NDQ2MAoSNTY5ODM4MDAzNTIxNDYwNTYyChMyMTM3MDg5ODQ4MjMwOTE0Mjc3GhUKEzg2NDk0MDM0ODc3NDM5NDU2MDlaEzg2NDk0MDM0ODc3NDM5NDU2MDlqrw0SATAYACJFGjEACipoaGdkcXRnanZydnV5bnViaGhVQ0l4c21SV2ozLTc5NUZNbHJzaWtkM0ESAgASKhDCDw8aDz8T0hOCBCQBgAQrKosBEAEaeIEG_QsNAv4A_-0DCfsJ_ALx_wkB-_7-APr-AfkEA_8A6fgFBfz_AADxD_cH_AAAAPsDBAX1_gEAFxD2CAMAAAAJAgAA8wEAAA3_Bfr_AQAAB_js-QL_AAAABg8FAAAAAPvy8_n_AP8BAQj4-QEAAAAA6vX2AQAAACAALQHN0Ds4E0AJSE5QAipzEAAaYCMJACYZCuewDCfMyfgK6uv7_OXi4BT_P-v_zwz2_Db6zIEQAP8W6vT0oQAAADe3AgJLAMd4FPy8CAQfG9nu5yYTejgS4uQoFd0v3fLFJCMP5joBYgDJHAX4dMX7CB7_EyAALfzzGzs4E0AJSG9QAiqvBhAMGqAGAACgQAAAyEEAAODAAAAgwQAA4EEAAOBBAAB8QgAAXMIAABBBAAAgQQAAQEIAAJzCAACGwgAAJMIAAGRCAAD4wQAAEMEAADzCAADYwQAA6MEAADDBAADYwQAA2EEAANBBAACYQQAAZMIAAKjCAACKwgAAOEIAAExCAABgwQAAQEAAAI7CAABQQQAAfMIAAMDAAAAEQgAAvEIAABDCAABwQQAAJEIAAIDBAACgQQAAgD8AAFxCAACMwgAAnMIAAOBAAADyQgAA0EEAAEDCAACAQQAAgEEAAIBAAACgwAAAuEEAAADDAAAwQQAAmsIAAIBBAACIQQAAJMIAAADBAACowgAAgMEAACDBAAA4wgAAiMEAAMDAAAA4wgAATEIAALBBAABUwgAABEIAAIBBAABgwgAAQMAAAFjCAABEQgAAkEEAAEDAAADAwAAAcMEAAKBCAACgwQAAcEEAAABAAAC4QQAAmEIAABTCAACQQQAAgEIAAPhBAABkwgAAYMEAACTCAAD4wQAAAMAAAEhCAAAowgAAiMIAAGBCAACGQgAAvMIAAIDBAAD4wQAAuMEAACxCAAAgwQAAmEEAAFxCAADQQQAAQMIAADTCAACAvwAAYMEAAJDBAAAEwgAAQMEAAGBBAABgwQAAUMEAAITCAAAAAAAAUEEAAJBBAABAQAAAMMEAAEzCAABAwQAAiEEAAEzCAABAwgAAVEIAAHDBAACAwQAAEEEAAABBAACEwgAArMIAAEjCAAAMQgAAZEIAABjCAAAwQQAAiMEAANDBAACgwAAAwMAAAOjBAABwwQAAgEIAAFRCAAA8QgAAQMAAAADAAADgQAAAYMIAACzCAAA4QgAAgMAAACDBAACgwQAAgMAAAKDAAAAcQgAAIEIAADBBAADoQQAAEEIAAFjCAAAgQgAAIMIAAAAAAABAwAAABEIAAOhBAAAAwAAASEIAAAAAAADYQQAAbMIAACxCAADgQAAAjEIAAKDBAACwwQAAWEIAAJhBAACIQQAAYMEAALjBAABgwQAA4MEAAIBBAADIQQAAAMIAAFDCAABgwgAA4MEgADgTQAlIdVABKo8CEAAagAIAAEC8AADIvQAAbD4AAEA8AABAvAAAQDwAAKg9AAATvwAAdL4AAHC9AAAwvQAAoLwAADw-AACAOwAAiL0AACS-AAAwPQAAUD0AAIC7AACiPgAAfz8AAOg9AADIPQAAQDwAAHC9AABUPgAAFD4AABA9AAAQPQAADD4AADw-AABwPQAAJL4AAEw-AADIPQAAuD0AAHC9AAAwvQAARL4AAIq-AACovQAAFD4AAAw-AAA8vgAABL4AAMi9AAA0PgAAJL4AADC9AAD4vQAADD4AADQ-AABMPgAAiD0AAIi9AADIvQAABT8AAEC8AADgvAAAHD4AAMg9AABQvQAAND4AAHy-IAA4E0AJSHxQASqPAhABGoACAAAQvQAA6D0AAFA9AAA_vwAAFL4AABC9AAAMvgAAiD0AADy-AACqPgAAuL0AAEy-AABAvAAAVL4AADA9AACIvQAAgDsAACc_AAA0PgAAoj4AAIi9AADgPAAAgLsAAES-AACAuwAAPD4AAKi9AABAvAAAoLwAAKg9AABQvQAAMD0AACw-AAAsvgAAML0AAHC9AAAkPgAAPD4AABy-AACIvQAAoLwAAOg9AADovQAAML0AAAy-AACgvAAAf78AAKC8AADYvQAAFD4AAIg9AABMvgAA2D0AADw-AADgPAAAQLwAAEA8AACYvQAAFL4AAOC8AADoPQAAoDwAAHA9AACgPCAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=YwQd0MznrTs","parent-reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["8649403487743945609"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"4979652137994880398":{"videoId":"4979652137994880398","docid":"34-5-12-Z2E7FEB62BB29EAB7","description":"Free resources to support multicore DO-178C and AC 20-193 certification: https://www.rapitasystems.com/multicore Addressing AMC 20-193 objectives for DO-178C airworthiness certification can be...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4297248/07fece7dfba2a8881daeed17cc57e840/564x318_1"},"target":"_self","position":"14","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D8VpGbLs6ISY","linkTemplate":"/video/preview/4979652137994880398?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"How to integrate and verify time-critical applications on DO-178C multicore platforms","related_orig_text":"Runtime Verification","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Runtime Verification\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=8VpGbLs6ISY\",\"src\":\"serp\",\"rvb\":\"EqcDChQxNTA5NTgzMTM4OTI1NDk5MzYyMgoSMTMxMTM4NDA2Nzc4ODMyMTg5ChMzMjM3MzEwODI2MjIwNjM4Njc1ChQxNjA5MjE5NDQ3NjA4NTM5MTYyNQoTMjkzODk0MTcxMTc0NzMxODI3MwoUMTAxODM3MjAxNzQxMDI3Nzc5MjMKEzUzMTk4MDYzODI1NzY3NTM5ODIKEzc4MjUwMDExNTUyMDg0NTEzODIKEzk4NTM4ODk2ODYxNTA3MDQ3NTgKEzU3Mzg5Nzk2MTE0NTc2MzQ0ODUKEzQ1NjQ1Mzc4MjAzOTIxMTgwMjQKEzg2NDk0MDM0ODc3NDM5NDU2MDkKEzQ5Nzk2NTIxMzc5OTQ4ODAzOTgKEzg5OTc0NjczMTA0MjYzMTQ0MDIKFDE0NjcxMDUzMDQ1NzQ4NTk1MDQ5ChQxNjU5MDg2Njg3MDIyMDcxODYxMAoSMzMxMTcxOTQ5NjQwOTg2OTE5ChQxMTY3ODUwMDk3MDM5Njc3NDQ2MAoSNTY5ODM4MDAzNTIxNDYwNTYyChMyMTM3MDg5ODQ4MjMwOTE0Mjc3GhUKEzQ5Nzk2NTIxMzc5OTQ4ODAzOThaEzQ5Nzk2NTIxMzc5OTQ4ODAzOThqrw0SATAYACJFGjEACipoaGh3Ymp5aWl3aXNzZ3piaGhVQ21UTGhNN2wxUkphQTJNVG1MUTFMREESAgASKhDCDw8aDz8TtSCCBCQBgAQrKosBEAEaeIEO_P8HBfoA8PIE-fwBAQENAPv69gAAAOEFA_T--wIACfcEAQkBAAD5C_oDAgAAAPX4__7y_gEAEhUFBQUAAAAX7vb2_QAAAAcN-f3-AQAA__D7AQP_AAAUBAH9_wAAAO4JAwb-AAAAAQIKAAAAAAAG_A4BAAAAACAALWvqxjs4E0AJSE5QAipzEAAaYAoKABpNFODuEk3Z1OKwKCPP-MIPzBz_6RH__C4LzQEc0ZfwGv8sxyvHngAAAPzbAx-gAOR3_dex9hAjCaKr-xBHf-sp8PgYGNjSoRLwEzrfBAoaFQC-ECcPDO33UTcS_SAALcHaEzs4E0AJSG9QAiqvBhAMGqAGAAAAwQAAGMIAALZCAABAQAAAcEEAAEBBAABgwQAAgL8AAJjBAAAIwgAA2EEAAGDBAADewgAAmsIAAGxCAACYwQAAKMIAABBBAAAEwgAAjsIAAKxCAAAwwQAAUMIAACDBAAAAAAAAAEAAAIbCAAAwQQAArEIAAFRCAAAwwQAApkIAAJDCAABQQQAAQEEAAFxCAAAMQgAAnkIAADTCAAAIwgAAuEEAAHhCAAAcQgAAqEEAAIjBAACAPwAAMMIAADDBAADQQgAABMIAADjCAACSQgAAXEIAAChCAAAYwgAAQEEAADDCAACQQQAAQMEAAFxCAAAsQgAAiMEAAEDAAAAgwgAADMIAAAhCAAC4QQAAEEEAAGBBAABgQQAAnEIAADBBAAA8wgAAmkIAAMDAAAAYwgAAQMAAACBCAAAIwgAAJMIAADTCAABAwQAACEIAAKhBAAAAwgAAiEEAADjCAAAMwgAAnkIAABRCAABAQAAA4EEAAEBAAACawgAAiEEAAAjCAACYwQAAiMEAABBCAACYwQAAAAAAAEBBAADgQQAAKMIAAJjCAADIwQAAKEIAAODBAAAwwgAAgMAAAJhBAACYwQAAAMAAACzCAAB0QgAAwMAAAARCAAAIwgAAIMEAAFDCAAAwwgAAEMEAACzCAACAPwAAdEIAAI5CAAAgwQAAkEEAAEjCAACAwQAAuMEAAGzCAABAQAAAYEIAADRCAADAQAAAgD8AABzCAACAQAAAqMEAAGjCAACAQgAAuMEAADjCAABQwQAAAMEAAIjBAABwQgAACMIAAIC_AACAwAAAoMAAAMDBAABAwgAA6EEAACBBAAAAQgAALMIAAABAAAAAwAAAgMAAALjBAACAwgAAoEEAABTCAACswgAA8EEAALhBAACgQQAAIEEAADTCAACYQQAAMMEAANBBAADgQAAAAMIAAK7CAAAswgAAoEAAAKhBAAAgQQAASMIAAKjBAABIwgAA0EEAACzCAABQwQAApkIAAPhBAABEQgAAfMIAAEBAAADIQQAAgEAAAHDBAACgQQAAjMIAALBBAADWwgAAgEAgADgTQAlIdVABKo8CEAAagAIAAGy-AADIvQAATD4AAJi9AABEvgAA2D0AAAQ-AADivgAA6L0AAJi9AACoPQAAMD0AAOC8AACSPgAAVL4AACS-AADWPgAA-L0AACQ-AAD-PgAAfz8AAKC8AACYPQAAuD0AAGy-AADIPQAAdD4AAFC9AAAMvgAAoDwAAJg9AABQPQAAiL0AAIi9AAAMPgAAgr4AABQ-AABwvQAAFL4AANi9AAC6vgAAML0AAI4-AAAwPQAA-L0AABC9AACWPgAAlr4AAKi9AACAOwAA4LwAAFA9AAAMPgAA6D0AAOC8AABQvQAALT8AAOA8AAAcPgAAqD0AAJi9AAC4PQAAUD0AADC9IAA4E0AJSHxQASqPAhABGoACAABwvQAA2D0AAPi9AAAZvwAAUL0AAJg9AABQvQAAJD4AAHS-AAB8PgAAML0AABC9AACYPQAABL4AAIA7AACIvQAAcL0AABk_AAAwvQAAxj4AAFC9AADgPAAAqD0AAIK-AADgPAAABL4AAPi9AAAQvQAA2L0AABA9AAAQPQAAUD0AAFC9AABAvAAAiD0AAHS-AADIPQAAPD4AADy-AACAOwAAUL0AANi9AAD4vQAAML0AABC9AABAvAAAf78AADA9AADIvQAA6D0AAEQ-AABAvAAAqD0AAHw-AABQvQAAQLwAAFC9AACovQAAoDwAAIg9AACAOwAAiD0AAMg9AAAMviAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=8VpGbLs6ISY","parent-reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["4979652137994880398"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"8997467310426314402":{"videoId":"8997467310426314402","docid":"34-9-8-Z4EF70B7B8B621E2A","description":"chrome version,get chrome version using java,get chromeversion runtiome,get chrome version for extent report,selenium,extent report,fetch online chrome version,how to check google chrome version...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/2900477/59f75dfd469dc5e07690ae3aac07da52/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/9gb3IwEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"15","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DoAgPQPLC86w","linkTemplate":"/video/preview/8997467310426314402?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Fetch Chrome Version Runtime","related_orig_text":"Runtime Verification","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Runtime Verification\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=oAgPQPLC86w\",\"src\":\"serp\",\"rvb\":\"EqcDChQxNTA5NTgzMTM4OTI1NDk5MzYyMgoSMTMxMTM4NDA2Nzc4ODMyMTg5ChMzMjM3MzEwODI2MjIwNjM4Njc1ChQxNjA5MjE5NDQ3NjA4NTM5MTYyNQoTMjkzODk0MTcxMTc0NzMxODI3MwoUMTAxODM3MjAxNzQxMDI3Nzc5MjMKEzUzMTk4MDYzODI1NzY3NTM5ODIKEzc4MjUwMDExNTUyMDg0NTEzODIKEzk4NTM4ODk2ODYxNTA3MDQ3NTgKEzU3Mzg5Nzk2MTE0NTc2MzQ0ODUKEzQ1NjQ1Mzc4MjAzOTIxMTgwMjQKEzg2NDk0MDM0ODc3NDM5NDU2MDkKEzQ5Nzk2NTIxMzc5OTQ4ODAzOTgKEzg5OTc0NjczMTA0MjYzMTQ0MDIKFDE0NjcxMDUzMDQ1NzQ4NTk1MDQ5ChQxNjU5MDg2Njg3MDIyMDcxODYxMAoSMzMxMTcxOTQ5NjQwOTg2OTE5ChQxMTY3ODUwMDk3MDM5Njc3NDQ2MAoSNTY5ODM4MDAzNTIxNDYwNTYyChMyMTM3MDg5ODQ4MjMwOTE0Mjc3GhUKEzg5OTc0NjczMTA0MjYzMTQ0MDJaEzg5OTc0NjczMTA0MjYzMTQ0MDJqiBcSATAYACJFGjEACipoaGpxeWZ6dmt3c29jbmJkaGhVQ01aV0hHSHNWa1RxNXIzSEFLdHA5UVESAgASKhDCDw8aDz8TuQSCBCQBgAQrKosBEAEaeIEEB_j8_AQA8_kCAPoDAAEP9PoB9wD_AOwFEPoF_wEA9vAJ_P4AAAD5BAT3BwAAAO30_QL2AAAAAgUIBwQAAAAIAAQE_AAAAAUB-xH_AQAA_PgC_wL_AAD7B__9_wAAAP8C_v_9Af8A-wH8BAAAAAAC-PTzAAAAACAALRLU3zs4E0AJSE5QAiqEAhAAGvABdCEt_uXh3gK6F9z_8OUhAZD2DgBFHu4AtiwRAeYY5wHo7QMAAtZEAKQU3wCBM_8B0urU_ygxDwAbJRH_NgYzAQUD7gFf3BECPyLx__4G4_8GHhv-J-Q5AkbsAQIe8f8C3OMIBM7ewgHJz7sH9UYfAC8kCv81Aw_-0dApAvsPF_zdAPwAAPIbBKz4BAML8TMFCQbp_D0u5f_vCPwFLhglChzFAQMPExkKHQkEBcfi__vR9f4ID_nsDARAGv8tGCwCFAIQ_wv-__IWAwQDKvLi-u8U--w7zgMI-AL1BdIhAvP5JAf10Gn3ARD6A98a8P4GIAAtWnj4OjgTQAlIYVACKs8HEAAawAcHB9u-eQOMPMpnMTrKu5-9WkaKPXyGS7z4g0a9VsGDvO3E-ru1NTI-v2tLPfFo_jy3DZO-G1QTPBu0HL0KL2E-F3GwvEHTxjnJ7l294n72PBjWSL1CIUe90RMlPaEHyDz9TtO9m3VGvYsuND1_S0A-p0rKO4G4hry8ywW-XI8hvPw9AzrT-c869iqNPAhhJLxngQY-mTM2PUrM2LyUhOQ91i63PPwRUDyHhFS9kiRoPb_h0zqaOlS9TFOlu7gA-rp4Y9y8Ij8xPQZdazp2TW28vQfDvI2RtrsiSsU8GeOzPQlG7zuNf587oY59Pf8JLrxdTi49MQP6vK13rDtjtB6-NhZ7u39gWDxtqeM9BhGpvBSd2zwchL-9Ta0NPTec5Ds-m3I7sB43vfuRhbrnpwg-sSxdPUbycLs1-zI9zU6wvaiRcTyNnAU-1ARbvdTXc7wegrI6CGIPPU6PNzyx64s7cHpVu7IKwLxz6Um9A208O1E7MrwiZaU9MTY-vWjnNDyAM6c86FjUPJLBPDu2e149B8knPMtWrDvnONe9SOwJvQdPV7zojYu7mt8aPTh5nbtBlIk9bSUvvTtI_Doodtm8VwirvTSIi7u-Clo91yfKvEUHajuQ2Vm9sCNpvDWlCLxL2K28qxW3vcWaArwFe8K9cy5Fvadr9bpdFQ29S92fvEE78TtGDow9xZQDvfwxbzu8rxq-Lke8u0ihhbnIMpM9CrQgPTA1nTlY7Gq9t5lIO_RYzDtmFbY8Xm9xPT6SszlxOkk-m04XvZdwoTi0WCu7WWAZPc15UDlO_VK9VymYvCyxATg0iys9rRuaPWt4LzhcVAu9nBXxvdyedTl92tc8moJrvaR7-blEqai93naAO7MmrjktzGI9vmyaO5m7yTj7m6Y9MIAQPSQdcLhGmtg9sjMAPdYLkDi10a88LX95vWRvBzl7vxG-OEhNvRuf6jmfKL-8OcV0vCGePjc7ViQ9CZGIO2h5hLYK8hO94529PZVT1bh9joQ95cI3PADH6rY4CS89uYVTvAn6DjhXBvW9cEPsvcwMi7i8Osu7uFyYPL7QkjbsJZe9A5vOvER4ETgUD168M54SvRyWN7fsGLI8efwovKZd7Lca3qy95iHTvWhCyjgp76E6XOc-OXO4jbiNMsE9XnSDvFcaWzhryj-9ePp3PG7WnDefxXc9b49vPW2whjf2dHo94A_fvT-Zm7dVGKY9bQvFPYPH5zgASDe7d1U2PT6V3bhDzAA9ukJlu5vx97eEc_y8YoNlvSF6D7ggADgTQAlIbVABKnMQABpgL_cAG-obyukZO_3OutNB8gHD5-LoBv_Nw__OLMcjKPTjuuc5_zgI_BGbAAAACxzLJdcAHn_uq-kinxr50vPNJwB4vtgAscjmDt-eefb5C7cQFvM7ABPzzCkYGBg_N-8gIAAtxkkQOzgTQAlIb1ACKq8GEAwaoAYAAKjBAAAwwQAAsMEAAEDBAAC4QQAAwMEAAEBCAAAgwgAAuMEAAEBBAAAsQgAAWMIAAPjBAACQwgAAhEIAAATCAABAQAAAqMEAAKDBAABkwgAAFMIAAMDBAABAQAAABEIAABxCAABQwgAAgsIAAFDCAACGQgAAAEEAAIjBAAAoQgAAsMIAAIC_AAAQwgAAgEAAAIBAAADQQgAAjMIAAEBCAACAvwAA0EEAALBBAABAQgAA8EEAAKDAAAAQwgAA6MEAAMJCAACAPwAA0MEAAFBBAABwQQAAQMAAADBBAACAvwAAAMMAAPhBAAAEwgAA-EEAAMhBAAAwwQAAcMEAANbCAADgwAAAUMIAAADAAACwwQAAoMEAAODAAAAYQgAAiEIAAHDBAAAwQgAA4MAAAJLCAAAgQQAAwMAAAIBCAAAIQgAACMIAAFBBAACowQAAUEIAAATCAACwwQAAVEIAAAhCAACYQgAAhMIAABDBAACAQAAAQEEAAL7CAADgwAAAIMIAAEDAAAAwQgAAqEEAAGDBAAAYwgAAyEEAAFRCAACYwgAAEMEAAIDAAAD4wQAAJEIAAIC_AACAQAAAGEIAAPhBAABAQAAAaMIAAKhBAAAAAAAAAEAAADDCAAAkQgAAAAAAAFjCAADwwQAA0MEAACTCAAA4QgAAuEEAAGDBAABwQQAAeMIAAADCAAAAwQAAQMAAAPjBAADIQQAAwMAAABDBAACQQQAAgMAAADjCAADYwgAARMIAAKhBAADwQQAAMMEAALBBAAAAQAAAkMIAAHBBAADIQQAALMIAAKDBAAAAAAAA6EEAACDBAAAIwgAAQMAAABRCAAA4wgAAgMIAAEDAAAAgwgAAgMEAAITCAADQwQAAOMIAAFhCAACYQQAAHEIAAMBBAADYQQAA2MEAAMBBAABUwgAAmMEAAEDAAAAgQQAAwMAAAMDBAABIQgAAsEEAAJhBAACAwQAAOEIAAEBBAADeQgAAoEAAAIbCAADKQgAAwEAAAJhBAACKwgAAhMIAAADAAACQwQAAQEAAAARCAAAMwgAABMIAAFDCAABUwiAAOBNACUh1UAEqjwIQABqAAgAAUD0AAJK-AAB0PgAATD4AAHS-AADgPAAAfL4AALa-AAAkvgAAmD0AAO4-AAAEPgAAmD0AAI4-AADgvAAApr4AAN4-AAAwPQAAPD4AANo-AAB_PwAA4DwAAFS-AADGPgAADL4AAEy-AACovQAAoDwAAEC8AAAMPgAAmD0AAOi9AACIvQAAJD4AAM4-AACAuwAAqD0AADC9AABUvgAA6L0AAPi9AAAkvgAAHD4AADy-AADYvQAAHL4AADA9AACAOwAAZD4AALg9AABQPQAAED0AAMg9AABwvQAArr4AAIA7AABlPwAAQDwAAFQ-AADYPQAALL4AAEC8AAD4PQAAyD0gADgTQAlIfFABKo8CEAEagAIAAOA8AABwvQAAmr4AADO_AADovQAA2L0AAFy-AAA0PgAAMD0AALi9AABUvgAAED0AAMg9AABUvgAARD4AAKC8AACAOwAAET8AADS-AACOPgAAFL4AAOC8AABQPQAABL4AABC9AACSPgAAcL0AANi9AACAuwAAJD4AAEC8AAAwvQAARD4AAKC8AACIPQAAqD0AAIA7AADgvAAAiL0AAHA9AADoPQAAqL0AADC9AABkPgAAhr4AAES-AAB_vwAAyL0AAO6-AADoPQAAML0AAIi9AAA0PgAABD4AAIC7AADgPAAAML0AAAy-AABwvQAAHL4AALg9AAB8PgAA4LwAAFS-IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=oAgPQPLC86w","parent-reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1920,"cheight":1080,"cratio":1.77777,"dups":["8997467310426314402"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"609454661"},"14671053045748595049":{"videoId":"14671053045748595049","docid":"34-9-15-Z15CEAEEA0284BAF2","description":"How to check which directx runtime version is installed on my windows machine? Helpful? Please contact me if anything is amiss at Roel D.OT VandePaar A.T gmail.com...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3382755/aa6896183193c672f2c6fd6bdefa8e37/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/2St1uQEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"16","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DSWwIFGt_XZg","linkTemplate":"/video/preview/14671053045748595049?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"How to check which directx runtime version is installed on my windows machine?","related_orig_text":"Runtime Verification","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Runtime Verification\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=SWwIFGt_XZg\",\"src\":\"serp\",\"rvb\":\"EqcDChQxNTA5NTgzMTM4OTI1NDk5MzYyMgoSMTMxMTM4NDA2Nzc4ODMyMTg5ChMzMjM3MzEwODI2MjIwNjM4Njc1ChQxNjA5MjE5NDQ3NjA4NTM5MTYyNQoTMjkzODk0MTcxMTc0NzMxODI3MwoUMTAxODM3MjAxNzQxMDI3Nzc5MjMKEzUzMTk4MDYzODI1NzY3NTM5ODIKEzc4MjUwMDExNTUyMDg0NTEzODIKEzk4NTM4ODk2ODYxNTA3MDQ3NTgKEzU3Mzg5Nzk2MTE0NTc2MzQ0ODUKEzQ1NjQ1Mzc4MjAzOTIxMTgwMjQKEzg2NDk0MDM0ODc3NDM5NDU2MDkKEzQ5Nzk2NTIxMzc5OTQ4ODAzOTgKEzg5OTc0NjczMTA0MjYzMTQ0MDIKFDE0NjcxMDUzMDQ1NzQ4NTk1MDQ5ChQxNjU5MDg2Njg3MDIyMDcxODYxMAoSMzMxMTcxOTQ5NjQwOTg2OTE5ChQxMTY3ODUwMDk3MDM5Njc3NDQ2MAoSNTY5ODM4MDAzNTIxNDYwNTYyChMyMTM3MDg5ODQ4MjMwOTE0Mjc3GhYKFDE0NjcxMDUzMDQ1NzQ4NTk1MDQ5WhQxNDY3MTA1MzA0NTc0ODU5NTA0OWqGFxIBMBgAIkMaMAAKKWhoYmprZGh0b2doaGlkZ2hoVUNQRi1vWWIyLXhONUZiQ1h5MDE2N0dnEgIAESoPwg8PGg8_E0mCBCQBgAQrKosBEAEaeIEVEP4ADPH__AMGAvgH_gI4-wf88QcIAdQBD_0G-AQA5PD7_Pv-AADxA_kIAQAAAPn78fjz_gEA2Q4G-gQAAAAE_vX39AAAABH68Q7-AQAAAe35BPQCAAH9E_4D_wAAABkGB_H___8ACBL89gEAAAAH_g0QAAAAACAALaljrzs4E0AJSE5QAiqEAhAAGvABWRD1AIH8BfdV--kBJ-4B_7UOCQAtBfsAAwzxAPL_5gAAA_QA5vn1AAf19P_9_fEA6vED_xwK-ADjDQn_CBzxAA3r7wAN2QIAFvMCAPEKDP_uDwT_8hsE_xcb_wH19Q4AFA8C_ucD8v_o6vUDEvz_AwkA8AMNAwQFHgTnABELAf8BFfkEBugBAf0KCf0F_QIA-gzy-_sKBgLw6QoB6RPy-wkG6_wAC_P6HfgeACTyC_4mEOQHCgUS_vjx_v3qERoB8wEF_BEI-PwM9f4AAQ7_D-gE-fgL5gUC-QEMCQHm-_YEAQD97wL0AQcCDwzt9QMDIAAtHyVZOzgTQAlIYVACKs8HEAAawAdqFtC-rJQZPVMN97uUvMo9HBBcPeuhhz0MN0U9A5uOvF5C6rzP29g9yOSJvdYvYr04aYq-0Qw9PO2ufTzApLI9BNSKvJ-Scz0rEtO9zNqhvZ3gNj1h40q-4bOlvdmiuzvvAoU-hnO9PVYzRjxkUui8G11qPWWckDxuGyM8qiaNvT7x97whIO05pFygPa7ASjvJisY9Qd3bPHY_JLp3Me09jwApvXaWETwAOqy9yxTzPG5jvbxpbgW-I9QRPQfIYbxp_ig-i13TO0cLKzwKf6s9ue9ivPCtfjy7NqU94pvcPJIwwrwLhmm91KppuvN-ELySXgQ-_gJLPbtNbjxbPx297sMJPOfZUTwXmIo92ULOOwsRizwpFUO834DAvTEokzyxOBc9Kgs1PcDLzLzFgpC7AIWjO60Dlry4tzY8ZJHmPE1qCL2lvBY9F8OPu_P4x7wIeO87-i01vZGTLjw7NlK-4ZqbPUDQvDvtM109krzpPF9NszuetyE-QTw8Pbr6rTudHMQ9BLiPu6XDILw9zc07-DuPvaiYOTwk4wI92C8zvUkbHrwK6qW7H0CAPcfMVjWzmu698jhWPcqveryPumc852cvvcM_sruSIBw-UzmyvYg6KTpUJT068FXGPCkT6boHfQk-MCziu2ViPTliQEC9MeygPVgW8Tqg-qi7e8BcvYRRpLu0YFg9z_npPMQvqzpRISq7d5BNPSYZHLtCOpE9-TejPejW7zvcxco9lFCqvabEhbq6P5g9fvnJPIIRvLkmT169pIKkPcpeUziZwIg983bfPMUHircMXGY5ZUKCu2-mIro-yq28u65JPft2hjjhIIS7HvH1PP_MLrkBVw29yZ4zPdu_07lJ02W9xK-YvcYJxziYOE095gfJvBMKFbnvTag902A_vPd-OrinMMA8LDx5PYIDoDacRE69KuGJPIf6xjjspA4-hZsIPIE5kbmCv4Q9PohOPQ5rRzgZy7Q8ArI8PbEtzzczVja9Xt8iPcM_azlxW3Y9ytxhves2BDcP-MK9-oDgvY09KzhugnQ9h_jsPCo8W7jFj4G9L0WTPaAkITl3PYe9pMPDPICvwjhm3gU96FoJPBMtbjfhiAQ9SckBvTf5mjY-iJE7GE-evUyp6TfOmLi8NDLjvKvaPzdXBC--u-yHvbxhozj5V4W8YNcFPWAHtji8V009BRydvAYy9LY8fOO8IiYXveGisrck3jA9dvHIPE6N_TgCN4G8YH-YvRSkIbhWC-w8nycZPcyIgbc6Cgy78N7RPEjXhDggADgTQAlIbVABKnMQABpg2QgADPgw59r4Mtfq9NwOCxwHyOfj9_8f8QDNSrL1-gH6vgs1_0j80CymAAAAGfbIEAEADWkG1dsnvRX41N4B7f1_GB7I0hsJyeOz_9Tz9Qkt9E83ACkj8EMy4v1EWQElIAAtoI0iOzgTQAlIb1ACKq8GEAwaoAYAAEDAAADQQQAAUMEAAEBCAADAQAAA4MAAAJJCAABAQQAAJMIAANDBAADIQQAARMIAAMDBAAA0wgAAoEIAAHjCAACQQQAAeMIAAGBBAABQwQAAgEAAACDCAACcwgAAmEEAAHxCAAAgwgAA6MEAAOhBAAAAQgAAgL8AANDBAACAwQAAYMIAACBCAACAwgAA-EEAAIDAAADSQgAAQMAAABBCAABsQgAAPEIAADhCAABwwQAAdEIAAGDCAACQwgAARMIAAIxCAABgwQAAqMEAAADBAACAwAAAcMEAAEDAAACAPwAAqsIAAPhBAADYQQAAMEIAABBCAACwwgAAwMEAADTCAADYwQAAwEAAAHBBAAAgwQAAoEAAACDBAACgQAAAgEIAAHDCAAB8QgAAwEAAAILCAACCwgAAUEEAALjBAACgwAAAmMEAAIBBAADYwQAAmkIAACjCAAAAQQAAQMEAAERCAAAgQgAAmMEAANBBAACAvwAAYEEAAGzCAACgwAAAgMEAANDBAABQwQAATEIAAGTCAACwwQAAPEIAAFxCAAAswgAAmMEAAIDCAACQwQAA-EEAAEDAAACoQQAA0EEAACDCAABoQgAA4MEAADBCAAAswgAA-MEAAKjCAAC4wQAAQMIAAPDBAAAEwgAAiMEAADjCAAD4QQAAhEIAAEBAAAAcwgAAiMIAACTCAAC4QQAAoEAAAAjCAAC-QgAACMIAAJBBAADAQQAAGEIAACjCAAC6wgAAwMAAACxCAAAwQgAAgD8AAGDBAABQQQAA4MEAAEDAAAAAAAAAuEEAADTCAABwQQAAgEAAAAjCAADQwQAAIEEAAAhCAAC4wgAAVMIAAMhBAABQQQAA2MEAAKDAAABAQAAAwEAAABTCAAAgQgAAmEEAAHBBAAAsQgAAeMIAAMhBAABAwgAA6EEAAAAAAABAwQAAaMIAAADBAAAwQgAA4EAAACBBAAAwwgAAuEEAAJBBAADsQgAAgEAAAPjBAAA0QgAAAMEAAIJCAAAQwQAAQMEAALhBAADAwQAAgD8AAGRCAAAswgAAIEEAAMDCAAAUwiAAOBNACUh1UAEqjwIQABqAAgAAyD0AABy-AACePgAAQLwAAOg9AAC4vQAALL4AAP6-AACoPQAAQLwAAHQ-AABQvQAAFD4AAJg9AAC2vgAAEL0AAMo-AACAuwAAmD0AAMI-AAB_PwAAgLsAAOA8AADOPgAAQDwAABy-AAB0PgAAUD0AAFA9AAAsPgAAmD0AAKA8AADgvAAAbD4AAAy-AADgPAAA-D0AAIq-AAB0vgAAhr4AAMa-AABAPAAAnj4AAAS-AADovQAAuL0AADw-AADYvQAAmD0AAHA9AADoPQAAXD4AAIg9AABwPQAALL4AACy-AAA9PwAAcD0AAOg9AABUPgAAPL4AAFQ-AACAuwAAHD4gADgTQAlIfFABKo8CEAEagAIAAES-AABsvgAAir4AAC-_AABwPQAAPD4AADC9AAB0PgAABL4AAOC8AABkvgAAQLwAAJg9AAA0vgAAhj4AAEC8AAD4PQAAFT8AAJi9AACmPgAAcL0AAGw-AABwPQAA6D0AAKC8AADYPQAAkj4AAHC9AACIvQAAgLsAAIg9AADIvQAAqD0AANi9AACgvAAAgDsAAAy-AADgvAAAgr4AABQ-AAAcvgAA4DwAAJY-AAAEPgAAML0AAFS-AAB_vwAAUD0AAJK-AABQPQAAdL4AABC9AAD4PQAADD4AAAQ-AABQPQAAcD0AAGw-AACgPAAADL4AABA9AAA0PgAAuD0AAOi9IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=SWwIFGt_XZg","parent-reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1920,"cheight":1080,"cratio":1.77777,"dups":["14671053045748595049"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"3977239648"},"16590866870220718610":{"videoId":"16590866870220718610","docid":"34-0-2-ZAA8BD6D5C55E1B0A","description":"Runtime Error 339 often signals a missing or corrupt component in your system. Watch the video till end to know more. Subscribe: https://bit.ly/techinpostco So that you will get to know that...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3355771/ddfff8bf311ee923e6b8f8740e948ceb/564x318_1"},"target":"_self","position":"17","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D62QCZ33-4q4","linkTemplate":"/video/preview/16590866870220718610?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"[Solved] Runtime Error 339 (100% Working)","related_orig_text":"Runtime Verification","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Runtime Verification\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=62QCZ33-4q4\",\"src\":\"serp\",\"rvb\":\"EqcDChQxNTA5NTgzMTM4OTI1NDk5MzYyMgoSMTMxMTM4NDA2Nzc4ODMyMTg5ChMzMjM3MzEwODI2MjIwNjM4Njc1ChQxNjA5MjE5NDQ3NjA4NTM5MTYyNQoTMjkzODk0MTcxMTc0NzMxODI3MwoUMTAxODM3MjAxNzQxMDI3Nzc5MjMKEzUzMTk4MDYzODI1NzY3NTM5ODIKEzc4MjUwMDExNTUyMDg0NTEzODIKEzk4NTM4ODk2ODYxNTA3MDQ3NTgKEzU3Mzg5Nzk2MTE0NTc2MzQ0ODUKEzQ1NjQ1Mzc4MjAzOTIxMTgwMjQKEzg2NDk0MDM0ODc3NDM5NDU2MDkKEzQ5Nzk2NTIxMzc5OTQ4ODAzOTgKEzg5OTc0NjczMTA0MjYzMTQ0MDIKFDE0NjcxMDUzMDQ1NzQ4NTk1MDQ5ChQxNjU5MDg2Njg3MDIyMDcxODYxMAoSMzMxMTcxOTQ5NjQwOTg2OTE5ChQxMTY3ODUwMDk3MDM5Njc3NDQ2MAoSNTY5ODM4MDAzNTIxNDYwNTYyChMyMTM3MDg5ODQ4MjMwOTE0Mjc3GhYKFDE2NTkwODY2ODcwMjIwNzE4NjEwWhQxNjU5MDg2Njg3MDIyMDcxODYxMGqvDRIBMBgAIkUaMQAKKmhodnZmZG95dHl6YmJ1bGRoaFVDWERqd0haam9CbkdOMng2MklCR0ZkdxICABIqEMIPDxoPPxPtAoIEJAGABCsqiwEQARp4gQgJ_PEJ9P_sBAcHAAT-ATr4_AfxCAgB1gEP_QX5AwDr-wDx9_8AAAQF6gAHAAAA6fH8AvQBAADy9vv8BAAAAAr2AQj8AAAAF_ULDP4BAAAN-_8KBf8AAPbuCg__AAAAE_4U_P__AAABHAL0AAAAAALl9AMBAAAAIAAtv--2OzgTQAlITlACKnMQABpg-vkAOBwa0vINJvvP2u0zKPLU5vnxEv8dzf_cJOLXCiXqqfku_2szEwejAAAAFQrMDLQABm3w3OsjzhXM3ibXGOZj1Pr15d0aFy_LfyoK5fcdKTgbACX2EB8-4uksN_AbIAAtH-UiOzgTQAlIb1ACKq8GEAwaoAYAADRCAACYQQAAiEEAABxCAACQQQAAGEIAAMBAAACgQQAA6MEAANhBAACgQQAAAMIAAJDBAAAQwgAA6EEAAODAAABQwgAAZMIAAEDAAAAAQAAAmEIAADjCAACYQQAABEIAAOhBAAAUwgAAXMIAAKjBAACOQgAA2MEAALLCAACgwAAATMIAABRCAAAsQgAAmMEAAFxCAACeQgAAiMEAAKBAAACOQgAAqEEAABBCAADAwAAANMIAAMBAAABAwAAAgMEAADDBAAAYQgAAgMIAAHjCAAA4wgAAsMEAAJpCAACOQgAAhMIAAOBBAABMQgAAgEAAADRCAAAQwgAA6EEAABTCAADoQQAAMEEAAADAAABwQQAAAAAAAMDBAACAQgAAskIAAKDAAABEwgAACMIAADDBAAAgwQAAuMEAAIDAAAA4wgAAVMIAAKZCAABAQAAATEIAAFzCAACIwQAA4EAAAABAAAAAQAAACEIAABDBAAAYQgAAOMIAAIbCAAAgwQAAFMIAALDBAAAwQQAAUEIAABDCAAAcwgAAwkIAAHxCAABwQQAAAMAAALhBAACAvwAAaEIAAAxCAAB4QgAAEEIAAIjCAADQwQAAQEIAAIxCAADYwQAACMIAAKbCAACYQQAATEIAAJpCAABwwgAAwEAAAKDCAAAgQQAABEIAAMjBAAA8wgAAGEIAAIzCAAAAQAAAQEEAAABBAAAEQgAAqMIAACRCAADQQQAAoEAAAOjBAABcwgAAEEEAAMBAAABQwQAAmMEAAOhBAACAvwAAQMIAADDBAAAEwgAAoEAAAMhBAABAQQAAQEIAACTCAAAwwQAAEMEAAEDBAADGwgAATEIAAFBBAADwQQAAaEIAABjCAACAwAAAcEEAAOBAAADAwAAAAMEAADBCAADAQAAAZMIAAOhBAAAwQQAAKMIAAGDCAABQQgAApEIAAHDCAABcQgAABEIAAIrCAADYwQAAgL8AADDBAADoQQAAiEEAAKjCAABAwAAAIEEAAKhBAACoQQAAUMEAAKBAAAAUQgAA4MAAAOjBAAAQwgAANEIAAIC_AADgQCAAOBNACUh1UAEqjwIQABqAAgAATD4AANg9AAAUvgAAED0AAAS-AABQPQAAPL4AADO_AAC6vgAAUL0AABC9AABwPQAAEL0AAFA9AABMvgAA-r4AAIo-AABQPQAAQLwAADM_AAB_PwAAiL0AAIi9AACAuwAAiL0AALg9AAAwPQAAgDsAAAw-AADYPQAAPD4AAJi9AABAPAAArj4AAEw-AACIvQAAUL0AAHC9AAAEvgAApr4AADC9AAAMPgAAyj4AAEC8AACIvQAAgLsAAIg9AAAEvgAAED0AAGQ-AAD4PQAA-D0AAKC8AABkPgAAyL0AAIA7AAAXPwAAgLsAAIA7AAAsPgAAMD0AAIo-AACmPgAAmr4gADgTQAlIfFABKo8CEAEagAIAAJa-AACYPQAAZL4AAHm_AACIvQAAML0AAHA9AAD4vQAAxj4AAPa-AACgvAAAUD0AAHA9AADmvgAA5j4AADA9AAAcvgAAUT8AAAw-AADKPgAALL4AANq-AACGPgAAqD0AAGy-AACYPQAAoLwAAEA8AAAQvQAA8r4AAIA7AABQvQAAij4AAPg9AACmPgAAUD0AAO6-AACqvgAAuL0AAIo-AACYvQAAiD0AAFA9AABwPQAAfL4AAGy-AAB_vwAAqr4AAFS-AAC4vQAAdL4AAKA8AABQvQAAnj4AAFC9AAAcPgAAuL0AACw-AADgvAAAqr4AAKA8AACgvAAAEL0AAIC7IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=62QCZ33-4q4","parent-reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["16590866870220718610"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":false,"contentTypeId":null,"censored":false},"331171949640986919":{"videoId":"331171949640986919","docid":"34-7-9-Z01C97BAA8AC23ACA","description":"Hi, this tutorial will show you how to fix vc RuntimeMinimum x64 msi is not found Error while installing Visual C++ 2019. Updte win 7 :https://mega.nz/file/i8BnjARK#twjGLxz...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/2162315/84a05567b1eed5dbaba43c93fb1d71c1/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/d2Q4NQIAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"18","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DL8x6IfcD_vM","linkTemplate":"/video/preview/331171949640986919?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"VC RuntimeMinimum x64 msi is not found","related_orig_text":"Runtime Verification","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Runtime Verification\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=L8x6IfcD_vM\",\"src\":\"serp\",\"rvb\":\"EqcDChQxNTA5NTgzMTM4OTI1NDk5MzYyMgoSMTMxMTM4NDA2Nzc4ODMyMTg5ChMzMjM3MzEwODI2MjIwNjM4Njc1ChQxNjA5MjE5NDQ3NjA4NTM5MTYyNQoTMjkzODk0MTcxMTc0NzMxODI3MwoUMTAxODM3MjAxNzQxMDI3Nzc5MjMKEzUzMTk4MDYzODI1NzY3NTM5ODIKEzc4MjUwMDExNTUyMDg0NTEzODIKEzk4NTM4ODk2ODYxNTA3MDQ3NTgKEzU3Mzg5Nzk2MTE0NTc2MzQ0ODUKEzQ1NjQ1Mzc4MjAzOTIxMTgwMjQKEzg2NDk0MDM0ODc3NDM5NDU2MDkKEzQ5Nzk2NTIxMzc5OTQ4ODAzOTgKEzg5OTc0NjczMTA0MjYzMTQ0MDIKFDE0NjcxMDUzMDQ1NzQ4NTk1MDQ5ChQxNjU5MDg2Njg3MDIyMDcxODYxMAoSMzMxMTcxOTQ5NjQwOTg2OTE5ChQxMTY3ODUwMDk3MDM5Njc3NDQ2MAoSNTY5ODM4MDAzNTIxNDYwNTYyChMyMTM3MDg5ODQ4MjMwOTE0Mjc3GhQKEjMzMTE3MTk0OTY0MDk4NjkxOVoSMzMxMTcxOTQ5NjQwOTg2OTE5aogXEgEwGAAiRRoxAAoqaGhzZXFoaHV4dnZhb2dkYmhoVUNIcDE2cmduUG1SYk9lcnhIUzBCckdBEgIAEioQwg8PGg8_E7UCggQkAYAEKyqLARABGniB9wX3_P4CAOz2_gX5AgAA-v328vn9_ADmDv34B_0BAOrz_Pz8_wAA7Qr3BwYAAAD1AQP88_8BAPwHCPQEAAAAA_73-PYAAAAFAfsR_wEAABL_AfkC_wAACAUP_P8AAAD5BRIG_gAAAAUH_v4AAAAA7vfzAQD_AAAgAC1aINg7OBNACUhOUAIqhAIQABrwAT__-f7z__kA9gQdAOAL0gCB8Pv_CP76AOXq_gDsCQQB4RUEAPPyHADLCh8AABf0ABHi9f847_wAEdoP_yIO_AEYywoADx_iAB_nAwAN7An_JfPxACEMJf8aBQH_AhHuAhLz-v_N8AH-0-MOAQcN8__3-Q4BHPMAAe_4Ef8rBAsB9wfy-vPh9wDn9vYA-vYB_v0L6wQa_P3_-PnzAQAM9wfmA_f9FQ76BCz_DQIXDf_5CBb7AAT48_wxCPQA-gj8_AXt-f8HFAUA8wIL-x4H9QUA5gn3-vbxAvoi-fUEAA0F-_8D9swVCPsCzgELAOj8-yAALZD6Tjs4E0AJSGFQAirPBxAAGsAHhxbhvrg-7Dw5Qia9pP5Kvi5weTxKPTA9hBMsvDUQlr21K4U5K1H2PHO-2Dw6dHq8si_hvo6IczyCwNK6wUKsPRzDLTuzlJG8BEkJPcqR6Ty23SG8V7E4vkelfTyl1Ao9Oz1KPEEYLjwYYzs88DR5Pm5sdrxkFPQ7J_VFvg94BT37IkE9SxJ6vU1DGryOk0I8Gk_kPTr5Pj3rrxI95gNCPvY9T71HAQG7P0-LO-qS0DtFTY88-hK1vWUja7yyDcE8H2caPYZm6DuzPJO6ZftVvZu8krxpRvW8YsQZPN-ucj2YDNG8bnA9vUM1aj3OgOU7q4WovZgzG70mPLq7TPobvbPprTthzZa7hMMhPT0HGjwnrAM9fNyivb9g9zxMRC68HnyHvZMDkTwn4LK80pGaO3zeorswbt07n_W-uxJBBj1PyTk8mtKFPTcvEz1BCwk8jxjdPfP7gz0OJo-8I2UwPK5ZuL2QiIQ8fJ10vTbCDD2ifdc5J3gUPagjG717kT88bV0lPUiVNz2BfGQ8n2UMPYLlBjxiAdy51eSOvC5SbT1W9pe7mqJSvYr6ab1OFFc8mMDNveilwTt_-Hk8N9JDvVXCcrsCuky7hnCRPdxSPT1r1S68cKRCvaq4EjzILUE8MJNSPeq5QL2f7IO7cuyPvImTQD1NsCw73MlxOxtutrwnk6o7IVK4PI8sqr3buyu8USEqu3eQTT0mGRy76iiivPvuMTxHJCc73__iPDFQo7zjrZA7T8uPvEV2Lz33p1g7N6fSPaGD7jzIJFe5SVqLPTeabbx2IDi57InOPRWIYz0W3ya5VdabvSsVs7s2jh85-zMNPKD_mT2xwei4fBn7vBgJbT0ZWY03JOpqPRtno72vm6K4qNr4PJHv0r17BSQ5G1ouvRgeIL3GPlS3noxbPcNiGLy1_my3c9h9vMJHub0Wm_u4GPF4vcEUL72FZUI5EFsavelw37g7kB-2Wq-DPQGPw72m0Vo5kNGqO5aNs70GpqM4XkZWvMUK7bwECPS3BZsEOxt7m73nlm62RZ35PA-BIz1O8n-3kJkwvK3mDz3HJhY4VcgLPZNQH73E9rY4VF3ZO2cxyjsuSgI4lCMOvZLKmLsHLgO4srj_PfcLcb1AChe5DZ6jPU7I2Lx2H7-4B_TdvOgUhD2m-Su2Ed5DvbINXD2jahY4k6csvAO8-7xb7Yk3KCF9vYOSODyyNmC4hyJzvS3wEbxSUou43oaDO61zuLkh0a645_BaPNtq1r2liCk3GjOZvV-E3zxjGDG3IAA4E0AJSG1QASpzEAAaYBn4AFkA6rT_TfzmCwYQKMXq0bfb5fb_JAn_8hjb8eIY5Zs-Nv9dK_UZnAAAABX82PnPAAF_29fn5rsk3Zj1vzD6YTXr-rzz_dvKiDS39PEHKO0h2wBB36UQSxHxOCAGICAALdBQDzs4E0AJSG9QAiqvBhAMGqAGAAAgQQAA6EEAAIBBAABQQQAA4EEAALDBAAB4QgAAsEEAAEzCAADAQAAA-EEAAHTCAABYwgAAwEAAANhBAAA0wgAAQMEAAJjCAACAwAAA0MEAAMDAAACgwQAAYMEAACBCAAAAQQAAgMEAADDCAACQwQAAhEIAAIC_AAAIwgAAIMEAAOTCAACOQgAAgEAAAJjBAACAvwAA_kIAAODBAADoQQAAgkIAAIBAAAAAAAAAQMAAALhBAACowgAA-MEAAIA_AABcQgAAgEEAAJDCAABwQQAAsMEAAGDBAABcQgAAVEIAANjCAACwwQAAwEAAAEBCAACSQgAALMIAAMDAAADgwQAA2EEAAHBBAABAQAAAFMIAAEzCAABowgAAOEIAAOpCAABAwgAAkEEAAOBAAABIwgAAwMAAALBBAAAQQgAAYMEAANrCAAAkQgAAAMAAAIBCAABowgAAAMEAAKDBAAAAQgAAFEIAAPjBAABAQQAAgL8AAEDAAACewgAAwMEAAEjCAAAQQQAA2EEAADRCAABYwgAAgL8AAJJCAABMQgAAyMEAAATCAACgwAAAJEIAABBCAACAvwAAIEIAAADBAACgQAAAhsIAAADBAACwQQAAqEEAAIjBAACcwgAAgMAAALhBAACAPwAAZMIAADzCAACYwgAA2EEAAMBBAADAwAAA2MEAAATCAACAwQAAQEAAACDBAACAQAAAMMEAAEDBAADYQQAAVEIAALhBAAAQwQAAwMIAACBCAAAYwgAAcEEAAIDAAAC4QQAAUMIAAHTCAABQQQAA4EEAAAjCAABQQQAAMMEAAEBAAAC4wQAAgL8AABzCAAAAwAAAtsIAADDBAADwQQAAUMEAAHhCAACgwAAAgsIAAEDBAADwwQAA0EEAAFhCAADgQQAA4EAAAILCAACGQgAAFMIAAJDBAAA4wgAAgMAAAABBAAAcwgAAbEIAAPhBAAAwQQAAIMEAALhBAAD4QQAAMEIAAJDBAABUwgAAqEEAAIC_AAC4wQAAYMEAABDCAACAvwAAgL8AAHhCAAAAwQAAmMIAAKBAAACYwQAA6MEgADgTQAlIdVABKo8CEAAagAIAAJg9AABwvQAAyL0AAI4-AAB8vgAAiD0AAIA7AADKvgAAUL0AAKA8AACIvQAAML0AALg9AABQvQAAVL4AAEy-AADYPQAABD4AAHQ-AACOPgAAfz8AAAQ-AACgvAAAtj4AAKC8AACoPQAAqL0AAEQ-AACIPQAAMD0AACQ-AABQvQAAML0AACw-AABUPgAAHD4AACQ-AABwvQAAqr4AABS-AAAQPQAAVD4AAIA7AAC4vQAATL4AAAQ-AAAQvQAAgDsAAOA8AAAcPgAApj4AAKA8AACiPgAA4DwAAOg9AACgvAAAFT8AACQ-AACYvQAAQDwAAOA8AACgvAAA6D0AALi9IAA4E0AJSHxQASqPAhABGoACAADivgAA-D0AABS-AABpvwAA6L0AAFw-AAAEPgAALD4AACy-AAAcPgAAJL4AAKg9AABkvgAA4DwAAIC7AAAwPQAAXL4AADM_AADgvAAArj4AAIC7AAAwPQAAUL0AAOC8AADSvgAAcL0AAJg9AACgvAAAPL4AAIA7AAAMPgAAmL0AACQ-AADYvQAA4DwAAMi9AACYvQAAiD0AAFy-AADgPAAA2L0AAOA8AABEPgAAML0AAEC8AAAQPQAAf78AALi9AABwPQAAEL0AAEw-AABUPgAAHT8AAGw-AAAkPgAAUD0AAEA8AAAEPgAAij4AAI6-AABEPgAAgj4AAJi9AACovSAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=L8x6IfcD_vM","parent-reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1920,"cheight":1080,"cratio":1.77777,"dups":["331171949640986919"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"3342169807"},"11678500970396774460":{"videoId":"11678500970396774460","docid":"34-2-0-ZD0DCB86D82CE4BDE","description":"Install vcrun6sp6 with winetricks Resident Evil 2 Remake...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3720380/40389471b0747557a17cd79da6769c04/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/hr/hp_JAAAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"19","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3Di_98Rqi7kpY","linkTemplate":"/video/preview/11678500970396774460?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Runtime Error (at -1:0): isskin.dll Linux WINE Error Solved","related_orig_text":"Runtime Verification","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Runtime Verification\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=i_98Rqi7kpY\",\"src\":\"serp\",\"rvb\":\"EqcDChQxNTA5NTgzMTM4OTI1NDk5MzYyMgoSMTMxMTM4NDA2Nzc4ODMyMTg5ChMzMjM3MzEwODI2MjIwNjM4Njc1ChQxNjA5MjE5NDQ3NjA4NTM5MTYyNQoTMjkzODk0MTcxMTc0NzMxODI3MwoUMTAxODM3MjAxNzQxMDI3Nzc5MjMKEzUzMTk4MDYzODI1NzY3NTM5ODIKEzc4MjUwMDExNTUyMDg0NTEzODIKEzk4NTM4ODk2ODYxNTA3MDQ3NTgKEzU3Mzg5Nzk2MTE0NTc2MzQ0ODUKEzQ1NjQ1Mzc4MjAzOTIxMTgwMjQKEzg2NDk0MDM0ODc3NDM5NDU2MDkKEzQ5Nzk2NTIxMzc5OTQ4ODAzOTgKEzg5OTc0NjczMTA0MjYzMTQ0MDIKFDE0NjcxMDUzMDQ1NzQ4NTk1MDQ5ChQxNjU5MDg2Njg3MDIyMDcxODYxMAoSMzMxMTcxOTQ5NjQwOTg2OTE5ChQxMTY3ODUwMDk3MDM5Njc3NDQ2MAoSNTY5ODM4MDAzNTIxNDYwNTYyChMyMTM3MDg5ODQ4MjMwOTE0Mjc3GhYKFDExNjc4NTAwOTcwMzk2Nzc0NDYwWhQxMTY3ODUwMDk3MDM5Njc3NDQ2MGqIFxIBMBgAIkUaMQAKKmhoeW52eWtlZ2V5a2xhcmNoaFVDLVV1cEVCSVg0WHJTN3BFaURRbURSQRICABIqEMIPDxoPPxOmAYIEJAGABCsqiwEQARp4gQ4MAwMAAAD59P8CBAX-ASD7BvX1AwMA2AgA_Qf4BAAB6_n6_gAAAPkE8gkHAAAA9vL9Cff_AQD0_QAA_QAAABD69QH0AAAABQH9B_8BAAAJ9vkBA_8AAAD_BPr_AAAAEfEM_wD__wEHEe_8AQAAAPvr_v8AAAAAIAAthGnTOzgTQAlITlACKoQCEAAa8AFe9eH_6fH7A-r-EAD98-wBgcgP_Cf27AD_4wn_xx0KAOL-4AC9Ag7-s_wWAPAhC__e8OD_LhwoAQr5AADj-RgAKuoRAQ__6AEp_BUB8B_4_9kVAf5H6PYAFfsLAP_m9P8VxOT_6-X4_cTm_v8OJhgDBPkYAhQZA__cAgkGDuweA88CAP3t-vH_wPDv_hv0-f8MD9__UiDt_fc__QAzCA0B4g8KA_AACAgGHA_6BgX2COz89_vsDQoC7Q4N-xkTDAEbCA4FAAUH_wH_-PQWJQkK5igH8vEZ-QsT_AUNAA32AQIDDAXcI_0E9w35CwX1ABIgAC33cik7OBNACUhhUAIqzwcQABrAB4ds2L4kXoM949G6OzVuwL3RUt68RTOJu9nfw71-Ors7gL6IPNZwIT5_-UQ9RdyHPfyMu75aUw-8xurFuy0JUD7U-GA85mQYPQ1ctD3Cfjm9vyOPvEQYX77UZGc7pZ0_PJWZx72i2RC9QZscPCnLiD6MS5U8UZ_JPAMWur1mjVU8YzILPbzrhzwv3Nm9pnrXPBpP5D06-T49668SPS5ZpT1jQky8HwhaPFEbsL0ZdOI99wybO_wLlDvWBsC7r_8AvFo39zrM62u72t2oPCy7EL7ZFq-8-zzKOwEwrj2HeaS70Q8ZPdEbk71PNFm8bmSDPAmuTbxvuVq9cD8FvTqWcr0sp3M9SJbCvBeYij3ZQs47CxGLPBg-Yr12t3w9Ft8rPKsx17yipSE9uvCHOwGZtz3Woiq8VyGKPDyUMjxK35o8nmutO8t1pD2ewBI5He3yuqqqIzwN34I857ikPKpdqD1LcA88bjVrvDZDw7sD7z898Bv8uj-oaz1QCik8QujFvNKurT2-2Za9YMEFPDTQxjxWsb09dck4vE2F17uHmrK8eikGvJj9lbzpKbK8rXppu3FBkTuoV2W9jRHkO3hilr0v1fG8XeIGO6SaozzAAGc9U4eJu9TxOL2JGIW9Bvrdu2n1nz1pyOU4ywj3u8Plor1BVwy9TeR2u5-muzxR_LO9lwabO6xFOj0smxm-f7TSuLjlozw4no88RsIMuwpM57xobHm8olrIOkHvzTxKw189s_QwuvmNZTwkzFm8XPLsumregT1RZmi9AhaEOb-rD73tBri7PoraOY6krjwbcmI9bPtPuHHc8zsi_Au9EC_bOLmnmz2i3mK93IDMOFvDFj2XG0w9YV-NuMe8Lj2SdBK9_Q-qOCLwUbwI19K8s3KrN2u7RL2x0Fi9BCP3uHSoED1xIIQ9lU4CuGiaarsQlgG-hiepuJ9Vybqq5I296JwVOW0IqTz4zEg8JsnjNLL-Zb0qYzI8_IwUufq49jzukl08kM-ROYNokrzkgx49p2upNy9rpLt7qnm9eVA6t1fTsL3Yx5S8vnkNuGJXibyoYlc73mBBuMdioL0ib3m9qbiguNDbc72P4ly9GwqWt7ySFL709YE9O9i4NsfO47uyzrK9ijp8txjUMj286Ra9HW-duEMCBj6Vrb-8NjwYuFOToDzDlkM9DCBKt2YQPz2rtAU9YD-AuHbspj3nXY47BWBmuAaJqL2VXVU8LDCeuAI3gbxgf5i9FKQhuEOVtb0XG7m9Ey-5toozED0BgEi9EDQStiAAOBNACUhtUAEqcxAAGmAp_AAkGwyq6kE-xu4C-xfx3L394Q0Z_zzg_wzb5sYZAcieFx7_UDX8IJgAAAAq66o48ADQf_ro2RS19MTpI7w0-VvmwPqk9g3wC69U3uvJG_0kCysAKNfvKDL-9A9a7DIgAC0fhxM7OBNACUhvUAIqrwYQDBqgBgAAQMAAAJhBAAAMQgAAHMIAAIhBAACIQQAAbEIAAJhBAACEwgAAyMEAACRCAADAwgAAiMIAAMBAAAAkQgAAAEEAAMDAAACGwgAACMIAAADBAACcQgAAeMIAALBBAADYQQAAoEAAAJjBAAAUwgAAkEEAAIpCAAAEwgAAUMEAAOhBAADWwgAAREIAAKBBAACywgAAqEEAAIBAAAD4QQAAlEIAAIDAAADgwAAAiEEAAAxCAAAAwQAAgMAAAMBBAADwwQAAVEIAAEBBAACewgAAEMEAAEBBAAAkwgAAnkIAAMhBAACgwgAAwMAAAMDAAADIwQAAUEEAANDBAADAwQAA1MIAAOBBAACEwgAA4MAAAOBBAAAMQgAAAMIAANhBAADgwAAA-EEAAEBCAADwQQAAoEEAADzCAABwQgAALEIAABDCAAB0wgAAWEIAABBBAACQQQAAXMIAABDCAAAcQgAAIEEAAJxCAABgQQAAQEAAAFRCAADgQAAAoMIAAADBAAAgwgAANMIAAKBAAACAvwAA4EAAAJDBAABwQgAAjEIAAEBBAACEwgAAoMAAAHRCAACgwAAAQEEAAHBCAABAQgAAoEEAAPjBAABAQQAAIEIAABDBAADoQQAA-EEAADzCAAD4QQAAEEIAABjCAABAwQAAeMIAAPDBAACOQgAA2MEAAFBBAACSwgAAAEAAAADCAADowQAAiMEAABTCAAAIwgAAREIAAEDBAABAQQAA4MEAAJjBAACQQQAA4EEAAOBBAAAwQQAAbEIAAABBAAA8wgAAWEIAAGDBAABsQgAAQEEAADBBAACgQAAA-MEAAATCAADIwgAAQMAAAODBAADAQQAAYEIAAKBBAACgQQAAsMEAAHDBAADAwQAAEMIAAMDAAAAIQgAASEIAAABAAABIwgAAlkIAAPDBAAA4wgAAMMEAAKBAAAB8QgAAAMIAADjCAACkQgAAOMIAACDCAADowQAABMIAAADBAADAQQAAMMIAAK5CAAAgQgAAAAAAACRCAACAwQAAiMEAAABCAACQwQAA4MAAAMjBAAAIQgAACMIAALDBIAA4E0AJSHVQASqPAhAAGoACAAAcPgAAoLwAALg9AAA0PgAA_r4AAFw-AAAUvgAAKb8AAEA8AADovQAAUD0AACQ-AABAPAAAHD4AAJa-AACmvgAAqj4AANg9AACgvAAAJz8AAH8_AACevgAAor4AALI-AADIPQAAuD0AACQ-AACAOwAAcL0AACw-AACoPQAAjr4AABw-AADePgAA1j4AADQ-AABAvAAAXL4AAES-AACOvgAAED0AADS-AABAPAAAyL0AADA9AAAsvgAAVD4AAKA8AABUvgAAoDwAAGw-AAAcPgAAiD0AAHC9AADYvQAAoDwAAEU_AADGPgAAoDwAADw-AACYPQAAdD4AACQ-AAAQvSAAOBNACUh8UAEqjwIQARqAAgAAoLwAAIg9AACWvgAAW78AAFS-AAAEPgAAiL0AAFw-AACIvQAAFL4AAGS-AADYvQAAJD4AAAS-AACyPgAAyL0AAGS-AAAtPwAA4DwAAGQ-AACovQAAwr4AAKI-AACYPQAALL4AAKA8AACOvgAAmL0AAEQ-AACGvgAABL4AALi9AABAPAAAgLsAAOC8AABAvAAAiD0AAEy-AADgPAAABL4AAHS-AADIPQAA4LwAADQ-AADoPQAAED0AAH-_AABQvQAAoDwAAAQ-AACovQAABL4AABA9AAAJPwAAzr4AACQ-AADgvAAA-L0AAEQ-AACovQAAmj4AABQ-AADgvAAAyr4gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=i_98Rqi7kpY","parent-reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1920,"cheight":1080,"cratio":1.77777,"dups":["11678500970396774460"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":false,"contentTypeId":null,"censored":false,"videoContentId":"978605505"}},"dups":{"15095831389254993622":{"videoId":"15095831389254993622","title":"\u0007[Runtime\u0007] \u0007[Verification\u0007] - Security Techniques & Formal \u0007[Verification\u0007] for Developers @ Multic...","cleanTitle":"Runtime Verification - Security Techniques & Formal Verification for Developers @ Multichain ETH","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=lDVOe0eunt0","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/lDVOe0eunt0?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDV2hEOTNZVFpzTXVCelZwYkdmVzdOUQ==","name":"Blockswap Network","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Blockswap+Network","origUrl":"http://www.youtube.com/@blockswapnetwork","a11yText":"Blockswap Network. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":2754,"text":"45:54","a11yText":"Süre 45 dakika 54 saniye","shortText":"45 dk."},"date":"4 mayıs 2022","modifyTime":1651622400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/lDVOe0eunt0?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=lDVOe0eunt0","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","duration":2754},"parentClipId":"15095831389254993622","href":"/preview/15095831389254993622?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification","rawHref":"/video/preview/15095831389254993622?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"131138406778832189":{"videoId":"131138406778832189","title":"Efficient \u0007[runtime\u0007] \u0007[verification\u0007] for the linux kernel","cleanTitle":"Efficient runtime verification for the linux kernel","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=qbR5aMmG_eI","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/qbR5aMmG_eI?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDUUlrbE05N1NaaU1HR0xYdXR2aFlHQQ==","name":"CodeCore","isVerified":false,"subscribersCount":0,"url":"/video/search?text=CodeCore","origUrl":"http://www.youtube.com/@CodeCore-ju6re","a11yText":"CodeCore. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1125,"text":"18:45","a11yText":"Süre 18 dakika 45 saniye","shortText":"18 dk."},"date":"14 mar 2025","modifyTime":1741910400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/qbR5aMmG_eI?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=qbR5aMmG_eI","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","duration":1125},"parentClipId":"131138406778832189","href":"/preview/131138406778832189?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification","rawHref":"/video/preview/131138406778832189?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"3237310826220638675":{"videoId":"3237310826220638675","title":"\u0007[Runtime\u0007] \u0007[Verification\u0007] x Cantina | Demo + Q&A","cleanTitle":"Runtime Verification x Cantina | Demo + Q&A","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=LJCVG3W62yM","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/LJCVG3W62yM?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDSUZZUlJDTkE4T3B3ZnBZRjJjTGJZdw==","name":"Cantina","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Cantina","origUrl":"http://www.youtube.com/@cantina-xyz","a11yText":"Cantina. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":3485,"text":"58:05","a11yText":"Süre 58 dakika 5 saniye","shortText":"58 dk."},"date":"4 şub 2025","modifyTime":1738627200000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/LJCVG3W62yM?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=LJCVG3W62yM","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","duration":3485},"parentClipId":"3237310826220638675","href":"/preview/3237310826220638675?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification","rawHref":"/video/preview/3237310826220638675?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"16092194476085391625":{"videoId":"16092194476085391625","title":"\u0007[Runtime\u0007] \u0007[Verification\u0007] Meets Android Security","cleanTitle":"Runtime Verification Meets Android Security","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=wcb8-n7vxrk","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/wcb8-n7vxrk?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDZk9kcUszY0J6cHdnNkJCNHNrbVpZUQ==","name":"Jan Kuester","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Jan+Kuester","origUrl":"https://www.youtube.com/channel/UCfOdqK3cBzpwg6BB4skmZYQ","a11yText":"Jan Kuester. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":294,"text":"4:54","a11yText":"Süre 4 dakika 54 saniye","shortText":"4 dk."},"date":"8 mar 2012","modifyTime":1331164800000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/wcb8-n7vxrk?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=wcb8-n7vxrk","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","duration":294},"parentClipId":"16092194476085391625","href":"/preview/16092194476085391625?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification","rawHref":"/video/preview/16092194476085391625?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"2938941711747318273":{"videoId":"2938941711747318273","title":"\u0007[Runtime\u0007] \u0007[Verification\u0007] with Patrick MacKay and Everett Hildenbrandt","cleanTitle":"Runtime Verification with Patrick MacKay and Everett Hildenbrandt","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=Yflgq9Z6qTY","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/Yflgq9Z6qTY?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDbm8xRVNVSEpBUUV4NWZXeTZPOGpKQQ==","name":"Champaign Blockchain","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Champaign+Blockchain","origUrl":"http://www.youtube.com/@ChampaignBlockchain","a11yText":"Champaign Blockchain. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":2816,"text":"46:56","a11yText":"Süre 46 dakika 56 saniye","shortText":"46 dk."},"date":"16 nis 2021","modifyTime":1618531200000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/Yflgq9Z6qTY?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=Yflgq9Z6qTY","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","duration":2816},"parentClipId":"2938941711747318273","href":"/preview/2938941711747318273?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification","rawHref":"/video/preview/2938941711747318273?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"10183720174102777923":{"videoId":"10183720174102777923","title":"Efficient \u0007[Runtime\u0007] \u0007[Verification\u0007] for the Linux Kernel","cleanTitle":"Efficient Runtime Verification for the Linux Kernel","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=q_QggKBcClA","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/q_QggKBcClA?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDdHhlaV85bnpjOG81LVdxTW1hUXRxdw==","name":"Red Hat Community","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Red+Hat+Community","origUrl":"http://www.youtube.com/@RedHatCommunity","a11yText":"Red Hat Community. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1589,"text":"26:29","a11yText":"Süre 26 dakika 29 saniye","shortText":"26 dk."},"views":{"text":"1,2bin","a11yText":"1,2 bin izleme"},"date":"6 şub 2020","modifyTime":1580947200000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/q_QggKBcClA?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=q_QggKBcClA","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","duration":1589},"parentClipId":"10183720174102777923","href":"/preview/10183720174102777923?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification","rawHref":"/video/preview/10183720174102777923?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"5319806382576753982":{"videoId":"5319806382576753982","title":"Assumption-Based \u0007[Runtime\u0007] \u0007[Verification\u0007] of Infinite-State Systems","cleanTitle":"Assumption-Based Runtime Verification of Infinite-State Systems","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=QTIoJU4E4ak","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/QTIoJU4E4ak?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDd0VNckFIR0ZBMGptM25CWEhVTnlfZw==","name":"Runtime Verification 2021","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Runtime+Verification+2021","origUrl":"https://www.youtube.com/channel/UCwEMrAHGFA0jm3nBXHUNy_g","a11yText":"Runtime Verification 2021. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1188,"text":"19:48","a11yText":"Süre 19 dakika 48 saniye","shortText":"19 dk."},"date":"2 eki 2021","modifyTime":1633132800000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/QTIoJU4E4ak?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=QTIoJU4E4ak","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","duration":1188},"parentClipId":"5319806382576753982","href":"/preview/5319806382576753982?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification","rawHref":"/video/preview/5319806382576753982?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"7825001155208451382":{"videoId":"7825001155208451382","title":"Interactive \u0007[Runtime\u0007] \u0007[Verification\u0007] - a short tutorial using Verde","cleanTitle":"Interactive Runtime Verification - a short tutorial using Verde","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=99uFA6NVU8k","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/99uFA6NVU8k?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDdXlNR2FDSGllcklfc1VYMGxLX2IwZw==","name":"Raphaël Jakse","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Rapha%C3%ABl+Jakse","origUrl":"http://www.youtube.com/@raphaeljakse6752","a11yText":"Raphaël Jakse. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":153,"text":"2:33","a11yText":"Süre 2 dakika 33 saniye","shortText":"2 dk."},"date":"29 mar 2018","modifyTime":1522281600000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/99uFA6NVU8k?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=99uFA6NVU8k","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","duration":153},"parentClipId":"7825001155208451382","href":"/preview/7825001155208451382?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification","rawHref":"/video/preview/7825001155208451382?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"9853889686150704758":{"videoId":"9853889686150704758","title":"Specification and \u0007[Runtime\u0007] \u0007[Verification\u0007] of Temporal Assessments in Simulink","cleanTitle":"Specification and Runtime Verification of Temporal Assessments in Simulink","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=ISYTT_3096g","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/ISYTT_3096g?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDd0VNckFIR0ZBMGptM25CWEhVTnlfZw==","name":"Runtime Verification 2021","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Runtime+Verification+2021","origUrl":"http://www.youtube.com/@RuntimeVerification","a11yText":"Runtime Verification 2021. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":914,"text":"15:14","a11yText":"Süre 15 dakika 14 saniye","shortText":"15 dk."},"date":"1 eki 2021","modifyTime":1633046400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/ISYTT_3096g?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=ISYTT_3096g","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","duration":914},"parentClipId":"9853889686150704758","href":"/preview/9853889686150704758?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification","rawHref":"/video/preview/9853889686150704758?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"5738979611457634485":{"videoId":"5738979611457634485","title":"RV-Android: Lightweight Android \u0007[Runtime\u0007] \u0007[Verification\u0007]","cleanTitle":"RV-Android: Lightweight Android Runtime Verification","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=0JVPjnBEgfc","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/0JVPjnBEgfc?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDeGxubk5PNEk1dmlSMTZFUDlUWTl6Zw==","name":"Philip Daian","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Philip+Daian","origUrl":"https://www.youtube.com/channel/UCxlnnNO4I5viR16EP9TY9zg","a11yText":"Philip Daian. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":880,"text":"14:40","a11yText":"Süre 14 dakika 40 saniye","shortText":"14 dk."},"date":"26 nis 2014","modifyTime":1398470400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/0JVPjnBEgfc?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=0JVPjnBEgfc","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","duration":880},"parentClipId":"5738979611457634485","href":"/preview/5738979611457634485?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification","rawHref":"/video/preview/5738979611457634485?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"4564537820392118024":{"videoId":"4564537820392118024","title":"OSDI '20 - Aragog: Scalable \u0007[Runtime\u0007] \u0007[Verification\u0007] of Distributed Middleboxes","cleanTitle":"OSDI '20 - Aragog: Scalable Runtime Verification of Distributed Middleboxes","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=l_4kjP-WmQo","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/l_4kjP-WmQo?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDNC1HcnBRQng2V0NHd213b3pQNzQ0UQ==","name":"USENIX","isVerified":false,"subscribersCount":0,"url":"/video/search?text=USENIX","origUrl":"http://www.youtube.com/@UsenixOrg","a11yText":"USENIX. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1129,"text":"18:49","a11yText":"Süre 18 dakika 49 saniye","shortText":"18 dk."},"date":"18 kas 2020","modifyTime":1605727041000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/l_4kjP-WmQo?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=l_4kjP-WmQo","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","duration":1129},"parentClipId":"4564537820392118024","href":"/preview/4564537820392118024?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification","rawHref":"/video/preview/4564537820392118024?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"8649403487743945609":{"videoId":"8649403487743945609","title":"RV and the deadline scheduler: how to \u0007[verify\u0007] your subsystem at runti... Gabriele Monaco & Juri ...","cleanTitle":"RV and the deadline scheduler: how to verify your subsystem at runti... Gabriele Monaco & Juri Lelli","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=YwQd0MznrTs","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/YwQd0MznrTs?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDSXhzbVJXajMtNzk1Rk1scnNpa2QzQQ==","name":"Linux Plumbers Conference","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Linux+Plumbers+Conference","origUrl":"http://www.youtube.com/@LinuxPlumbersConference","a11yText":"Linux Plumbers Conference. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":2514,"text":"41:54","a11yText":"Süre 41 dakika 54 saniye","shortText":"41 dk."},"date":"18 ara 2025","modifyTime":1766016000000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/YwQd0MznrTs?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=YwQd0MznrTs","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","duration":2514},"parentClipId":"8649403487743945609","href":"/preview/8649403487743945609?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification","rawHref":"/video/preview/8649403487743945609?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"4979652137994880398":{"videoId":"4979652137994880398","title":"How to integrate and \u0007[verify\u0007] \u0007[time\u0007]-critical applications on DO-178C multicore platforms","cleanTitle":"How to integrate and verify time-critical applications on DO-178C multicore platforms","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=8VpGbLs6ISY","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/8VpGbLs6ISY?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDbVRMaE03bDFSSmFBMk1UbUxRMUxEQQ==","name":"Rapita Systems","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Rapita+Systems","origUrl":"http://www.youtube.com/@Rapitasystems","a11yText":"Rapita Systems. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":4149,"text":"1:09:09","a11yText":"Süre 1 saat 9 dakika 9 saniye","shortText":"1 sa. 9 dk."},"date":"12 şub 2025","modifyTime":1739318400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/8VpGbLs6ISY?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=8VpGbLs6ISY","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","duration":4149},"parentClipId":"4979652137994880398","href":"/preview/4979652137994880398?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification","rawHref":"/video/preview/4979652137994880398?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"8997467310426314402":{"videoId":"8997467310426314402","title":"Fetch Chrome Version \u0007[Runtime\u0007]","cleanTitle":"Fetch Chrome Version Runtime","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=oAgPQPLC86w","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/oAgPQPLC86w?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDTVpXSEdIc1ZrVHE1cjNIQUt0cDlRUQ==","name":"Automation Hub Software Testing","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Automation+Hub+Software+Testing","origUrl":"http://www.youtube.com/@AutomationHubSoftwareTesting","a11yText":"Automation Hub Software Testing. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":569,"text":"9:29","a11yText":"Süre 9 dakika 29 saniye","shortText":"9 dk."},"date":"21 haz 2020","modifyTime":1592697600000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/oAgPQPLC86w?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=oAgPQPLC86w","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","duration":569},"parentClipId":"8997467310426314402","href":"/preview/8997467310426314402?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification","rawHref":"/video/preview/8997467310426314402?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"14671053045748595049":{"videoId":"14671053045748595049","title":"How to check which directx \u0007[runtime\u0007] version is installed on my windows machine?","cleanTitle":"How to check which directx runtime version is installed on my windows machine?","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=SWwIFGt_XZg","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/SWwIFGt_XZg?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDUEYtb1liMi14TjVGYkNYeTAxNjdHZw==","isVerified":false,"subscribersCount":0,"url":"/video/search?text=%D0%A0%D0%BE%D1%8D%D0%BB%D1%8C+%D0%92%D0%B0%D0%BD+%D0%B4%D0%B5+%D0%9F%D0%B0%D0%B0%D1%80+%28%D0%A2%D0%B5%D1%85%D0%BD%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0%D1%8F+%D0%BF%D0%BE%D0%BC%D0%BE%D1%89%D1%8C+%D0%A0%D0%BE%D1%8D%D0%BB%D1%8F%29","origUrl":"http://www.youtube.com/@RoelVandePaar","a11yText":""},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":73,"text":"1:13","a11yText":"Süre 1 dakika 13 saniye","shortText":"1 dk."},"date":"5 ağu 2021","modifyTime":1628173111000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/SWwIFGt_XZg?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=SWwIFGt_XZg","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","duration":73},"parentClipId":"14671053045748595049","href":"/preview/14671053045748595049?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification","rawHref":"/video/preview/14671053045748595049?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"16590866870220718610":{"videoId":"16590866870220718610","title":"[Solved] \u0007[Runtime\u0007] Error 339 (100% Working)","cleanTitle":"[Solved] Runtime Error 339 (100% Working)","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=62QCZ33-4q4","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/62QCZ33-4q4?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDWERqd0haam9CbkdOMng2MklCR0Zkdw==","name":"TechinPost","isVerified":false,"subscribersCount":0,"url":"/video/search?text=TechinPost","origUrl":"http://www.youtube.com/@TechinPost","a11yText":"TechinPost. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":365,"text":"6:05","a11yText":"Süre 6 dakika 5 saniye","shortText":"6 dk."},"views":{"text":"2,7bin","a11yText":"2,7 bin izleme"},"date":"21 ağu 2023","modifyTime":1692577506000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/62QCZ33-4q4?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=62QCZ33-4q4","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","duration":365},"parentClipId":"16590866870220718610","href":"/preview/16590866870220718610?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification","rawHref":"/video/preview/16590866870220718610?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"331171949640986919":{"videoId":"331171949640986919","title":"VC RuntimeMinimum x64 msi is not found","cleanTitle":"VC RuntimeMinimum x64 msi is not found","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=L8x6IfcD_vM","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/L8x6IfcD_vM?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDSHAxNnJnblBtUmJPZXJ4SFMwQnJHQQ==","name":"Wasi teck gamers","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Wasi+teck+gamers","origUrl":"http://www.youtube.com/@Wasiteckgamers","a11yText":"Wasi teck gamers. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":309,"text":"5:09","a11yText":"Süre 5 dakika 9 saniye","shortText":"5 dk."},"views":{"text":"45,8bin","a11yText":"45,8 bin izleme"},"date":"2 tem 2021","modifyTime":1625184000000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/L8x6IfcD_vM?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=L8x6IfcD_vM","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","duration":309},"parentClipId":"331171949640986919","href":"/preview/331171949640986919?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification","rawHref":"/video/preview/331171949640986919?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"11678500970396774460":{"videoId":"11678500970396774460","title":"\u0007[Runtime\u0007] Error (at -1:0): isskin.dll Linux WINE Error Solved","cleanTitle":"Runtime Error (at -1:0): isskin.dll Linux WINE Error Solved","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=i_98Rqi7kpY","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/i_98Rqi7kpY?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDLVV1cEVCSVg0WHJTN3BFaURRbURSQQ==","name":"PlayStation 4 Linux","isVerified":false,"subscribersCount":0,"url":"/video/search?text=PlayStation+4+Linux","origUrl":"http://www.youtube.com/@PlayStation4Linux","a11yText":"PlayStation 4 Linux. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":166,"text":"2:46","a11yText":"Süre 2 dakika 46 saniye","shortText":"2 dk."},"views":{"text":"25bin","a11yText":"25 bin izleme"},"date":"12 şub 2019","modifyTime":1549929600000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/i_98Rqi7kpY?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=i_98Rqi7kpY","reqid":"1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL","duration":166},"parentClipId":"11678500970396774460","href":"/preview/11678500970396774460?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification","rawHref":"/video/preview/11678500970396774460?parent-reqid=1769193937679926-12314447597897165134-balancer-l7leveler-kubr-yp-sas-257-BAL&text=Runtime+Verification","isEmbedOnly":false,"shouldPlayInstreamPreroll":false}}},"viewer":{"_isInitial":false,"clips":{"items":{},"dups":{},"loadingStatus":"None"},"internal":{"videoId":"","sandboxEventPrefix":"sandbox:","sandboxVersion":"0x001cd987dbd","isEmbedded":false,"from":"yavideo","service":"ya-video","hbPeriod":30,"table":"video_tech","isInstreamDisabled":false,"nonce":"3144475978971651347257","errorList":[],"isAdultAdv":false,"isImportantCommonAdv":false,"shouldShowAdvId":false,"advConfig":{"under-player":{"regular":{"default":"R-I-48058-725","mail":"R-A-13411721-6"},"adult":{"default":"R-I-474674-114","mail":"R-A-13426421-6"}},"under-player-lite":{"regular":{"default":"R-I-48058-728"},"adult":{"default":"R-I-474674-103"}},"under-player-old":{"regular":{"default":"R-I-48058-725","mail":"R-A-13411721-6"},"adult":{"default":"R-I-474674-114","mail":"R-A-13426421-6"}},"video-list":{"regular":{"default":"R-I-48058-708","mail":"R-A-13411721-2"},"adult":{"default":"R-I-474674-101","mail":"R-A-13426421-2"}},"search-list":{"adult":{"default":"R-I-474674-135","mail":"R-A-13426421-23"},"regular":{"default":"R-I-48058-751","mail":"R-A-13411721-23"}},"search-grid-row":{"regular":{"default":"R-I-48058-718","mail":"R-A-13411721-4"},"adult":{"default":"R-I-474674-109","mail":"R-A-13426421-4"}},"search-grid-head":{"regular":{"default":"R-I-2120168-7"}},"search-list-right":{"regular":{"default":"R-I-8843654-1"}},"before-player-old":{"regular":{"default":"R-I-2120168-1"}},"before-player":{"regular":{"default":"R-I-2120168-1"}},"search-grid-inplace":{"adult":{"default":"R-I-474674-126","mail":"R-A-13426421-16"},"regular":{"default":"R-I-48058-742","mail":"R-A-13411721-16"}}},"shouldValidateSandbox":false,"sandboxInitTimeout":15000,"isSSROnlyMastheadEnabled":true,"query":"Runtime Verification","queryUriEscaped":"Runtime%20Verification","filterMode":1,"isUserChild":false,"advInstreamConfig":{"regular":{"default":{"category":"2","impId":"7","partnerId":"2216089","vmapScenarioId":"119"}},"adult":{"default":{"category":"3","impId":"4","partnerId":"1988486","vmapScenarioId":"119"}}}},"playbackQueue":{"currentIndex":0,"items":[]},"related":{"items":[],"pages":[],"loadingStatus":"None","nextPageNum":0,"ncrnd":0},"playlist":{"items":{}},"delayedViews":{"ids":[],"loadingStatus":"None"}}}