{"pages":{"search":{"query":"Model Checking","originalQuery":"Model Checking","serpid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","parentReqid":"","serpItems":[{"id":"3663739781652936367-0-0","type":"videoSnippet","props":{"videoId":"3663739781652936367"},"curPage":0},{"id":"16975383912128316159-0-1","type":"videoSnippet","props":{"videoId":"16975383912128316159"},"curPage":0},{"id":"3801715157088996229-0-2","type":"videoSnippet","props":{"videoId":"3801715157088996229"},"curPage":0},{"id":"6678326416081424599-0-3","type":"videoSnippet","props":{"videoId":"6678326416081424599"},"curPage":0},{"id":"R-I-113683-5-0-4","type":"direct","props":{"advRsyaActivateParams":{"pcodeParams":{"blockId":"","renderTo":"","pageNumber":4,"grab":"dE1vZGVsIENoZWNraW5nCg==","statId":4,"darkTheme":false,"lazyLoad":false,"extParams":{"reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","ui":"desktop","yuid":"1368032161774917119"}}},"isAdult":false,"position":4,"placement":"empty"},"curPage":0},{"id":"3807808448112303313-0-5","type":"videoSnippet","props":{"videoId":"3807808448112303313"},"curPage":0},{"id":"11273585389513353507-0-6","type":"videoSnippet","props":{"videoId":"11273585389513353507"},"curPage":0},{"id":"2833861246317751013-0-7","type":"videoSnippet","props":{"videoId":"2833861246317751013"},"curPage":0},{"id":"15284245401808798588-0-8","type":"videoSnippet","props":{"videoId":"15284245401808798588"},"curPage":0},{"id":"13257167820862741657-0-9","type":"videoSnippet","props":{"videoId":"13257167820862741657"},"curPage":0},{"id":"13888288001487079840-0-10","type":"videoSnippet","props":{"videoId":"13888288001487079840"},"curPage":0},{"id":"R-I-113683-5-0-11","type":"direct","props":{"advRsyaActivateParams":{"pcodeParams":{"blockId":"","renderTo":"","pageNumber":11,"grab":"dE1vZGVsIENoZWNraW5nCg==","statId":11,"darkTheme":false,"lazyLoad":false,"extParams":{"reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","ui":"desktop","yuid":"1368032161774917119"}}},"isAdult":false,"position":11,"placement":"empty"},"curPage":0},{"id":"8475792796507658285-0-12","type":"videoSnippet","props":{"videoId":"8475792796507658285"},"curPage":0},{"id":"5451646838122434029-0-13","type":"videoSnippet","props":{"videoId":"5451646838122434029"},"curPage":0},{"id":"17224173242603610306-0-14","type":"videoSnippet","props":{"videoId":"17224173242603610306"},"curPage":0},{"id":"18387344751984806067-0-15","type":"videoSnippet","props":{"videoId":"18387344751984806067"},"curPage":0},{"id":"18055160867894959773-0-16","type":"videoSnippet","props":{"videoId":"18055160867894959773"},"curPage":0},{"id":"2603391197508446746-0-17","type":"videoSnippet","props":{"videoId":"2603391197508446746"},"curPage":0},{"id":"10696569566446067258-0-18","type":"videoSnippet","props":{"videoId":"10696569566446067258"},"curPage":0},{"id":"7605141319867491700-0-19","type":"videoSnippet","props":{"videoId":"7605141319867491700"},"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,"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":"dE1vZGVsIENoZWNraW5nCg==","darkTheme":false,"lazyLoad":false,"extParams":{"reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","ui":"desktop","yuid":"1368032161774917119"}}},"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%3DModel%2BChecking","pages":[{"reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","start":0,"end":20,"pageNumber":0,"isCounterSent":false}]},"main":{"_isInitial":true,"snippets":[],"serpFooter":{"linksGroups":[]},"isLoggedIn":false,"tags":[]}},"internal":{"nonce":"7955392905483048270766","expFlags":{"video_settings_toolbar_redesign":1,"velocity_delay_drawer":1,"video_feedback_in_d2d":1,"video_search_toggle_with_text":1,"video_viewer_show_placeholder":1,"velocity_disable_suspense":1,"video_viewer_desktop_smart_layout":1,"dark_theme_desktop":"cookie","video_viewer_check_sandbox_origin":1,"video_font_yandex_sans":1,"video_adv_new_show_rules":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"}}},"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_channel_link_mode":2,"video_partner_label":1,"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_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_kebab_advanced_actions":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,"video_related_suggest_enable":1,"video_redirect_plug":2,"video_adv_grid_inplace":1,"dark_theme_desktop_default_pref":"system","video_search_toggle_enable":1,"video_depot_viewer_related_adv_margin":400,"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":0,"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,"video_comments_smart_nonstop":1},"slots":["1522369,0,42;1520073,0,18;1414492,0,23;1500299,0,15;1518678,0,95;1520518,0,6;1441068,0,58;1524666,0,8;1511955,0,23;27393,0,90;1516158,0,95;45959,0,96;1522412,0,59;1519859,0,9;1522711,0,96;1516454,0,58;1497900,0,52;1518186,0,44;120693,0,92;124071,0,28;1503415,0,99;1519430,0,24;1522007,0,16;1515118,0,92;151171,0,59;1281084,0,32;287509,0,6;1447467,0,82;1254304,0,3;1482975,0,45;912285,0,76"],"isYandexNet":false,"platform":"desktop","isEnLogo":true,"retpath":"https%3A%2F%2Fgs.yandex.com.tr%2Fvideo%2Fsearch%3Ftext%3DModel%2BChecking","mordaUrl":"//yandex.com.tr/","videoSearchUrl":"https://gs.yandex.com.tr/video/search?text=Model+Checking","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":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","backUrl":"//ya.ru","url":"https://gs.yandex.com.tr/video/search?text=Model+Checking","isIntegrationTest":false,"isEndToEndTest":false,"shouldDropLogs":false,"seo":{"title":"Model Checking: Yandex'te 2 bin video bulundu","description":"Результаты поиска по запросу \"Model Checking\" в Яндексе","keywords":"яндекс видео, поиск видео, смотреть онлайн, сериалы, фильмы, клипы","shareTitle":"Model Checking — Яндекс — поиск по видео"},"isEmbedded":false,"isPumpkin":false,"sessionCsrfToken":"ydc3c1a19a76017ede4b136a533be0e7b","reportFeedbackBaseProps":{"initEmail":"","metaFields":{"userAgent":"Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)","userTestids":"1522369,1520073,1414492,1500299,1518678,1520518,1441068,1524666,1511955,27393,1516158,45959,1522412,1519859,1522711,1516454,1497900,1518186,120693,124071,1503415,1519430,1522007,1515118,151171,1281084,287509,1447467,1254304,1482975,912285","queryText":"Model Checking","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","userRegionName":"","userRegionId":"id() {\n return this._region.id;\n }","yandexuid":"1368032161774917119","uid":"0","isChildAccount":false}},"userTestids":"191768,238743,246500,253288,265553,270072,277807,274239,294077,278842,331010,338398,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,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,1459585,1461130,1492788,1495633,1511916,1514845,1523309,1299604","regionId":20815,"isYaRu":false,"shouldUnmountSearchPageInViewer":false,"videoGlobalContext":{"platform":"desktop","isPumpkin":false,"language":"tr","user_time":{"epoch":"1774917142","tz":"America/Louisville","to_iso":"2026-03-30T20:32:22-0400","__is_plain":1},"isHermione":false,"shouldStubImages":true,"enableVideoPreviewInHermione":false,"reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-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":"1522369,1520073,1414492,1500299,1518678,1520518,1441068,1524666,1511955,27393,1516158,45959,1522412,1519859,1522711,1516454,1497900,1518186,120693,124071,1503415,1519430,1522007,1515118,151171,1281084,287509,1447467,1254304,1482975,912285","queryText":"Model Checking","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","userRegionName":"","userRegionId":"id() {\n return this._region.id;\n }","yandexuid":"1368032161774917119","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":"7955392905483048270766","disableDoc2DocHostLink":false,"shouldHideChannelLink":false,"disableChannelLink":false,"userConnectionRtt":155,"animated":false,"isDoc2DocScrollFix":true,"smartDesktopLayout":true,"enableVIImprovements":false,"enableLazyPoster":false,"isAdvDisabled":false,"isVideoTranslationSupported":false,"isSummaryDisabled":false,"isSummaryOnlineEnabled":true,"shouldRenderBroSummaryApiContainer":false,"shouldDropLogs":false,"shouldUseBeacon":false,"hasAdBlock":false,"rknWarnHosts":[""],"relatedAdvRootMargin":400,"postInstreamScreenDuration":2000,"minVideoDurationForInstream":120,"isInstreamEnabledInTesting":false,"wildcard":false,"isAdvUnderPlayerRedesign":false,"disableEarlyEventsUnsubscribe":false,"showDebugRelatedURL":false,"shouldUseBetaErrorLogging":false,"shouldShowMetaUnderPlayer":false,"isVideoViewerMetaTitleHidden":false,"isStickyPlayerDisabled":false,"headerNoFavicon":false,"headerBranded":false,"shouldCensorSensitiveContent":false,"shouldCensorShockContent":false,"isAdvUnderPlayerTransparent":false,"isDoc2DocGridLayoutEnabled":false,"detailsRedesignEnabled":false,"detailsRedesignV2Enabled":false,"detailsRedesignV3Enabled":false,"isD2DEmptyLoadFixDisabled":false,"isRoundedPlayerEnabled":false,"isSettingsToolbarRedesign":true,"isDoc2DocEmptyRetryEnabled":false,"isAdvUnderPlayerWithBackdrop":false,"isTouchAdvWithBackdrop":false,"isDoc2DocErrorScreenEnabled":true,"isDoc2DocFeedbackKebabEnabled":true,"isCommentsEnabled":false,"isCommentsCountOnSnippetsEnabled":false,"isCommentsSmartNonStopEnabled":true,"isVideoMainButtonInitiallyCollapsed":false,"isAdvUnderPlayerWithInnerPadding":false,"isKebabAdvancedActionsEnabled":true,"isKebabOnTouchVideoSearchEnabled":false,"isAdvVideoListLikeUnderPlayer":false,"isSummaryInMetaButtons":false,"isSummaryInMetaButtonsDesktop":false,"isMetaCommentsButtonEnabled":false,"isCommentsAuthPopup":false,"preventAdvHideOnEmpty":false,"isPlayerChangeCounterEnabled":false,"isSmallTitle":false,"shouldRestoreMuteState":false,"isAdvUnderPlayerWithSlider":false,"isAdvUnderPlayerCommentsAligned":false,"isSerialNavigatorDisabled":false},"shouldShowAdvId":false,"isAdultQuery":false,"isSensitivePage":false,"showSensitive":false,"showShock":false,"shouldReplaceHref":false},"user":{"tld":"com.tr","isEuDomain":false,"login":"","passportId":"","isLoggedIn":false,"locationName":"Columbus","isFamily":false,"yandexuid":"1368032161774917119","ugcCsrfToken":"","family":1,"isChild":false},"config":{"skinMode":"system","skin":"light","version":"releases-frontend-video-v1.1796.0__3ae6a010868d09163cb93e7131be2d934b29d498","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","request_entry_completed":"2021","snippet":"254","icon":"1167","abuse":"1436","submit":"297","extralinks":"3557","feedback":"296","wizard":"358","incut":"1073","out":"3218","popup":"1544","scroll":"768","show":"487","retry":"3545","region":"287","help":"177","settings":"1137","recommendations":"2671","home":"1319","soo":"65","youtube":"624","google":"66","bing":"568"}},"clips":{"items":{"3663739781652936367":{"videoId":"3663739781652936367","docid":"34-11-1-Z642CEBF1D7DD80EB","description":"Speaker: Rob Zinkov Title: A Tour of Model Checking Techniques Video: • A Tour of Model Checking Techniques (Rob Z... Event description: Have you ever written a model in PyMC and aren’t sure if...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/2101071/642e25ab96389857b5869d8fcdbada5b/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/e4CUSgEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"0","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DvfqPGGCpY6I","linkTemplate":"/video/preview/3663739781652936367?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"A Tour of Model Checking Techniques (Rob Zinkov)","related_orig_text":"Model Checking","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Model Checking\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=vfqPGGCpY6I\",\"src\":\"serp\",\"rvb\":\"Eq8DChMzNjYzNzM5NzgxNjUyOTM2MzY3ChQxNjk3NTM4MzkxMjEyODMxNjE1OQoTMzgwMTcxNTE1NzA4ODk5NjIyOQoTNjY3ODMyNjQxNjA4MTQyNDU5OQoTMzgwNzgwODQ0ODExMjMwMzMxMwoUMTEyNzM1ODUzODk1MTMzNTM1MDcKEzI4MzM4NjEyNDYzMTc3NTEwMTMKFDE1Mjg0MjQ1NDAxODA4Nzk4NTg4ChQxMzI1NzE2NzgyMDg2Mjc0MTY1NwoUMTM4ODgyODgwMDE0ODcwNzk4NDAKEzg0NzU3OTI3OTY1MDc2NTgyODUKEzU0NTE2NDY4MzgxMjI0MzQwMjkKFDE3MjI0MTczMjQyNjAzNjEwMzA2ChQxODM4NzM0NDc1MTk4NDgwNjA2NwoUMTgwNTUxNjA4Njc4OTQ5NTk3NzMKEzI2MDMzOTExOTc1MDg0NDY3NDYKFDEwNjk2NTY5NTY2NDQ2MDY3MjU4ChM3NjA1MTQxMzE5ODY3NDkxNzAwChQxODA0NDU4NzY4MDIyOTI1OTk4MwoUMTIyMDM5NzczNDAyMjU1NTA0NDYaFQoTMzY2MzczOTc4MTY1MjkzNjM2N1oTMzY2MzczOTc4MTY1MjkzNjM2N2q2DxIBMBgAIkUaMQAKKmhocHNudGl5bnFtbHR3ZWRoaFVDWkpzU0FLSjVWaXdMOS1ZTWhZUHdHZxICABIqEMIPDxoPPxPUFYIEJAGABCsqiwEQARp4gQAQ-vv9BAD-CgcBBAX-AfYLBgL5_f0A-AUM-gMD_gD2EwcD_wAAAPoK-wMCAAAACBH8A_X9AQAKAQD_7AD_AAoIC_4DAAAA_Qn69_8BAAD2BAIJ9wIAAQgEAgoAAAAA-v3-AwEAAAAG_Qz_AAAAABT_9w0AAAAAIAAtk3nbOzgTQAlITlACKoQCEAAa8AFWCvD_zfIg_xny5gHyKe4AgQUL_0r85v_b6_EBz_DoAAgh-wDo8BX_6hYO_9n6DQAA6fL_GwUGABr2A_8j_AQAFgoZADvpCgEuAP0A9QkC__IEBwAiDCb_E_n__hMJ-_8YChH_9PHg_-UJ_AL_AyEADRYTABfy9QD-Ch79BwsQAPUD-wL9BhL--gL2_fcWBwbsAugB_BDv_wYCAAT7F_IE8_QHACju-AMpGf0B6wgI-_MdCvkL9f78AhIFCxkT9gHq7v4DCOT_CPEZBwMhAgcJ-vYY9ujw___y9_b__tgH-eX6C_TvFgEABwIRDRX5AfcgAC1uJ0g7OBNACUhhUAIqcxAAGmAPAgAP_BHN5xJz4vne0yTWFhbU_tEu__z2_wQ2-_ff9_Cr8_v_-rUC9aMAAAAwCP4HCQD4f--xAxTG9xG7nvAQN2INMAv0GBHzBK4_5MnNOe4MFlgAHxulDkb28ypKCfQgAC3-5xw7OBNACUhvUAIqrwYQDBqgBgAAcEEAAPDBAABwQgAAwMEAAJBBAACgwAAAqEEAAOBAAABgwgAAAEAAADRCAADAwAAAxsIAAHjCAACcQgAAQEAAAPjBAAAAwQAAJMIAAFTCAADAQQAAMMIAAIA_AAAUQgAACEIAAMjBAACIwgAAhsIAAMxCAACyQgAAwMEAAKJCAAA4wgAAQEAAAFTCAADgwAAAMMEAAHhCAABwwQAA6MEAAODAAACYQgAAMEIAAOhBAAAwQQAAIEEAAEDBAADgwQAAoEIAAJDBAAAowgAAKEIAAKBBAAA8QgAAYEEAAMDBAACEwgAAQEIAAIDAAAAYQgAA0EEAALDBAAAAAAAAWMIAACBBAAAEwgAA2EEAAAzCAACCwgAAcEIAADhCAABUQgAAYMIAAJpCAAAUwgAASMIAAEDBAACgwQAAoMAAADzCAACEwgAAwEAAADjCAADIQQAADMIAAAhCAAAMwgAAmEEAAMDAAABQwQAAmEEAAIBBAAD4wQAAiMEAAIBBAACIwgAAIMEAABRCAAAUQgAAEMIAAKBAAAAEQgAAskIAAIbCAACwwQAA4EAAANBBAAAQQQAAUMEAAKBBAAD4QQAAoMAAAFDBAAAMwgAAGEIAAABCAACgwQAA2MEAAKjBAACEwgAAaMIAAODBAABAwAAAAMIAAAxCAACuQgAAYEEAAJDBAADIwQAATMIAAFDBAACYwQAAQMEAAIpCAAAQQgAARMIAAMDAAAAgQQAAlsIAAILCAAAwQQAAdEIAAIDAAAAEwgAAoEEAACBCAABAwgAAdEIAAKjBAADowQAAwEEAAJDBAAAgQQAA-MEAAKhBAADAQQAAUEEAAIjCAADAwAAAUEIAAJjCAADgQAAAQEAAAKDAAABAwQAAoMIAAABBAAAMQgAAcEEAAMjBAAAAQQAAAMEAAODAAACYwQAAoEAAAEBAAABgQQAAMMIAAKxCAAAQwQAAREIAAIDAAADAQAAAwMAAANhBAAAgwQAAwMIAABBCAAAEwgAAoEAAAMzCAABAwQAAwEAAAHBBAAAAwAAADMIAAFDCAAAgQgAAjsIAAIDBIAA4E0AJSHVQASqPAhAAGoACAAAQPQAAmD0AAII-AAAQPQAAQLwAAGy-AABAPAAAO78AAAW_AAA8vgAAML0AAFy-AAB8PgAAdD4AAK6-AACOvgAAoDwAAMg9AACuPgAAVT8AAHU_AACCPgAAij4AADS-AAAUvgAARL4AAAw-AACYvQAAFL4AAFQ-AAB0PgAA2D0AAOi9AACSPgAA6L0AALi9AADWPgAAir4AAFy-AADovQAAQDwAAPg9AACgPAAAlr4AABS-AAAUPgAA6D0AAKK-AACYPQAAB78AAOg9AABwPQAADD4AAMI-AADOPgAAmL0AAH8_AACuvgAAUL0AAAw-AADmvgAA-D0AAKi9AAAEviAAOBNACUh8UAEqjwIQARqAAgAAiL0AAPi9AAA8vgAAWb8AAPi9AAAEvgAAXD4AAMK-AAAcvgAAUD0AAOi9AACuvgAAuL0AAO6-AABwvQAA4LwAAOg9AAArPwAAMD0AALI-AADovQAAMD0AAPi9AAAUPgAAcL0AAKi9AAAkvgAAoDwAADQ-AAA8vgAA2D0AABw-AAAwPQAAmr4AAKi9AAAwPQAAuj4AAFA9AACKvgAAoLwAAPg9AAD4PQAArr4AAHC9AADIvQAARD4AAH-_AACmvgAA6L0AAOA8AACWPgAAkr4AAKA8AABwvQAA6L0AAFA9AADgvAAAxj4AAAS-AADgPAAAFD4AACw-AABQvQAAoLwgADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=vfqPGGCpY6I","parent-reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["3663739781652936367"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false},"16975383912128316159":{"videoId":"16975383912128316159","docid":"34-7-9-Z7C1D4458893A2F17","description":"Video on “Introduction to Model Checking” by José Proença from Instituto Superior de Engenharia do Porto, in the scope of the first part of Valu3s 1st training session that took place online on...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3806025/550a90e98f2cf76465922464ce858b74/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/05Pk4QEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"1","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DtU_aOytuqLg","linkTemplate":"/video/preview/16975383912128316159?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Introduction to Model Checking","related_orig_text":"Model Checking","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Model Checking\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=tU_aOytuqLg\",\"src\":\"serp\",\"rvb\":\"Eq8DChMzNjYzNzM5NzgxNjUyOTM2MzY3ChQxNjk3NTM4MzkxMjEyODMxNjE1OQoTMzgwMTcxNTE1NzA4ODk5NjIyOQoTNjY3ODMyNjQxNjA4MTQyNDU5OQoTMzgwNzgwODQ0ODExMjMwMzMxMwoUMTEyNzM1ODUzODk1MTMzNTM1MDcKEzI4MzM4NjEyNDYzMTc3NTEwMTMKFDE1Mjg0MjQ1NDAxODA4Nzk4NTg4ChQxMzI1NzE2NzgyMDg2Mjc0MTY1NwoUMTM4ODgyODgwMDE0ODcwNzk4NDAKEzg0NzU3OTI3OTY1MDc2NTgyODUKEzU0NTE2NDY4MzgxMjI0MzQwMjkKFDE3MjI0MTczMjQyNjAzNjEwMzA2ChQxODM4NzM0NDc1MTk4NDgwNjA2NwoUMTgwNTUxNjA4Njc4OTQ5NTk3NzMKEzI2MDMzOTExOTc1MDg0NDY3NDYKFDEwNjk2NTY5NTY2NDQ2MDY3MjU4ChM3NjA1MTQxMzE5ODY3NDkxNzAwChQxODA0NDU4NzY4MDIyOTI1OTk4MwoUMTIyMDM5NzczNDAyMjU1NTA0NDYaFgoUMTY5NzUzODM5MTIxMjgzMTYxNTlaFDE2OTc1MzgzOTEyMTI4MzE2MTU5aogXEgEwGAAiRRoxAAoqaGhsdmZ2aG9yeWdja3BxY2hoVUNCdmhhVzhoa1dnb3BpSldiRkJySUZREgIAEioQwg8PGg8_E6AOggQkAYAEKyqLARABGniB9wX3_P4CAPr0_wIEBf4BEQMG-gf__wD0BgL_BwL_APEKAvv5AAAA8QEA-_8AAAABBfsD_f4BAAYE_QEEAAAACfcE-f4AAAAS-fP5_wEAAPT99gP1AgAACwT4BQAAAAD2DwEDAQAAAAwBBvgAAAAAC-z9CgEAAAAgAC1aINg7OBNACUhOUAIqhAIQABrwAVYK8P_t8_wC4gPXAO8J4QGBBQv_DRDeANH8GADL-dYA6gb2AOjb8v_6FhEAywUAABv38v87EQEACfoAABv0BgASFw4ALOP-ADICEf_xAAT_AxMR_yX5HgEJ7AoBBgjd_xjpFgDi-OsA8gLSAQv_LgHyFgwCLOgGBNwdBP_uJRkDCAAQ_v0FAQP_-gME4wMZAQ7_8QcWGvT98Q7m_vkR_wPl-wz5Efvy_TkO__7rCAj7_uwQARoL-voU_wf9Bv0HAeru_gMZ-voFChQKACb3APj76hEB6O8FBQMK9gL-9vD86woN-e8WAQDtFAP5FfkB9yAALW4nSDs4E0AJSGFQAirPBxAAGsAHwacFv9SVFTxyw--8XFcMPa9Jkjw1NRy8b-RwPCyEUL3IjAO8PtDqPZnO8zydh1G7l8eqvhPH7Du-EZ28Ci9hPhdxsLxB08Y5ehcvvgg8MD0pn9S8T3iRvmcVTD2p5ou6O0VdPZm6K7xd34c83sstPrBSBbzY5N87AZzFu33-wbugkm69mK1rvRflQ728SQK9lX8NPqKkVr2xVV08YOcmPg3TDb3xHvG8cPGLvOzYjLpDIsg55Pf2vGMV5ztLavI8HejBPYb8frnqSY88lhrrO6qZtbsfLIS7WyxAPUdpobrttBi7HHL9PIWtfj3XhPw3BpYNPSDKPLwkZHs8XdIivZTJnzxzsyk9RgrlPaOWIDxTze47IpStvHRLoT3OwbM8fjXMvZThM70f1pu8r2d-PcFCHDxCeR08RBTTPEfSiTxfFsk8t-5KOgLxHTy0vxq8pmoxPTPOVT1LQp66lz0kPUEr8jtPwpa7KNXevWgK-LztA7m7z5pkPfZRXL176647zMmlPdd-lzyF_rI71sciPGZsAzwHpVw7XCEMPSP7uzwPMM67MzyRPBMGSr3deg28LapqPVIRIzxDfb-7HxaVvSlZjjzzNOS6fp-bPe-WP7z8CBU8Me-BPQl5s7yyqhI8s_4iPHN1Ub1XB4C8lxnbvHoe9zz35wO8OHGovBliC72lOpE63_nlPU2UjLt5K-A6AACMN6VOwLyzXus6F96LPSKZwDu3KJK7m9zUvPNNJL3-XBc7rBxavLQ8Pz6buLu3TQpYPehJvryk7lo6NyUPPeu4gD0d1bs519B3PXEpvrp6X7Y4mS6fO0x_wL2GlFY4gIKmPFtQKbx5lZG4LvBrvd0A_TzRa4a4OkrUPArFEb168wY7_tc5vWiyHryryWG4o0cjvD10izxaUko510cMvTfz9bwhGOm4HAbYPNvHBb02V2k5azOEPJuL5DyUDeW4UHn6OZhapby-G9A4_94XvWu3Xb2XHhI4YkOcPMMdiT1YsKE5AFoQO9aXWzxrvCi4ZJXSuzc4kbzvNwc4dlNqvVfPyb1cOmq49Oi8PEOjJT2MF9u3Q368vZtGSbx4S8g3_huqvH17Mr2oPs83eeqNO_94LzxJqCC4LHqvO7WSjL1w8V84DZ6jPU7I2Lx2H7-4UHFcPXjqtjxHZoE4DZ-6O89cUb2hRa626UxSO6KNjb0f6Vw39nR6PeAP370_mZu3cIJKPCrqtz3nCgk55yBDvQt0cj0FdZW45yOfvTfAcTztZJe35cEsPRSljrxsGQq3IAA4E0AJSG1QASpzEAAaYPcOAB7y-uL5ZUTs1fnpI-UAEcojtTr_8vL_ICzFBfABAprcGP_81gv_ogAAAPkHESXQAAl9-t7-78A2Bu-QACI2fykyRs3k8_MMyGDm_dId8_jxPABCH533O_XuTy0i_SAALeadFTs4E0AJSG9QAiqvBhAMGqAGAABAQAAALEIAAJBBAABMwgAAqkIAAHhCAAB8QgAABMIAAADBAADwQQAAwEAAAGTCAABAwgAAgD8AAJ5CAAAIwgAA4MAAAAjCAAAMQgAAjMIAABDCAAC4wQAAAMIAAGBCAABQwQAA2MEAADTCAADcwgAALEIAAAAAAADgQQAANEIAAFTCAACwQQAAKMIAALDBAAAEQgAA8EIAAIDBAACSQgAAAEEAAKhBAAAQQgAA2MEAALBBAADKwgAAGMIAAIpCAAD4QQAAUEEAAJbCAADgwAAAkEEAAHBBAADwQQAAAAAAANrCAABAwAAA-MEAAMhBAAAsQgAAAMEAAEDCAACKwgAAqEEAABTCAADgwAAASMIAANDBAAAYwgAAVEIAAJJCAADIwQAAEEEAAFDCAABowgAAoMEAABzCAADAQAAA4EAAAEDCAACwQgAAkMEAAGxCAABAwAAAQEAAAIhBAADIQQAAkkIAAIDAAAAYQgAAKEIAAOjBAADIwQAAMMIAABzCAACgwQAAUMEAANBCAACowQAASMIAABxCAACeQgAAMMIAAADAAABAwQAA-MEAADRCAACYwQAAUEIAABBBAADAQAAAAEAAAMDAAAAAAAAAsEEAANjBAAAMwgAAWMIAALhBAAAAwAAAFMIAAITCAADgwQAAmEEAAKBBAABAQAAAgEEAAHBBAACQwQAAYMEAAFDBAABQwQAA-EEAAJbCAACgwAAAsEEAAIBBAADQwQAAwMEAAPhBAACgwQAAMEIAAEjCAAAsQgAAUEEAAPDBAACoQQAAGEIAACTCAACMwgAAXEIAAChCAAAIQgAAwEEAAMDBAAD4wQAAwMAAAFTCAADgQQAA-MEAABBCAAAcQgAACMIAAODAAACgwQAAFEIAAFRCAABAwAAAQEEAAKBAAACgQQAAEMEAAJjBAAAwwgAA8MEAACxCAAD4wQAA-EEAAARCAADQwQAAQMIAAIDBAACKQgAApkIAAPDBAACIwQAAcMEAAKBBAACAPwAAAAAAADzCAACoQQAA8MEAAOBBAAA4QgAAJMIAAIBBAAC4QQAAgMEgADgTQAlIdVABKo8CEAAagAIAANg9AABEvgAAhj4AALg9AABwvQAALL4AAJi9AADevgAAmr4AANi9AAA0PgAA6L0AAJi9AADYPQAALL4AAOC8AAB0PgAAoDwAADA9AADCPgAAfz8AAAQ-AAAMvgAAuL0AAES-AAAcvgAAgLsAAAy-AACAuwAAPD4AAGQ-AAD4PQAA2L0AAEw-AAC4PQAAUD0AADw-AABEvgAAir4AACy-AAC4PQAAuL0AAJi9AAAcvgAA4LwAAHC9AAD4PQAABL4AANg9AACOvgAAoLwAADA9AAAcPgAAcD0AADw-AACAOwAACT8AAOi9AACYPQAAvj4AABy-AAC4PQAAiD0AAFw-IAA4E0AJSHxQASqPAhABGoACAAAwPQAAiL0AAPi9AAAhvwAAyD0AAKg9AADIPQAA2L0AAFC9AAD4PQAAVL4AABS-AACIPQAAjr4AAKg9AADgvAAALD4AACM_AACAOwAAuj4AAIa-AAAEPgAAMD0AAJg9AACAOwAAqL0AADA9AAAQvQAA6D0AABC9AACAOwAALD4AAIA7AAAsvgAARL4AAIC7AABUPgAADD4AABy-AACgvAAAyD0AAEA8AABMvgAAgDsAAIA7AABwPQAAf78AACy-AABAvAAAZD4AAFQ-AAB8vgAA6L0AABC9AADgPAAAmD0AABA9AACAuwAAyL0AADQ-AAAsPgAA4DwAAAy-AADIvSAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=tU_aOytuqLg","parent-reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1920,"cheight":1080,"cratio":1.77777,"dups":["16975383912128316159"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false,"videoContentId":"4016446402"},"3801715157088996229":{"videoId":"3801715157088996229","docid":"34-10-1-ZEB7E05861B6098D7","description":"This video has been created based on a question from a comment under my video on YouTube channel. Feel free to contact me or leave a comment, or idea for another Creo tutorial. If you enjoy my...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/2710351/473c7970dc1f0ba789932c367b730274/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/MCWu8gEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"2","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3Dh6XVOjNErVw","linkTemplate":"/video/preview/3801715157088996229?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"ModelCHECK tutorial: How to check model name by ModelCHECK","related_orig_text":"Model Checking","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Model Checking\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=h6XVOjNErVw\",\"src\":\"serp\",\"rvb\":\"Eq8DChMzNjYzNzM5NzgxNjUyOTM2MzY3ChQxNjk3NTM4MzkxMjEyODMxNjE1OQoTMzgwMTcxNTE1NzA4ODk5NjIyOQoTNjY3ODMyNjQxNjA4MTQyNDU5OQoTMzgwNzgwODQ0ODExMjMwMzMxMwoUMTEyNzM1ODUzODk1MTMzNTM1MDcKEzI4MzM4NjEyNDYzMTc3NTEwMTMKFDE1Mjg0MjQ1NDAxODA4Nzk4NTg4ChQxMzI1NzE2NzgyMDg2Mjc0MTY1NwoUMTM4ODgyODgwMDE0ODcwNzk4NDAKEzg0NzU3OTI3OTY1MDc2NTgyODUKEzU0NTE2NDY4MzgxMjI0MzQwMjkKFDE3MjI0MTczMjQyNjAzNjEwMzA2ChQxODM4NzM0NDc1MTk4NDgwNjA2NwoUMTgwNTUxNjA4Njc4OTQ5NTk3NzMKEzI2MDMzOTExOTc1MDg0NDY3NDYKFDEwNjk2NTY5NTY2NDQ2MDY3MjU4ChM3NjA1MTQxMzE5ODY3NDkxNzAwChQxODA0NDU4NzY4MDIyOTI1OTk4MwoUMTIyMDM5NzczNDAyMjU1NTA0NDYaFQoTMzgwMTcxNTE1NzA4ODk5NjIyOVoTMzgwMTcxNTE1NzA4ODk5NjIyOWqGFxIBMBgAIkMaMAAKKWhoeWFiaGtjcGd4cWpuZWhoVUNZa3ZUc2w4UzhSQVJJSFZ2QVh1TDdBEgIAESoPwg8PGg8_E2OCBCQBgAQrKosBEAEaeIH8CfUB-wUA_QIFAvoF_gEHAQb6-P__APkFC_oDA_8A9gH8AfUAAAD6Avv-BgAAAPYE-gIC_wAABAT4BwMAAAAD8_71-gAAAAEB-fr_AQAA-gf7-fcBAAH-Bv0F_wAAAPQJ-v8CAAAAAQIIAAAAAAAC6vYDAQAAACAALWA94Ts4E0AJSE5QAiqEAhAAGvABSAn5_BDg4QPP8vkAzx_4AIHtHP8MGvoA0Q8D_7IRz__3C_sA-gIIAOURAQC9Jfn_8eoF_0v9_gDo8x0AEfARAB0NEQAwBeUBNhEo_9gb-v_tCSIAMg0YAR8GEwEN_-YAOvnw_qbwEvy85ukDIRwKAiDgEgI7JgwBANgIBeIGIP8D8vn7N9jc_dPs4__u7u4FJgTuAzcUDQDp_uMEIRbx-fgG9QEM3AUAIxsk_-b9AvsCCfsABwH_-yUCEQH_4xgD0AL7-DH76P8A-fwD6vDwA-rq-QH5Ifr89gTv_v707fzmDBD48hn29BsE__nh_AwWIAAtQVolOzgTQAlIYVACKs8HEAAawAfUuIe-VAxmPUgm8bzWAhu-EwPuPB52Or33eEG-isQpvQygKbzWcCE-f_lEPUXchz2z8HW-x9CWvEVkQDl-cx8-he94PY__wjwg1oa9Z0MjO9-ggj31oYO-PHfxOy7Flzu8eRo-AyIpvTYnKj2cjBo-rSJyPVoCGr2nKMK9Sf3rvJmDQD2vu4Q957c5vSgeoTxOKvo91V4fPCHoKD1pGRk-vV87vWUX7zsYQPi9Kjt9PEXPtTu_tYO9eYqBPFppDLvQICo8d3YFO1Q7wzoEdnC9XqxePKjrpLyEns09xd87PUyGiLwYQPg8sqeTvHSHAbyw21G9L_-8vdkkATxCCi6-Pl8OvWzDcrw9RCM-VhzYvE2aqzy7fda9n4ckvfkdeTy14JW9C6d7vdt45jw8IL88Sv9cPZxyYLwryjs9gbawvNCiUrxwXYE9tatrvTklhTzxZs09r1e_u90s-7t79Ou8qVfCuz9v6rz-J3-9qNOROpeTqzwU60Q-zgiEu3kakTilhUu8wTdNvK_hMzwYzJ88mr7Pu_6o3TvrAfM8fXV6vKCD07thOPK8ZM6OPMNiVDypzhW8qW80vQlkgLwFvPG7YRnbPS5RYrw1-oc9Dv2uvOOZo7u9Lzg957ytO_SPF7zoi9o7vEGvPY8FHDy3m6C9WNJAvaJOEjwd3o29cttjvc1KOzrAjVm9SFJSvX3dFjuZew29jqmiu1UjKjtrFG08PIykOwkc97kHQgK-Tx7WPcItyTnRYC49jV1nPVxzNbc1Qws8tqWru4UcL7ryv5s9NASDuUaIAzmdoA09cJBVPSXAiLmZLp87TH_AvYaUVjj1Dvc9niXIvKZwsbcu8Gu93QD9PNFrhriU6xc9JTSTvd74mLcBRvw8-DsMvNlVHLnS3gW9-AvMvZeDzziluTo9W8GVvVMOKjjv0YE9PB_EvX4GF7k2RLA8C3KhPEkhDLj3PL89-ufOvDJJ2Thozc-9limhvQfWIDhRM6C7uA1ZPOeyGDfCfZ49IxMQPWHMcDcocEG95iTvvA-6djnz2va8CPnKvVqHe7bWYuY8CykfPkgHjTive-u9c3-lvVDAEbgRzKw9-1oVvKyXzzgpugS9hS2RvEudB7mH6bE81-oBPc70pDarX-m5CCvEPAZEP7gjQIe930EiPXGOxbboJ0G81-iLPbrbUDgKNZ48GbcnvWlznTc_jsY9K94IvocitLjz_0u7_Bk9O-EVwze1z7m9skGLPALBP7h9iYK9tN40PUVhPThH25K9P28NPGVfqjcgADgTQAlIbVABKnMQABpgBPcAOf_zsQg9R8345-AwyCoFrPrfOf9ABv8ONewI8Oyqq_Eq_wkU8hmdAAAAHxAsNb0AFnwDwPsSwi88xbcOLwx_cA8S0iAP_Q-jYuAg1wH_2xVPAF8txvs6A_k6Jw71IAAtPQYMOzgTQAlIb1ACKq8GEAwaoAYAAATCAAAwQgAAIEIAAPhBAAAwQgAA6EEAAGRCAACEQgAAQMIAAEDCAAAUQgAAjsIAALbCAABAQQAAQEAAACDCAACQwQAAxsIAAIC_AAAgwQAAOEIAAOjBAAA4QgAAkEEAADBBAABAwQAAiMIAADjCAACOQgAA6MEAACDCAABAQQAAqMIAABBBAADAQAAAmsIAAExCAABAQQAAEMEAAFxCAACAQQAATEIAANjBAAAwQgAAFMIAAITCAACgwQAAAMIAAKBCAADAwAAAnMIAAIC_AACQQQAAUEEAALBCAACYQQAAnMIAAHBBAABQwQAALEIAAIA_AABAwAAAQMAAAKTCAAAwQgAAgD8AAEDAAACgQQAAAAAAAGjCAAAkQgAAIEEAAFBBAACAQAAA2EEAAADBAADwwQAA4MAAAEBBAACGwgAAaMIAAFBBAAAwwQAA6EEAAFDBAAB0wgAANEIAAIjBAACyQgAAEEEAAIC_AABMQgAAQEEAAODBAADgwQAAZMIAAMBAAABgwQAA6EEAAEBAAAAUwgAAmEIAAJZCAADIQQAAmEEAAEDAAAAAAAAAAEIAAAAAAABYQgAAAAAAABDBAACYwQAAikIAAAAAAADowQAAQMEAAKDBAABUwgAAIEEAANBBAAA8wgAAVMIAABDCAABEQgAAPEIAAJjBAACQQQAABMIAAIDCAADgwAAAwEEAAMBAAADgwAAA8MEAAPBBAABAQgAAyEEAAABAAAAIwgAAgEAAALjBAAAQQgAAcMIAAFBCAADgwAAAdMIAADxCAABwQQAAkEEAACDBAABMwgAAKEIAAJBBAAC4wQAAjMIAABDCAACYwQAA2MEAAJZCAAAAQAAAbEIAAMjBAABQwQAAiMEAAJDBAACAQQAAhkIAABBBAABQQQAAoMEAAIhCAABEwgAAcMEAAIBBAACQQQAApkIAAKjBAAA4QgAAuEEAAETCAADwwQAAMMIAABDBAABgQgAAWEIAAIrCAAAAQAAAeEIAANhBAADgwAAAQMEAABBBAACoQQAABEIAAGDBAACKwgAAhMIAAABBAAAowiAAOBNACUh1UAEqjwIQABqAAgAAML0AAHA9AACGPgAADD4AAMg9AABAvAAAuL0AAO6-AACKvgAAqL0AAIg9AACYvQAAqD0AAPi9AABMvgAALL4AANg9AADoPQAAoLwAAIo-AAB_PwAABD4AAIg9AAAcPgAA2L0AADS-AAAcPgAA-L0AANi9AAAsPgAAXD4AAIC7AACgvAAAqD0AADA9AAAEPgAAiD0AAFy-AABsvgAAbL4AAFA9AACmvgAAED0AAAS-AAAkvgAAoDwAAAQ-AACOvgAA4LwAABS-AACYPQAAZD4AAPg9AADIvQAA6L0AAAy-AADmPgAAqD0AAFA9AAB8PgAAbL4AADA9AADgPAAAFD4gADgTQAlIfFABKo8CEAEagAIAAJK-AABwPQAA4DwAAA2_AACIPQAAPD4AAPg9AABcPgAAqL0AABy-AAD2vgAAmL0AAOA8AAB0vgAAcD0AAIA7AAC4PQAAQT8AAAS-AABMPgAABL4AAFC9AACgvAAABD4AAAS-AABQvQAAyD0AAEC8AABwPQAA6L0AAEA8AAAEPgAA4LwAAPi9AAD4vQAABD4AALY-AABAPAAALL4AAHC9AACYvQAAFL4AAFA9AACIPQAAND4AADC9AAB_vwAAVL4AAIK-AACePgAAtj4AAKA8AABcPgAAcD0AAIC7AACAOwAA4DwAAFw-AACgPAAAND4AAI4-AAAUPgAA2L0AAEy-IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=h6XVOjNErVw","parent-reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1920,"cheight":1032,"cratio":1.86046,"dups":["3801715157088996229"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":false,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false,"videoContentId":"2799931322"},"6678326416081424599":{"videoId":"6678326416081424599","docid":"34-7-1-ZE1A9CCFBA3658DC1","description":"video, sharing, camera phone, video phone, free, upload...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/1620958/3fea6e93320002eb3db158af041cd76c/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/zsOf7wEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"3","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DqJpYpyZz9L8","linkTemplate":"/video/preview/6678326416081424599?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Tutorial - An introduction to model checking","related_orig_text":"Model Checking","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Model Checking\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=qJpYpyZz9L8\",\"src\":\"serp\",\"rvb\":\"Eq8DChMzNjYzNzM5NzgxNjUyOTM2MzY3ChQxNjk3NTM4MzkxMjEyODMxNjE1OQoTMzgwMTcxNTE1NzA4ODk5NjIyOQoTNjY3ODMyNjQxNjA4MTQyNDU5OQoTMzgwNzgwODQ0ODExMjMwMzMxMwoUMTEyNzM1ODUzODk1MTMzNTM1MDcKEzI4MzM4NjEyNDYzMTc3NTEwMTMKFDE1Mjg0MjQ1NDAxODA4Nzk4NTg4ChQxMzI1NzE2NzgyMDg2Mjc0MTY1NwoUMTM4ODgyODgwMDE0ODcwNzk4NDAKEzg0NzU3OTI3OTY1MDc2NTgyODUKEzU0NTE2NDY4MzgxMjI0MzQwMjkKFDE3MjI0MTczMjQyNjAzNjEwMzA2ChQxODM4NzM0NDc1MTk4NDgwNjA2NwoUMTgwNTUxNjA4Njc4OTQ5NTk3NzMKEzI2MDMzOTExOTc1MDg0NDY3NDYKFDEwNjk2NTY5NTY2NDQ2MDY3MjU4ChM3NjA1MTQxMzE5ODY3NDkxNzAwChQxODA0NDU4NzY4MDIyOTI1OTk4MwoUMTIyMDM5NzczNDAyMjU1NTA0NDYaFQoTNjY3ODMyNjQxNjA4MTQyNDU5OVoTNjY3ODMyNjQxNjA4MTQyNDU5OWqHFxIBMBgAIkQaMAAKKWhocWdxYW55eG9wbmt5cWhoVUNUeDU3ZUtLZ3NzaTk1WUZGMy1Nd3F3EgIAESoQwg8PGg8_E84aggQkAYAEKyqLARABGniB9wX3_P4CAPr0_wIEBf4BHAD8_vQDAwDmAwT9Cf0BAPsM_Ab5AQAA-gL78AEAAAD6B_sH-_4AAAsN-wIFAAAABusE-f4BAAAS-fP5_wEAAPT99gP1AgAABQL9BAAAAAD2DwEDAQAAAAwBBvgAAAAAC-z9CgEAAAAgAC1aINg7OBNACUhOUAIqhAIQABrwAXvq3AGBBPz4Pt3uAAn-9wGQ_-gAKwAFANgNA_-o7d7_JRARAOHdDgAA5AoA6v_8AOvgBP8T8CsAGej__zABEgDoDwMBEOQDAQPy_gHv9vz_3Abs_8_3-gAZEPr-Bgny_-ntBQP4COgB9RkCAADvEf8X-w_-2f_1_wEDAwb9CQAEKf3-BfIBCgH6Avb9_g0DAiAD8AILBAIBG-v4AgAN9ggk8gUADPr6BQUU-QYZ_wkE3hDuA_cA9v4G5w_9CAX5Ae_9-P34-hECJAwBAAITBP3QCAr-8RMN_dwZ9wcE_gIEAS30BPvu-QAHAQP549IHCyAALUacPzs4E0AJSGFQAirPBxAAGsAHTfYXv6bUJT2pu5e83jlUPpYVlLw5qgQ9xyKHPX0RI7wVAyS8eqchvAZmRb3OhqG8l8eqvhPH7Du-EZ28g1C2PhrytLyvVUw81tWDveqeC70WXY08T3iRvmcVTD2p5ou6Kv-KPfO_JjzZzc47HOgEPOITfDwfE8q7IhTAPNbM9byFKpC88FUGPc2Edb3mNcC85YB4PUchRL0bCw67y8iPvGNzn7yRMQ29UUzeu_Y5yDwp3Dy8dvk7vf_jKTxLTUw8Wkc1PYPGp7vIg-M8a9BcPUDYzrsW5Qg9HOagvbT4Pr3P2SK98VUhPFfdlL3lCD48BRfrPaee-zytegw8AWwgPTnRDj1sCoG7YtUDPPVZUDsuvUc8McIKvdvQHj3530a7ZckXvc44zTxtoAy834iuPQSJEjxOGCC8VlqQPFVx_jwqkxa80YWHPBqPjDonVwi7-HG0vFgcDjzxR1G87nppveTXND0oUQS8HiUlvb_ZQbzaa-q7jzlPuvDVc72U4wq8V9pYvZR4T70sntk7uuKYPIdPOrzbxvq7Y-xEPXswKT26FBO81Cr6PSsbsbz_d1e6ruT0PHS_froav_Q7j7pnPOdnL73DP7K7fp-bPe-WP7z8CBU8OiF0PN6BsLwbZJY7ehOoPJvMUzxLXwQ7lxnbvHoe9zz35wO8CP7cvOvjoTwPW3678D9oO565YjtnTnw63bVxul6LEb1lIt-6x6FZPJQ2sLyimq87PHyjvILnqb3Wf1-4mphOPR6hKz0YO4Y64B74OmUZ4jys8tc4k4prvftuhLxzr-I4NrgjPUvUIb1i5FK4LI40vYWfM72Y45Y5-hQ7vWiPmzsNiJm5sCKfOxZBrb2AqIe65IKzPA7XKj1Q42i6ax7BvcSuor1Z-CI4VKFLvMRWFT3sJkq3dKgQPXEghD2VTgK4gb6hO_UP4jwOJSk5xgAkPdoJ5TzwC7K5HYi0uwwOZT0SZwc42r9cPZtBN70Ezfs4eKwjvK6ffj19BNM4uhdzvfQyyjyS2hK1iVNXvbGiBr1GO0e4nfKIPT5Ndz0voB04qBedOyIV6zwHq362zXoMPRQGJztjJpw4C89LvE6MWTmHCI-3nXClPNmXDL0jCXe4QihKvNuTdrxJnBQ4CLCnuzwBs73By_84jJ6bvcl9oTykdbm3HRMzPYjxej3PVyY17ZGXvEH2hT1-hZ-287eDPVjzLTyxCVa4vncKPTXHwzyzROM4lMpqvWsFcrx-MY-4FwwzPYG2cD1lKIC4gRFqPC34Ibzka_43IAA4E0AJSG1QASpzEAAaYBn9ACHzGh3iFS7uz-G5H-AqCOMv2_4A-un_7UDm2yIuCp7wMP8H9OgFqQAAAAIDBTD_AAho_87i_dwpQ93B2iPaf2oq7vMDHwUC8gbT4cAEG_4ZKQAXGNIVOeXhPzEpBSAALXX8KTs4E0AJSG9QAiqvBhAMGqAGAADowQAAkMEAADhCAABAwAAACMIAAIC_AABcQgAAUEEAAETCAABgQQAAPEIAADDCAAC4QQAAQMAAACBBAAAEwgAABEIAAATCAACgQAAAEEEAAIC_AAAkQgAA4EEAADxCAAA8wgAAMEIAAJDBAACAQQAAFMIAAHRCAABQQQAAQMEAABhCAAAkQgAAIEIAAHDBAABIQgAAlkIAABTCAABAQQAAoEAAAAzCAABMQgAAQMEAAMhBAABgwQAAAEEAAOBAAACMQgAA8MEAAFjCAAAYQgAAYMIAAJBBAACgQQAAwMEAAMbCAAAEQgAAoEEAACBCAAAQwQAAksIAABDBAAAUQgAAyEEAAMBAAAC6wgAAUMEAALBBAAA0QgAAAEEAAEBAAACgQQAA4MAAAKDBAACAwQAAOMIAAIA_AADYwQAA2MEAAOBAAADAQQAAwMAAAFDCAAAAwQAA-EEAAIzCAAC0QgAADEIAANhBAAAAwQAAsEEAAJJCAADwQQAAnEIAAJTCAABAwAAA-EEAAHBBAACywgAAUMIAAKBAAABwQQAA-sIAAATCAAAAAAAAwEEAAKDBAAA8QgAALEIAACRCAABgwgAAcMIAAOhBAAD4QQAAkEIAAGBBAACgwgAAMMEAAIDAAAAAQQAAiEEAAIC_AAA0QgAASMIAAKBBAAC4wQAAyMEAAKBBAADAQQAAQMEAAETCAACAwQAA1kIAAGhCAACIwQAAoEEAAFjCAACYwQAAkMEAAHDBAADYQQAAUEIAACxCAAAcQgAARMIAAFhCAAAAwAAAgD8AAABCAACAPwAAAMIAADDBAAAQQQAAqEEAACBBAACAwQAA1MIAACjCAAAkQgAAAMEAABhCAAAcwgAA4MEAALjBAAAIQgAAgD8AAABCAADAQAAAuEIAAOjBAADoQQAAhsIAAJhBAAAUwgAA8EEAAOBBAAAQQQAASEIAALBCAAAQwgAApMIAAMjBAAA4wgAAoMAAABBBAADQwQAAikIAAADCAACWQgAAYEEAANBBAAAQQgAAPMIAANBBAACAQQAAEMEAAJrCAABAQgAARMIgADgTQAlIdVABKo8CEAAagAIAAPg9AADgvAAAbD4AABQ-AACAuwAA-L0AAPi9AAABvwAAkr4AAIC7AACKPgAAML0AADy-AAAkPgAARL4AADC9AAAkPgAAUD0AAIA7AADmPgAAfz8AAOg9AAAUvgAAoLwAAJ6-AAAsvgAAUD0AABy-AABAPAAAmD0AAEQ-AADYPQAAED0AAFw-AABQPQAAiD0AAGQ-AAB0vgAAPL4AAOi9AACYPQAAPL4AABC9AABkvgAAmD0AAES-AABwPQAANL4AAFw-AACmvgAA-D0AAAw-AADoPQAAmD0AAJg9AAAwvQAAFT8AAES-AADYPQAAgj4AAGy-AAAEPgAAFD4AAJI-IAA4E0AJSHxQASqPAhABGoACAACovQAADL4AAES-AAAjvwAABD4AAPg9AAAwPQAAQDwAADC9AACoPQAADL4AAFC9AACIvQAAor4AAMg9AACAuwAADD4AACE_AABAvAAAoj4AAI6-AABcPgAAiD0AAMg9AABQvQAAyD0AAOA8AABQvQAAyD0AAOC8AACgPAAAND4AADC9AAAkvgAAyL0AAOA8AABsPgAAHD4AADy-AABQPQAADD4AAEC8AABsvgAA-D0AAKA8AACAOwAAf78AAGS-AACAOwAAbD4AACw-AACOvgAAcD0AAKi9AABsPgAAoDwAAFA9AADovQAAFL4AAOA8AAAcPgAATD4AAPi9AADovSAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=qJpYpyZz9L8","parent-reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1920,"cheight":1080,"cratio":1.77777,"dups":["6678326416081424599"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false,"videoContentId":"3181315399"},"3807808448112303313":{"videoId":"3807808448112303313","docid":"34-6-13-ZC14D696D75179AE0","description":"Find errors and make corrections to models faster using the model checking and review capability of GT Strudl. Want to learn more? Head over to https://hexagon.com/products/gt-strudl #pv #elite...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/2357683/3303a97b90de66892b5e671e4edab032/564x318_1"},"target":"_self","position":"5","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3Du8Sjp56fuAg","linkTemplate":"/video/preview/3807808448112303313?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Model Checking and Review Gtstrudl- Webinar Snapshot","related_orig_text":"Model Checking","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Model Checking\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=u8Sjp56fuAg\",\"src\":\"serp\",\"rvb\":\"Eq8DChMzNjYzNzM5NzgxNjUyOTM2MzY3ChQxNjk3NTM4MzkxMjEyODMxNjE1OQoTMzgwMTcxNTE1NzA4ODk5NjIyOQoTNjY3ODMyNjQxNjA4MTQyNDU5OQoTMzgwNzgwODQ0ODExMjMwMzMxMwoUMTEyNzM1ODUzODk1MTMzNTM1MDcKEzI4MzM4NjEyNDYzMTc3NTEwMTMKFDE1Mjg0MjQ1NDAxODA4Nzk4NTg4ChQxMzI1NzE2NzgyMDg2Mjc0MTY1NwoUMTM4ODgyODgwMDE0ODcwNzk4NDAKEzg0NzU3OTI3OTY1MDc2NTgyODUKEzU0NTE2NDY4MzgxMjI0MzQwMjkKFDE3MjI0MTczMjQyNjAzNjEwMzA2ChQxODM4NzM0NDc1MTk4NDgwNjA2NwoUMTgwNTUxNjA4Njc4OTQ5NTk3NzMKEzI2MDMzOTExOTc1MDg0NDY3NDYKFDEwNjk2NTY5NTY2NDQ2MDY3MjU4ChM3NjA1MTQxMzE5ODY3NDkxNzAwChQxODA0NDU4NzY4MDIyOTI1OTk4MwoUMTIyMDM5NzczNDAyMjU1NTA0NDYaFQoTMzgwNzgwODQ0ODExMjMwMzMxM1oTMzgwNzgwODQ0ODExMjMwMzMxM2qvDRIBMBgAIkUaMQAKKmhobXVkbG1ka2Zkb3hxamNoaFVDR2JOOW1ZZEU3Y1k3R2lkTmZ6OEwzURICABIqEMIPDxoPPxPkAYIEJAGABCsqiwEQARp4gfsK_gkC_QD8AwUC-Qb-Ah0GEfz0AwMA8RAF-QQBAAD_DAQAAAEAAPv3BfEGAAAAAQgC_vH-AQAOAP0D-wAAAAf5B_n0AAAABwH9_v8BAAD8CP4HBP8AAA0BCwUAAAAAAA4B-f3_AAAEAQP8AAAAAALo9QMBAAAAIAAt4HXMOzgTQAlITlACKnMQABpg7_kABvfa_dlkI9zN5uAW9BLM4vjjQf8G3v_1It31JNj4gREu_wTaACGhAAAA_Q_0GyQABHL46hzp1PgixcbfRUxZEhYN8Rwe-yzyP_P05Q7vKiACAAAH_Q4jwRNZOEXiIAAt5qMnOzgTQAlIb1ACKq8GEAwaoAYAAPjBAAD4wQAA6EEAAEBAAABYwgAAYMEAAKJCAABgwQAADMIAAKBAAACAQgAA-MEAAIDCAAAgwgAAQMAAAJBBAAAoQgAAQMAAADDBAACAQQAAzEIAAEjCAADgQAAA2MEAAOhBAABAwAAA0MEAAIBAAAAIQgAAMEEAAHxCAABAQgAAgsIAANBBAAAQwQAAuMEAAKhBAABcQgAAAAAAANjBAACuwgAAUEEAABxCAAAMQgAAgMAAAIhBAAAIQgAAjMIAAAhCAACgQAAAGEIAAADCAAAkQgAAIMIAAJhBAACAQgAAisIAAGjCAABwwQAAGEIAABjCAADowQAA6EEAAABCAACAwAAAlEIAACxCAAAEQgAAAEEAAFxCAADgQAAAZEIAAIBBAABUQgAAQEEAAIjBAADAwQAAwMAAADBBAAAMwgAAVMIAANBBAACAQQAAsEEAAHDBAACmwgAAyEEAAMDAAAAYQgAABEIAABBCAACgQQAAgEAAALzCAABAwAAAlsIAAFDBAADQQQAAPMIAAOBBAAAwwgAAGEIAAIA_AACAPwAAOMIAAIBAAAAwwgAAqkIAAPjBAADgwAAANEIAAGzCAABMwgAAVEIAAIhBAAAQwQAAAEEAAHTCAABwQQAAqMEAALjBAABAQAAAPMIAANDBAACIQQAAoEEAAEDAAAAMQgAAyMEAAKBAAABwQQAACEIAAHjCAAAAQAAAQEIAABRCAABQQQAA4EAAAEBAAABcwgAAjsIAAABAAACwQQAACMIAAERCAACAQQAARMIAABRCAAAEQgAAgMAAAFRCAABcwgAAIMEAAIzCAABAQAAAsEEAACDBAABMwgAAAEEAANBBAABMwgAAwMEAALzCAAAQQgAA6MEAAILCAACgwQAAaEIAACRCAAA4QgAAvsIAAIjBAABQwQAArMIAAIjBAABgwQAA8EEAAFTCAABAwgAAoEIAAIhBAAAAQQAAKMIAAEBAAAAQQgAAmkIAAGzCAAD-QgAAAEAAAGzCAAAcwgAA0MEAAADAAABwwQAAAMAAAKBBAABwQQAAYMEAAEDCAACAvyAAOBNACUh1UAEqjwIQABqAAgAAML0AAOA8AABwPQAA6D0AADC9AAAQvQAAmL0AAAW_AAAcvgAA2D0AADA9AAAQvQAAqD0AAJg9AACuvgAA4DwAAKo-AABAPAAAND4AANo-AAB_PwAAqD0AAEC8AAAkvgAAqL0AAIi9AADgPAAABL4AACS-AAA8PgAAFD4AACQ-AAAMvgAAMD0AANg9AABAvAAA-D0AAKC8AAAUvgAAtr4AAJi9AAD4PQAABD4AABS-AAC4PQAAED0AAOg9AADovQAAoDwAAEy-AABcPgAAiD0AAKA8AADoPQAAFD4AAMi9AAAFPwAAiL0AALg9AACOPgAADL4AAOA8AACgPAAAoDwgADgTQAlIfFABKo8CEAEagAIAAMi9AABEPgAAyL0AABO_AAC4PQAAuD0AAIC7AACAuwAA6L0AAMg9AACmvgAAjr4AAPi9AADSvgAAML0AAIC7AABAvAAAPz8AAJi9AACOPgAAED0AADC9AADgPAAA4DwAAKC8AAAwvQAAZL4AAKg9AACAuwAA2L0AAKA8AAAUPgAAuD0AAOi9AADYvQAABL4AAN4-AAAQvQAAXL4AADC9AABQPQAA2L0AAAS-AAD4vQAAgDsAAEQ-AAB_vwAAlr4AAEy-AABcPgAAPD4AABy-AACAuwAAoDwAADA9AACgPAAAUL0AAMg9AACgPAAAtj4AAKg9AACoPQAAML0AAEC8IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=u8Sjp56fuAg","parent-reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["3807808448112303313"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false},"11273585389513353507":{"videoId":"11273585389513353507","docid":"34-8-3-ZCDCCD9C01C95C98E","description":"Introduction to Analysing Repeated Measures Data Training session with Dr Helen Brown, Senior Statistician, at The Roslin Institute, March 2016. *","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/2370282/aa320a48bee18a9803789b13369840ef/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/QNlgoQAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"6","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DiV_bbK1Ah2U","linkTemplate":"/video/preview/11273585389513353507?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"7. Model Checking","related_orig_text":"Model Checking","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Model Checking\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=iV_bbK1Ah2U\",\"src\":\"serp\",\"rvb\":\"Eq8DChMzNjYzNzM5NzgxNjUyOTM2MzY3ChQxNjk3NTM4MzkxMjEyODMxNjE1OQoTMzgwMTcxNTE1NzA4ODk5NjIyOQoTNjY3ODMyNjQxNjA4MTQyNDU5OQoTMzgwNzgwODQ0ODExMjMwMzMxMwoUMTEyNzM1ODUzODk1MTMzNTM1MDcKEzI4MzM4NjEyNDYzMTc3NTEwMTMKFDE1Mjg0MjQ1NDAxODA4Nzk4NTg4ChQxMzI1NzE2NzgyMDg2Mjc0MTY1NwoUMTM4ODgyODgwMDE0ODcwNzk4NDAKEzg0NzU3OTI3OTY1MDc2NTgyODUKEzU0NTE2NDY4MzgxMjI0MzQwMjkKFDE3MjI0MTczMjQyNjAzNjEwMzA2ChQxODM4NzM0NDc1MTk4NDgwNjA2NwoUMTgwNTUxNjA4Njc4OTQ5NTk3NzMKEzI2MDMzOTExOTc1MDg0NDY3NDYKFDEwNjk2NTY5NTY2NDQ2MDY3MjU4ChM3NjA1MTQxMzE5ODY3NDkxNzAwChQxODA0NDU4NzY4MDIyOTI1OTk4MwoUMTIyMDM5NzczNDAyMjU1NTA0NDYaFgoUMTEyNzM1ODUzODk1MTMzNTM1MDdaFDExMjczNTg1Mzg5NTEzMzUzNTA3aogXEgEwGAAiRRoxAAoqaGhvaHRsZ3VuaXV6dWx1YmhoVUNpd1VqZWZIYmczNk9uVzJVaF81ZVV3EgIAEioQwg8PGg8_E5MBggQkAYAEKyqLARABGniB9wX3_P4CAAbzBwIECP0CEA36Agj_AAD0BgL_BwL_APkJBg0BAQAA9Qr8-QQAAAD-_v7_-P4AAPn_BAAEAAAAA_UN9P4AAAAN9f70_wEAAPYEAgn3AgABB_z7Cv8AAAD_Ef4D__8AAAMBA-4BAAAAA_AABQABAAAgAC1aINg7OBNACUhOUAIqhAIQABrwAX_uAADKJvf_5OXnANb_2QCTCSf_GyPjAKThEALZDcEBBA8GAOAD7AADACP_tgQjART05_4S4Rf_NP0DAA8GNQD6APoAH70aABMVHAH74ez-4SEQ_wbvGAASx-4ADf_mABz1A_7wFe__Dv_YAwnZOQIX7QwAEwshA-3l9gHZCfcC5vfc_SIZ6wDz8gb4xeoPAA4L_QURQAT-5PUB_g706wAZ5v_93xns_hDmAgYK-hn35-HgAPEG_gMM5QsJ8hIE-d__C_TZ6BH4EQIDAi_V8QbvAQT3_eT0CeoA8QwW4vr6__YBAe8BAfj4HAQK8s__9iAALRggJDs4E0AJSGFQAirPBxAAGsAHhsvqvv7thz2wl8E8oBRyvdu6AD3z7v68ldIDvpaYp7y_tKw7dhoJPlsAPz2kDdG8WcBUvgSMjDkqz9c8xVWFPlQwb72bfyq82UNLvkOSdjspf4K99aFrvoTTBz10NcO7qDXNPXOpwLzFa8O8HQDxPfXVFb35njG9AZzFu33-wbugkm69EfmTPNMjl7zcNgK8Wt82PenbnbxTkco8dzHtPY8AKb12lhE8QZ-DvQj7G73OZ8S7cv4BvfQSiDz2Ali8gkLIPdoT7jwi2N08vgq6POUUeLy4uHy83wkMvc8pUDm2jh68rGMLPQ0GMjxa7Ju82MIHPUTHmb3yO7K8-aAHvvQamz0vgYA7-wU7Pto31z1Edco7HIS_vU2tDT03nOQ7m0BMvef297zc6qA74N4wPd_wzDwQWD06meJgPDXpOz05nxM8LQ4fvFVWLj0QQhs9pNQSPM5Csbzej9u8hI4MPR-CKryWlaa8VY-6vb45NzwXmSW8UAgTPVVjLjzGFoI7fQnVPRGqszrqQoc7cArrPEXvub32R-W5XE2ovLlyUb1vVrO8n7C0PemPS7m4Rny79gWpPcG80bxvfPG7j7pnPOdnL73DP7K7Dj4DPec6yL0vM2w8z3XQvJbGND3UP847aMjdPAw2uztByS68Qp--PFwxjT1He5M7_mFrvefE3rxN1qi79StdPXMRPz2wlem6TBGaPUh9Yz06hV6581nePW727Dz6gZy4CesSvBGBdL11Yf-6yOpWPHYe8DzU70K7k2KRPaaBP72Dk6y5JgNbPWlxRrzyhHM75imjOn7trz3ujsE4iJliPZcqx73hBte3_LNVvXc9sr2FGzC4sZZxvH5zWrz3_zM7VlKdvEPKT7y3A8U2AvSLvUU1kL07hjE4lw2hvEj1wjz0CJq4Fo2wPZuSh7yefJk4YsCSPJci9TsUx185CgahPN7fRbzey_Q5JdcDvQS0uD2qJ6q4MrXbPHgSLL04XgQ546dxPJ95dD3waQa5o4bAPJRQVTxCeFK46D81PWQfBD5nsRs4UkjPuz48q71PsuQ4oNx7PQGZtz1YADa4yuEDvhDXHjyX_U43YUz-u9SYtb0ztII2t8Q7PT_ekLxR34U4PoiROxhPnr1Mqek3raf2PbPqmLx7Ozq5iBc_vXKTx7x3zya4QfJuPYUPgLwSyFs3QUmRvZIls7wTvja3va8FPaVJCb6tnoW4Iv_sPTUpBT7zflu4lV8rPM-8jD3F_Aa5BqF8vWAcgTxhfLU3aewBvQxN4zw_aZM4IAA4E0AJSG1QASpzEAAaYAELABoIJ9_wPl7s6dfiOugeF8gqzkH_Hxf_6hDB9gMF3NEMOP8J5RzgowAAAA8CEC3EAPl_5fT5F9oSKgOf6SY-dRU6O9TQNAcI1R3p6MY7OSYSXgAIH6MkGs3_Ti0n9iAALZWWGDs4E0AJSG9QAiqvBhAMGqAGAABwQQAAoEAAALBCAABwwQAAokIAABhCAADAQgAAAAAAAJbCAADgQQAAcEEAACDCAACgwQAAsMEAAABBAADwQQAAAEEAADTCAAAgwQAA-MEAAEBBAACwQQAA6MEAAMBAAADIwQAABMIAABzCAACEwgAAyEIAAOjBAAAgwgAAnkIAALTCAACAwAAAfMIAAIC_AADoQQAAtEIAAADCAACgQQAAQEEAAOBAAAAAAAAAkMEAAERCAABkwgAADMIAAOBBAABMQgAACEIAAHzCAACAvwAAMEEAAMhBAAAgQgAAMEIAAOjCAABEQgAAFEIAACRCAADQQQAAisIAAATCAACOwgAAREIAAHDCAAAAwgAAcMIAALjBAABMwgAAjkIAAMhCAABEwgAAwEAAAKDCAAAUwgAAAAAAAKBAAADIQQAAIMEAAFDCAAC6QgAA8MEAAFhCAADAwQAAcMEAAAAAAADwQQAAbEIAAKjBAABgQQAAfEIAAILCAABQQQAAkEEAAFDCAADAQQAAsMEAAERCAAD4wQAAMMIAACBCAABUQgAAMEEAAHDBAABgwQAAoMEAACBBAADgwAAATEIAAPhBAADIwQAA4EAAAIhBAAAIwgAAIEIAAABBAAAQQQAAXMIAAAAAAABgwQAASMIAAJDBAABwwQAAEEEAAJhBAACgQAAAAEAAAFhCAABQwQAA4MEAAGDBAACAPwAA2EEAAMDAAAA8QgAAdEIAAOBAAAAQQgAAAEAAAMBAAAAQQgAADEIAAHjCAAAoQgAAAMAAAKbCAAAgQQAAcEEAADTCAACYwQAAkEEAAADAAABgwQAAWEIAACzCAAC4wQAAAAAAAHDBAACIwQAABMIAAMBAAACoQQAAQMIAAMDBAADYwQAAEMIAAEhCAACIQQAACEIAAKDAAAAsQgAAAEAAADDCAABUwgAA4MAAAExCAAA8wgAA-EEAALjBAAAswgAAbMIAAJDBAACAwAAAnEIAAHDBAAA8wgAA-MEAALhBAADAQQAA2EEAAAjCAAAoQgAAQEAAAIhBAACwQQAAAMIAANhBAACAPwAAoMEgADgTQAlIdVABKo8CEAAagAIAAIg9AACovQAAgDsAAMg9AACKvgAA4LwAAJg9AAD-vgAAmr4AADy-AACAOwAAqL0AANi9AABMPgAARL4AAIA7AACCPgAAgDsAAII-AAANPwAAfz8AAOA8AADoPQAAmL0AAAy-AAAwvQAAyL0AACy-AACgvAAAmj4AAJ4-AACoPQAAiD0AAKg9AAAEPgAADD4AAEQ-AAAkvgAAlr4AADS-AADoPQAAqL0AAAS-AAB0vgAAHL4AAFC9AACWPgAAgr4AAMi9AADCvgAAmD0AAFC9AAAEPgAAcL0AAL4-AACYPQAAKT8AAPi9AAB0PgAAxj4AADS-AAAsPgAAiD0AACQ-IAA4E0AJSHxQASqPAhABGoACAACgPAAA2L0AACy-AAA5vwAA6L0AAIg9AAB0PgAAoLwAAJi9AACYvQAANL4AAIa-AACYvQAAqr4AAEC8AABQPQAAFD4AAA0_AADovQAAoj4AAEC8AAC4PQAA-L0AADA9AAAQvQAAQLwAAAS-AADgvAAAoDwAAJi9AAAQPQAALD4AAIg9AAC2vgAAdL4AAJg9AAAcPgAAMD0AADS-AACgPAAAHD4AAMi9AABQvQAAEL0AAFA9AADoPQAAf78AADy-AAAQvQAAqD0AAIo-AAAcvgAAiL0AAKi9AACAOwAAmD0AAOC8AAA0PgAA4LwAACQ-AAAMPgAAqL0AAAy-AACYPSAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=iV_bbK1Ah2U","parent-reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["11273585389513353507"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false,"videoContentId":"3366178256"},"2833861246317751013":{"videoId":"2833861246317751013","docid":"34-2-17-Z8257726A9B0F275C","description":"http://whoknowseverythings.blogspot.in On this channel you will find video realted to course (see channel's playlist) Learn & enjoy and Don't forget to subscribe ! check out this blog for some...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3294337/c61915b6a3f0ac407665bbf0005c3abf/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/DfBBfgEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"7","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DzufiEwshKmc","linkTemplate":"/video/preview/2833861246317751013?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Model Checking","related_orig_text":"Model Checking","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Model Checking\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=zufiEwshKmc\",\"src\":\"serp\",\"rvb\":\"Eq8DChMzNjYzNzM5NzgxNjUyOTM2MzY3ChQxNjk3NTM4MzkxMjEyODMxNjE1OQoTMzgwMTcxNTE1NzA4ODk5NjIyOQoTNjY3ODMyNjQxNjA4MTQyNDU5OQoTMzgwNzgwODQ0ODExMjMwMzMxMwoUMTEyNzM1ODUzODk1MTMzNTM1MDcKEzI4MzM4NjEyNDYzMTc3NTEwMTMKFDE1Mjg0MjQ1NDAxODA4Nzk4NTg4ChQxMzI1NzE2NzgyMDg2Mjc0MTY1NwoUMTM4ODgyODgwMDE0ODcwNzk4NDAKEzg0NzU3OTI3OTY1MDc2NTgyODUKEzU0NTE2NDY4MzgxMjI0MzQwMjkKFDE3MjI0MTczMjQyNjAzNjEwMzA2ChQxODM4NzM0NDc1MTk4NDgwNjA2NwoUMTgwNTUxNjA4Njc4OTQ5NTk3NzMKEzI2MDMzOTExOTc1MDg0NDY3NDYKFDEwNjk2NTY5NTY2NDQ2MDY3MjU4ChM3NjA1MTQxMzE5ODY3NDkxNzAwChQxODA0NDU4NzY4MDIyOTI1OTk4MwoUMTIyMDM5NzczNDAyMjU1NTA0NDYaFQoTMjgzMzg2MTI0NjMxNzc1MTAxM1oTMjgzMzg2MTI0NjMxNzc1MTAxM2q2DxIBMBgAIkUaMQAKKmhoY2picWJuaGlsZGt2Y2RoaFVDSXN5NG5RWHRZbkpobGY2alBLT3JOZxICABIqEMIPDxoPPxPTBYIEJAGABCsqiwEQARp4gf0C-_n8BAAM_f_8AwQBARADBvoH__8A9QUC_wcB_wD2EgcD_wAAAPUK_PoEAAAA-gb7Bvv-AAAGA_0BBAAAAAj1CP8FAAAACv_7-P8BAAD1_fYD9gIAAAf8-woAAAAA_AgBAfz_AAAEAQP8AAAAAAjz-QIAAAAAIAAtiO_eOzgTQAlITlACKoQCEAAa8AF_ERP--9zmBMj21ADCGN7_ofYp_wog5f-I0SsBlwL3_tQeBgD6DewBCgc6AN1DEP_q5OwA7unrAEjz-P8ZI_gA_PL3ABXaBAJBFgP_DezbALr3GP0SzggAAObwAAQk2f4YABT--QHG_wDT2wUZ5S4DHg4eAQr1JPzK9PoFvAf2Avf73QAc-wwJFvME9qj-HQf3-P_6APve-uYh6AIo3_n4--EE-vUq6gIt7wUH-g3lCf7W-wv8B-bx2xUOD_gM-_oBDDH78uAB7zwf-gMoyv_95-f4Af7z-QETBOn59-AR_PfnAgDHFvL00BgLEeX1AfIgAC0dRhA7OBNACUhhUAIqcxAAGmAQFAA9Cg7_9EBa9gDMCy_3Gh3JFelT_xYe_-UpzfAE99-970D_9v70z6QAAAASIwIdywD9f_rXIP-6IhLfjtsmNG0JMWXPyTT7KuNCBO_jFAUwGUsAIjajJTb6ES4aCvEgAC0yyhc7OBNACUhvUAIqrwYQDBqgBgAAYEEAAJhBAACgQQAAoEAAAIhBAAA4QgAAUEIAABjCAADAwQAAjsIAACRCAACAwAAAgMIAAGDBAACYQgAAiEEAACBCAAAowgAAQEAAAGDCAAAAwQAABEIAAAjCAACMQgAAgEAAAADAAABcwgAATMIAAP5CAAAgQgAAVEIAABxCAADAwQAAUMEAAILCAAC4wQAAkMEAAKBCAADQwQAAwMEAAABAAAAUQgAApEIAAChCAAAsQgAAgEAAAKDCAAAgwgAAxkIAAOjBAACAwgAAkEEAACjCAAAYQgAAAAAAADDCAAB4wgAAwMAAADDCAABEQgAAgEAAAEjCAABAwQAAiMEAADDBAAAAwQAAXEIAAFTCAABgwgAAQMEAAI5CAABwQgAAnsIAAIBBAACgQQAAeMIAAKDCAAAAQQAANEIAAKDBAAB8wgAAoEEAAKDBAABkQgAAEMIAABBCAAB8wgAA8EEAALBCAAAAwgAAAMAAAEDBAACAvwAA8MEAAKDBAAAAwgAAwMAAAOBBAAAAAAAASMIAAHzCAACCQgAAGEIAAKjBAABgQQAAsEEAAChCAACgQQAA2MEAABBCAAA4wgAAoEEAAGDBAADAwQAAgEIAANhBAABgwQAAgMEAAEDCAADgwAAANMIAAFBBAADgwQAARMIAAERCAAAAwQAAMEEAAFDBAACgQQAAYMIAAABAAADowQAA0MEAALhBAACoQQAADMIAAFhCAAAEwgAANMIAAIjCAAAoQgAAFEIAAI5CAABQwQAAQMEAAMhBAADQwQAAEMEAABDBAAB0wgAAoMAAAFTCAAAAwAAAQMEAAEzCAAC2wgAAAMIAANDBAACwQQAAXEIAAFjCAABAwAAAVMIAANjBAACAQAAAeMIAAARCAAAgwQAAAEEAAKjBAADgwQAAqEEAAABBAACIQQAAAEIAAARCAABsQgAAAEEAAIpCAAAMQgAAuMEAAMjBAACgQQAA2MEAAARCAAAgwQAASMIAAARCAACIQQAAAMAAABjCAADAwAAAcEEAADDBAAAIwgAAIMEAAGzCAADYQQAAgMEAACBBIAA4E0AJSHVQASqPAhAAGoACAADYPQAATL4AAPg9AAAsPgAAiL0AAMi9AAAwvQAAE78AAES-AACovQAAhj4AABy-AACovQAAVD4AABy-AACIPQAAsj4AALg9AAA8PgAAxj4AAH8_AACoPQAAcD0AAHC9AABsvgAAqr4AAOA8AACGvgAA4LwAALI-AACyPgAAMD0AAJg9AABMPgAAfD4AAHw-AAD4PQAALL4AACy-AACgPAAAuL0AAGy-AAD4vQAAZL4AAFS-AADYvQAAiD0AAGS-AACovQAAsr4AAMg9AACAOwAAUD0AAFC9AACOPgAAoLwAAC0_AAAsvgAABD4AAJI-AAA8vgAAPD4AAOg9AAAUPiAAOBNACUh8UAEqjwIQARqAAgAA2D0AAPi9AABsvgAAKb8AAMi9AACYPQAAdD4AAMg9AABAPAAAQLwAAKq-AABkvgAAoLwAAMq-AABQvQAAgLsAAFA9AAATPwAAPL4AAIY-AAAUvgAAgLsAAIi9AAA8PgAAEL0AAKC8AAAUvgAAcL0AANg9AAAkvgAAML0AABw-AACIPQAAgr4AAJ6-AACgPAAAqj4AAIi9AAAMvgAAHD4AAOg9AACYvQAA-L0AAIC7AAD4PQAA4DwAAH-_AAD4vQAAmL0AAOg9AAAcPgAANL4AAFA9AADIvQAAQDwAAIg9AACgvAAAmD0AANi9AABUPgAAJD4AAIA7AACGvgAAgLsgADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=zufiEwshKmc","parent-reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["2833861246317751013"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false,"videoContentId":"3802651425"},"15284245401808798588":{"videoId":"15284245401808798588","docid":"34-10-16-Z680C1EB557B341FB","description":"Macabacus Model Check helps banking and finance professionals catch formula errors, hardcoded inputs, broken links, and inconsistencies in a single click. Whether you’re in investment banking...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/749836/0d06eefd5cae17b457b1ca1667c55310/564x318_1"},"target":"_self","position":"8","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D3evtNVFrL7I","linkTemplate":"/video/preview/15284245401808798588?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Model Check by Macabacus: Fast, Accurate Excel Audits for Banking and Finance Teams","related_orig_text":"Model Checking","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Model Checking\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=3evtNVFrL7I\",\"src\":\"serp\",\"rvb\":\"Eq8DChMzNjYzNzM5NzgxNjUyOTM2MzY3ChQxNjk3NTM4MzkxMjEyODMxNjE1OQoTMzgwMTcxNTE1NzA4ODk5NjIyOQoTNjY3ODMyNjQxNjA4MTQyNDU5OQoTMzgwNzgwODQ0ODExMjMwMzMxMwoUMTEyNzM1ODUzODk1MTMzNTM1MDcKEzI4MzM4NjEyNDYzMTc3NTEwMTMKFDE1Mjg0MjQ1NDAxODA4Nzk4NTg4ChQxMzI1NzE2NzgyMDg2Mjc0MTY1NwoUMTM4ODgyODgwMDE0ODcwNzk4NDAKEzg0NzU3OTI3OTY1MDc2NTgyODUKEzU0NTE2NDY4MzgxMjI0MzQwMjkKFDE3MjI0MTczMjQyNjAzNjEwMzA2ChQxODM4NzM0NDc1MTk4NDgwNjA2NwoUMTgwNTUxNjA4Njc4OTQ5NTk3NzMKEzI2MDMzOTExOTc1MDg0NDY3NDYKFDEwNjk2NTY5NTY2NDQ2MDY3MjU4ChM3NjA1MTQxMzE5ODY3NDkxNzAwChQxODA0NDU4NzY4MDIyOTI1OTk4MwoUMTIyMDM5NzczNDAyMjU1NTA0NDYaFgoUMTUyODQyNDU0MDE4MDg3OTg1ODhaFDE1Mjg0MjQ1NDAxODA4Nzk4NTg4aq0NEgEwGAAiQxowAAopaGhlcGF1dmh1Y2lja3FqaGhVQ2FjV0NXa0lYVFh6OW1lT01YbUhYdmcSAgARKg_CDw8aDz8TMoIEJAGABCsqiwEQARp4gQADA_EB_gAYAwcI-gr9AQURCQn3__8A9vr7_P4D_wADBBD9_gEAAPYSB_IAAAAA9AP--wQAAAALEf0MBAAAABf5-wD_AAAA8Rb9Bv8BAAD3_QoB9AIAAQMCCQgAAAAACAYMAPr-AAAFBgH1AQAAAAjy8AoBAAAAIAAt7zLOOzgTQAlITlACKnMQABpg_R0AJjsJ7dX1P8wID_APDyvu0PDKEP_4PgAHKhHF0AP73gQt_-quJOu1AAAA_AXcRdEA1GYq0cvs-SgA27H1CR9_TCH32uz78yf9GO8TEhH7AQwpABU19uAeySpYEA8BIAAtZY0tOzgTQAlIb1ACKq8GEAwaoAYAAHDCAAC4QQAAUEEAAMhBAABQwQAADEIAAAxCAACQQQAATMIAAKTCAAAwwQAAlsIAAJbCAABAwAAAAMEAAJjBAABgQQAAoMIAAAzCAADAwQAAPEIAAFzCAABQQQAAAEEAABTCAADoQQAAuMEAAGjCAADeQgAAaMIAALhBAABkQgAA2sIAADDBAABAQQAA0MEAAMhBAADQQQAAgL8AAGhCAABcwgAAqEEAAJDCAAAEwgAABMIAAFTCAAAowgAAAEAAAIBAAACAwQAAlsIAAKhBAADAwAAAuMEAALBCAADAwQAATMIAAGDBAAAQwQAA0EEAAAhCAAAgQQAAeMIAAMbCAACgwAAAMMIAABjCAACgQAAAgL8AAEDBAABAQQAAuMEAAFxCAAAAQgAAQEEAAOBBAABQQQAAQMEAAAxCAADIwQAAQMIAAHhCAACAwAAA-EEAAEDCAADgwQAAjEIAACBCAACoQgAA4EEAAIC_AAAMQgAAyMEAAADCAACAvwAAfMIAADzCAAAIQgAAcEIAAIA_AABwwQAAwMEAAGxCAACgQQAAgMAAAIBAAADoQQAAEEIAAEBBAACyQgAAGEIAAABBAADAwQAA4kIAAODAAADAQQAA6MEAAAxCAACAQQAAQMAAABBBAAAIwgAA4EEAABzCAAAcQgAAYMEAAABCAAAwQQAAGMIAAIDAAACCwgAAYMIAABjCAAAAAAAABEIAAEBAAACmQgAAUEEAACDBAADIwQAA0EEAAKjBAAC4QQAA-MEAAGBCAADwQQAAAMIAAJJCAABgQQAASEIAAKjBAADgwAAAuEEAAKjBAAAgwQAAWMIAAMDBAACowQAA6EEAAGxCAAD4QQAAmkIAAJDBAABIwgAAcMIAAKDAAAAAQgAAJEIAANjBAACwwQAAEMEAAJBCAAAswgAAQEAAAIhBAAAwwQAA0EEAAIBBAADQwQAAVEIAACDCAAAwwQAAuMEAAIhBAADIQQAAJEIAAEDCAABcQgAAMEEAABBBAAAQwQAAKEIAANDBAAD4wQAAoMAAACDBAACSwgAAgMIAAAAAAAAcwiAAOBNACUh1UAEqjwIQABqAAgAAor4AAEC8AAD6PgAA2L0AAEA8AABEPgAArj4AAH-_AAAEvgAA-D0AAGw-AABsvgAAgj4AAKC8AACAOwAA2L0AAFA9AAD4PQAAhj4AADE_AAB_PwAAbD4AAOC8AACiPgAAuL0AAIq-AAAVPwAANL4AAIi9AABQPQAALD4AAMi9AACIvQAADL4AAEw-AACgvAAAfD4AAEy-AAAUvgAALL4AAKq-AADYvQAAmD0AACS-AAC4PQAATD4AAJ4-AAB0vgAAMD0AAOK-AAC4PQAAJD4AAKi9AAC-PgAAEL0AAFC9AAB3PwAAXL4AAAQ-AAADPwAAmj4AAFw-AADYPQAATD4gADgTQAlIfFABKo8CEAEagAIAAOA8AADovQAAoLwAAA-_AACoPQAA2D0AAKi9AADoPQAADL4AAHA9AADKvgAAyL0AADA9AADavgAA2D0AAKC8AACAuwAAST8AAEC8AADOPgAAQLwAAAy-AAB0PgAAEL0AAEC8AACAuwAAXL4AAEA8AAA8PgAA-L0AAMi9AADYPQAAcD0AAOa-AABwvQAAND4AAFw-AACIPQAAcL0AACQ-AADIPQAA6L0AAMi9AAAUvgAAyD0AANg9AAB_vwAA4r4AAJa-AAA0PgAA4LwAADy-AAD4PQAAUD0AADC9AACAuwAAiL0AABy-AAB0vgAALD4AAFA9AAB0PgAA6D0AAAS-IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=3evtNVFrL7I","parent-reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["15284245401808798588"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false},"13257167820862741657":{"videoId":"13257167820862741657","docid":"34-9-7-Z159B8AC18F514FB1","description":"Mudi is a multidimensional pseudo-3D spatio-temporal model checker employed for the formal validation of computational models. More details are provided in the open access paper \"Automatic...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/1714005/79d7ed016abe0111d4089bcaeebde666/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/eLkLOQAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"9","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DJX6f-WMpHTQ","linkTemplate":"/video/preview/13257167820862741657?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Tutorial: Installing and using the model checker Mudi","related_orig_text":"Model Checking","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Model Checking\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=JX6f-WMpHTQ\",\"src\":\"serp\",\"rvb\":\"Eq8DChMzNjYzNzM5NzgxNjUyOTM2MzY3ChQxNjk3NTM4MzkxMjEyODMxNjE1OQoTMzgwMTcxNTE1NzA4ODk5NjIyOQoTNjY3ODMyNjQxNjA4MTQyNDU5OQoTMzgwNzgwODQ0ODExMjMwMzMxMwoUMTEyNzM1ODUzODk1MTMzNTM1MDcKEzI4MzM4NjEyNDYzMTc3NTEwMTMKFDE1Mjg0MjQ1NDAxODA4Nzk4NTg4ChQxMzI1NzE2NzgyMDg2Mjc0MTY1NwoUMTM4ODgyODgwMDE0ODcwNzk4NDAKEzg0NzU3OTI3OTY1MDc2NTgyODUKEzU0NTE2NDY4MzgxMjI0MzQwMjkKFDE3MjI0MTczMjQyNjAzNjEwMzA2ChQxODM4NzM0NDc1MTk4NDgwNjA2NwoUMTgwNTUxNjA4Njc4OTQ5NTk3NzMKEzI2MDMzOTExOTc1MDg0NDY3NDYKFDEwNjk2NTY5NTY2NDQ2MDY3MjU4ChM3NjA1MTQxMzE5ODY3NDkxNzAwChQxODA0NDU4NzY4MDIyOTI1OTk4MwoUMTIyMDM5NzczNDAyMjU1NTA0NDYaFgoUMTMyNTcxNjc4MjA4NjI3NDE2NTdaFDEzMjU3MTY3ODIwODYyNzQxNjU3aogXEgEwGAAiRRoxAAoqaGhteHlncGVlZW1heGlnZGhoVUNXTm9UdmVnMTdHeWdDY1NRNjdfekpREgIAEioQwg8PGg8_E4EGggQkAYAEKyqLARABGniBCwXz_Qf4AAQABQgBCfwCHwYS_PQDAwDhBwgC9vwCAPQVCAP_AAAA6_3-8wgAAAAFCvMP_f0BABEB9vsEAAAADfb-7QAAAAAQBPf-_gEAAPHx9_QCAAAAAv0REgAAAADyEg4I_gAAAA37_e8BAAAABeMA8QEAAAAgAC1Hnb87OBNACUhOUAIqhAIQABrwAUbs5f4KCRUE5gL6AO8J4gGB8Pv_FA_1AOj9DwDADe7_6vn2AOUCGAEFEhz_2Q_3AAT58wAqGgcAAwD3AAEQBwAc8gQAHQsQARfyAgAICPb_BBkFADL7DgAS7wgAFhLWACDl9f_G8en_x_vxAv8DIAAJBh8DKgnsA-gtFgD3HRAD7vP6Be8k6v3S__j7Cvn9-hP22wEFCesA7v7oA_MgDgXq8xAADeX4AhIGAwMH8wLz2AkT-BALBwP8FwABIygI_vP4_gUECP3_6_H59Crs8_4B-BII5OACCgMK9gIR6fz87AoN-gAcAQPw8_r8GBr69yAALZD6Tjs4E0AJSGFQAirPBxAAGsAH-u8Bv4Ebbzv-0mK9jm9Uve3zFLzPWts85sSiu04Tkbw5tK28iEYnPgnEazwNhCk9l8eqvhPH7Du-EZ28OxlsPq4M6jyCjCU8K2Ccvbse1rxOXkS9FRxOvqxNyDw1lx87PrGOvJWUIDyLwk49_yE9Ps6J_TxOEFA8YlEsvWRSqDyolmO84V4ZPXfxo7yRviS8SkYePl_5YjxA3SA95gNCPvY9T71HAQG7QRzFvUAo-Tx_XXo7hViSvYwBaL10P0w8ySJtPUWE2jslMyg8BbOovUe1Q712Yyu9qcSQPRFIkzzHRLE7Mh_QvBZLsT3TdoI8gqJDvHVyq73SCgA7hneEvUdULT3fmbu7Hhk7PkGkujurEEW8D-kcvc3TTz2JdQ89-YTsPPaVBz2xm4C7PSZXPXcRpjwjtgA9Rii2us7gL72hNZo8HO7jPa5CrzycTMG8gIA1PNzxBj0lB6q7_OAcPbnjSD1qu-y7KlmJvSV0OLumtcy6D7bYPVyjb72w7Yg8-8uOPUDperxV10Y8J1iQOm49uT0k8Ac8yDREPWYXlz0-lym8GOapvC5geL0EwIK8qDIxPf93xDzuRMW7w6qwvWXDOr3oJ8G7QqbGPR0wmTyDnN46E-iNPewGQD3NIAA8YusDPSWU3r1SP9I5Ohu3vfgytLoUOWk7yICHvJ3yqLw8mPs7PWtNPWC4Cb1VwrW5q8l4vNdzCjy5ka47VPqePZroOL14Wk84m9zUvPNNJL3-XBc7lMtVvd5Vbz0rAYw63rmmPTtoG73aGcc5FcpCPMqxaz2bzOo5Ag8KPCgdzzgR40g6m3DxO4BEOL22w2k4faE2PXXrED0E_ZI5eilmvXN7Dr1Rw-I4L3UIPE86NrzRLDW5LcxiPb5smjuZu8k4umVqu9fdvLzuAcq41depOp8bHz2fjqC3aJpquxCWAb6GJ6m4Mk94PLT08rxnr5m4RA4bvAyb3LxlYJg3q8wKOsurKb0JVcK3GJpGvCDzHL31oPI35Y5IPAmOJjzpW4S4IoeMuxraBLsIoyW4dlNqvVfPyb1cOmq4nsfyPAZuWD1slHa432yjvfwtCbzNfaq2YUz-u9SYtb0ztII2RV5bvYqsGLv0yGq4x87ju7LOsr2KOny3gKBXPVjZiL1OyYW4y9gwPXEsubtKqY44sN-4PA56ID0Fdbg3vFdNPQUcnbwGMvS287eDPVjzLTyxCVa4VRimPW0LxT2Dx-c4ifDPvZNRtT3tePG45yOfvTfAcTztZJe3z2vsu2hScbt2WdE3IAA4E0AJSG1QASpzEAAaYA8IACXpI6zjPGPqAu7NM_ceHtEKzCz_JP__8R7z8PADyonyIP8g0RPfngAAACMB4vf1AP1_-KDjDMlJJ7ff2AYnNwgkK9v8HQMXsmYM2MsXDi8UOQAwDb65E-XmOxP8FyAALX-FGTs4E0AJSG9QAiqvBhAMGqAGAABowgAAPEIAAOBAAACgQAAAKEIAANhBAABIQgAAmEEAAMDCAADIQQAA6EEAAEDBAACwwQAAiEEAADBBAAAwwgAA4MEAAPjBAAA0wgAAHMIAANhBAABowgAAYMEAADRCAADAQAAAfMIAAOBAAADgwAAAvkIAAKDBAACQwQAAUEEAAM7CAACMQgAAmEEAAFDCAADgwQAA0EEAAI5CAAB4QgAAEEEAAIDBAAA4QgAAQMAAAIBAAABwwgAAbEIAAFDBAAA8QgAAWMIAAKLCAAAMwgAAmEEAAMDBAABEQgAAPEIAAJLCAACYwQAAIEEAAMBAAAAcQgAAEMEAAAzCAAC6wgAAHEIAAATCAAAYQgAAQMEAAIDAAAAQwgAAGEIAANhBAADgQAAAAMAAAEBBAABYQgAAiMEAABxCAACAQAAAgL8AAJLCAABUQgAA6MEAAADBAADgQAAAUMEAACjCAACMQgAAuEEAABRCAACIwQAAmEEAAKDBAAAwwgAAwMAAANBBAADowQAAaMIAAIBAAABgwQAA-MEAANBBAABkQgAALEIAAHDCAAAkQgAAFMIAAOBAAACAQAAAbEIAAKBBAAAQQQAAEMEAAIDAAACYQQAAuEEAACBCAADYwQAAWEIAAEDBAACAQAAArsIAABhCAACqwgAADEIAAJhBAAAkQgAAoMAAAFjCAABgQQAAoMEAAMDBAABoQgAAoMEAAGBBAACQQQAAgD8AAMDAAACAPwAAoMAAABBBAACgQQAAmEEAAPDBAACUQgAAQEAAADzCAAAQQgAA8EEAABDBAACgwAAA4EEAAKBAAABIwgAAAEAAAITCAABAwAAAQMIAAIhBAAAgQQAA4EAAAFxCAABEwgAAgEAAAOBAAABUwgAAUEEAAATCAADYQQAAEMIAAAzCAAAMQgAAAEAAAKjBAAAAwQAAikIAAJhCAAAQwQAAwMEAAMBCAACOwgAAwMEAAAzCAAB8wgAAwEEAAIBAAAD2wgAAokIAAHhCAACYQQAAVEIAACBBAAAYwgAAgEAAAGjCAACAPwAAgMIAAOBAAACIwQAAUMEgADgTQAlIdVABKo8CEAAagAIAANi9AACAuwAAyD0AABw-AACIvQAARL4AAEA8AAATvwAA5r4AAIg9AABAPAAA4LwAAAy-AAC4PQAABL4AAJi9AADIPQAA2D0AAJ4-AADWPgAAfz8AAMg9AABUvgAAoLwAAOC8AACIPQAA4DwAANa-AAAUvgAAvj4AADw-AADIPQAAqD0AADQ-AADIPQAAVD4AAHQ-AABcvgAAPL4AALq-AACYPQAAEL0AAFS-AABEvgAAmD0AADQ-AAC4PQAAXL4AAEC8AAB8vgAAfD4AAKA8AAA8PgAAnr4AAFC9AADgvAAAQT8AAHC9AACuPgAA_j4AAPi9AADIPQAAiL0AAIg9IAA4E0AJSHxQASqPAhABGoACAAD4vQAAhj4AABS-AAAbvwAAHL4AADw-AAA0PgAAmD0AAIC7AAB8PgAAlr4AABy-AAAQPQAAdL4AABC9AAAQvQAAUD0AACs_AACYvQAAkj4AACS-AAAMvgAAuD0AADA9AACYvQAAmD0AAJi9AABQPQAAUL0AAKi9AACgvAAAoDwAAKi9AADYvQAAJL4AADC9AACmPgAAVD4AAES-AADYvQAAQDwAAIA7AADgPAAAED0AAII-AADYPQAAf78AADC9AAAkvgAAgj4AAL4-AAAUvgAAVD4AAFA9AADgvAAAED0AAKC8AACgvAAAEL0AAKg9AACCPgAATD4AALi9AAAsviAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=JX6f-WMpHTQ","parent-reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1920,"cheight":1080,"cratio":1.77777,"dups":["13257167820862741657"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false,"videoContentId":"1093369166"},"13888288001487079840":{"videoId":"13888288001487079840","docid":"34-6-4-ZDF210D5C4255E8CA","description":"p=127552 More information: http://graphisoft.com/archicad Free Archicad Download: http://www.graphisoft.com/downloads/ https://www.youtube.com/user/Archicad https://www.facebook.com/archicad...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/2746755/1bef3fbe4732de51c8e86ea2a30f517a/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/yhy-KAEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"10","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D5TtEBXBNYfo","linkTemplate":"/video/preview/13888288001487079840?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Model Checking in Archicad","related_orig_text":"Model Checking","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Model Checking\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=5TtEBXBNYfo\",\"src\":\"serp\",\"rvb\":\"Eq8DChMzNjYzNzM5NzgxNjUyOTM2MzY3ChQxNjk3NTM4MzkxMjEyODMxNjE1OQoTMzgwMTcxNTE1NzA4ODk5NjIyOQoTNjY3ODMyNjQxNjA4MTQyNDU5OQoTMzgwNzgwODQ0ODExMjMwMzMxMwoUMTEyNzM1ODUzODk1MTMzNTM1MDcKEzI4MzM4NjEyNDYzMTc3NTEwMTMKFDE1Mjg0MjQ1NDAxODA4Nzk4NTg4ChQxMzI1NzE2NzgyMDg2Mjc0MTY1NwoUMTM4ODgyODgwMDE0ODcwNzk4NDAKEzg0NzU3OTI3OTY1MDc2NTgyODUKEzU0NTE2NDY4MzgxMjI0MzQwMjkKFDE3MjI0MTczMjQyNjAzNjEwMzA2ChQxODM4NzM0NDc1MTk4NDgwNjA2NwoUMTgwNTUxNjA4Njc4OTQ5NTk3NzMKEzI2MDMzOTExOTc1MDg0NDY3NDYKFDEwNjk2NTY5NTY2NDQ2MDY3MjU4ChM3NjA1MTQxMzE5ODY3NDkxNzAwChQxODA0NDU4NzY4MDIyOTI1OTk4MwoUMTIyMDM5NzczNDAyMjU1NTA0NDYaFgoUMTM4ODgyODgwMDE0ODcwNzk4NDBaFDEzODg4Mjg4MDAxNDg3MDc5ODQwarUPEgEwGAAiRBowAAopaGh3YWVwY3huendsaW5taGhVQ3NnME9zVnp6elNwQzh3R2lOYWI5MHcSAgARKhDCDw8aDz8TvwGCBCQBgAQrKosBEAEaeIH3-QT7_AQA9AQH9wQBAAELAPv69wAAAPwF-v0GBP4A-gUHBPkBAAAC9Pv0_wAAAAMB-QXz_gEAAggBDwMAAAAb8AIB-wAAAAjw9vkAAQAA-gv6BfgBAAAABQj-_wAAAPr9_gMBAAAABw79-AEAAAAL7f0KAQAAACAALZbg3Ts4E0AJSE5QAiqEAhAAGvABdj4l_-Xg3QKRHPsAx__LAI70Mf7YA-8AuwISAJMSCv8Y9hYA-T74_ywhG_-B4d4DM_Yz_xcI8P-7B039KCIa__D75gHN6RcCUO3mAEH_3P8QCyT_DPoNAOLZNv9MKswAFxja_vwxMwCR3QoE_w4MB9OuFQZK2AoG4vcMBAcK-P_25__9Pk79AN7jEgEPHvz_AtPxAxYd-f3x3eUH_zIDBxb66wtB3B8BOPYH8fXg7_nxJRAKCL4I8tka8PPq4xD3mNcL_OcV7PIZQgcDMwzuCfykBgkAWfEAAevuDxv_FAr3DPj96QDu6yHyBRfn2Br1IAAtvfnwOjgTQAlIYVACKnMQABpgDQMAFN8kJuc9V-nD8vUD2cb2sxz4Jf_a6__1C9v9BOLTpvgXAOfDH_GkAAAAFu4gLvMACXUjtyUmvzAr_cT-HEJ_3_Ah0uUWDBu6JcgzI74JNiI6AP5CyCAp3eJM6DzSIAAt8sQYOzgTQAlIb1ACKq8GEAwaoAYAAJhBAABAQAAAZEIAAAAAAADQwQAA0EEAABBCAABAQQAAlMIAAODBAAB0QgAAgEAAABzCAACIQQAAUEIAAEBBAADwwQAANMIAANDCAACgQAAAKEIAAI7CAADIQQAAUEIAAMDAAAAsQgAANMIAAMBBAACYQQAAYEEAAIDAAACCQgAAmsIAALBBAACowQAAHMIAAKDBAACOQgAABEIAAJjBAAAQwgAAIEEAAKBAAABgQgAA2MEAAIBAAABwQQAAAMIAAJhBAABAQAAAsMEAAOjBAADYQQAAMMEAACRCAAAgQQAAGMIAAPjBAAAwQgAAqMEAAEDBAAAAwQAAUMEAADDCAACoQgAAgEEAAPhBAABEQgAAgEAAAIDBAACQQgAAWEIAAFBCAAAkQgAAIMEAAMLCAACYwgAA8EEAAMBBAAAgwgAA2MEAAKpCAAAgQQAAOMIAABjCAADwQQAAlkIAAMDBAACCQgAAMEEAAPjBAADQQQAAQMEAAJbCAAAQwQAAfMIAAHDBAAA8QgAA2MEAAIhCAAAgwQAAwMAAAAhCAABgwgAA6MEAABBBAADwwQAAEMEAAJhBAACwQQAAPEIAADzCAADQwQAAHEIAABDBAAD4QQAABMIAAMhBAAAgwgAAwMIAAEDAAABQwQAAwMEAAIjBAACgQAAAgEAAAEDAAABMwgAAYEEAALjBAACQwQAADMIAADDCAAAAQAAAPEIAAJBBAAC4QQAAjEIAAOBBAACGwgAAgD8AAEjCAACAQAAAsMEAAHRCAAAcwgAAPMIAANBBAACgwAAA-EEAAIhBAAAcwgAAiEEAAETCAACgwQAAJMIAABDCAAD4wQAAsMEAAExCAAA8wgAAFEIAALDBAACAvwAABEIAAMBAAACYQQAAfEIAALZCAADowQAAksIAAKJCAADwwQAAXMIAAAzCAAAwwQAA6MEAABzCAAAQwQAADEIAALBBAADgQAAAqsIAABzCAAA0QgAAoEIAANDBAACAQgAAAMAAAKDAAACywgAAuEEAAABAAABoQgAACMIAAFBBAAAAQAAAPMIAABzCAAA8wiAAOBNACUh1UAEqjwIQABqAAgAAFD4AAJa-AAAwvQAA6D0AADy-AACAOwAALD4AABO_AADSvgAAfL4AAOA8AAC2vgAA4LwAAMg9AACevgAAUL0AANg9AACYPQAALD4AANo-AAB_PwAAuD0AADA9AACKvgAAHL4AAHy-AABAPAAAhr4AAKC8AACIPQAA3j4AAKC8AABAPAAAND4AAEw-AAA8PgAAVD4AAI6-AADivgAAyD0AAOq-AADgPAAAcL0AANi9AAA8vgAALL4AAOA8AAA0vgAA4DwAABy-AADYvQAAVL4AADA9AADgPAAA0j4AAKC8AAAVPwAA4DwAAFA9AABkPgAAEL0AAIg9AADoPQAAhj4gADgTQAlIfFABKo8CEAEagAIAAMg9AABQPQAAgr4AADm_AACKvgAAMD0AABs_AACoPQAAqL0AALg9AABQvQAAgr4AAAy-AACqvgAAHL4AAFC9AAAwvQAABz8AAKA8AADePgAAyL0AAMi9AAB8vgAA6D0AABC9AADGvgAAiD0AAIg9AABwPQAAJL4AAOA8AABwPQAA2L0AAFC9AABEvgAAsr4AAOI-AABQvQAAsr4AAJ4-AAD4PQAAPL4AALi9AADYPQAAuD0AAGw-AAB_vwAALL4AAOi9AABMPgAAND4AABw-AABAPAAAir4AAHA9AAC4PQAA2L0AAK4-AABkPgAAND4AAII-AABkPgAAnr4AAKC8IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=5TtEBXBNYfo","parent-reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1920,"cheight":1080,"cratio":1.77777,"dups":["13888288001487079840"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false,"videoContentId":"1108148805"},"8475792796507658285":{"videoId":"8475792796507658285","docid":"34-9-11-ZB1620C8F88FA686C","description":"Bond Bryan Digital – full interview at: https://www.solibri.com/news/producin... Bond Bryan Digital describes their work as information managers on the WMG Degree Apprenticeship Centre project...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3817792/26434e9e4141ec9946fcf2123a2abbc6/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/ZMZZ4AAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"12","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DvRxJhpSnP_g","linkTemplate":"/video/preview/8475792796507658285?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Model checking process around open standards by Bond Bryan Digital","related_orig_text":"Model Checking","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Model Checking\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=vRxJhpSnP_g\",\"src\":\"serp\",\"rvb\":\"Eq8DChMzNjYzNzM5NzgxNjUyOTM2MzY3ChQxNjk3NTM4MzkxMjEyODMxNjE1OQoTMzgwMTcxNTE1NzA4ODk5NjIyOQoTNjY3ODMyNjQxNjA4MTQyNDU5OQoTMzgwNzgwODQ0ODExMjMwMzMxMwoUMTEyNzM1ODUzODk1MTMzNTM1MDcKEzI4MzM4NjEyNDYzMTc3NTEwMTMKFDE1Mjg0MjQ1NDAxODA4Nzk4NTg4ChQxMzI1NzE2NzgyMDg2Mjc0MTY1NwoUMTM4ODgyODgwMDE0ODcwNzk4NDAKEzg0NzU3OTI3OTY1MDc2NTgyODUKEzU0NTE2NDY4MzgxMjI0MzQwMjkKFDE3MjI0MTczMjQyNjAzNjEwMzA2ChQxODM4NzM0NDc1MTk4NDgwNjA2NwoUMTgwNTUxNjA4Njc4OTQ5NTk3NzMKEzI2MDMzOTExOTc1MDg0NDY3NDYKFDEwNjk2NTY5NTY2NDQ2MDY3MjU4ChM3NjA1MTQxMzE5ODY3NDkxNzAwChQxODA0NDU4NzY4MDIyOTI1OTk4MwoUMTIyMDM5NzczNDAyMjU1NTA0NDYaFQoTODQ3NTc5Mjc5NjUwNzY1ODI4NVoTODQ3NTc5Mjc5NjUwNzY1ODI4NWq1DxIBMBgAIkQaMAAKKWhoenh6Z2ZwdHp6Y3p1eGhoVUNIZDBlR19SWHR6REpRam90cTRaR1VBEgIAESoQwg8PGg8_E4kBggQkAYAEKyqLARABGniBAwLzA_0DAPP29QIFA_8B-gP_Afn9_QDxAgjyAwEAAAH-Dgj_AAAA6gP6APcAAAD3APUC-_8AAA0DAf4EAAAAEgMRAP4AAAAEBP70_wEAAPb__AwE_wAA_vj3Bv8AAAABCQv5_v8AAP79_v0AAAAACvUFDAAAAAAgAC11S947OBNACUhOUAIqhAIQABrwAX8MLwS89O3-0A8UAEII3gDh8e8A5_8FAfwAAwC3DAf_3RgFAAMMAgADACD_lPT_ARjnJwAx9PcAyeUTACgQ_AHxDgsA5_8LAjMA_QAk2QT_EgkNAPn6IQDs5iT_CxX0_gLy4_4BDyn_4PYNAvQQ_gH60gkDGfD0APn5Gv_lAgkB-e___hQa-wPW6xj__g0DAx3O5QEFFggFBwIABA8C9gYNFvL-ROIV-g_v9__09fn48xAO_NT8DgPiB-n_DOwAA64EDwTlCAMH-jX-CBEJ9gUjyAH8BBj-APAN9wL9A_wH-AgAB_vt-QAW9wMP_M0QAiAALdGNMzs4E0AJSGFQAipzEAAaYAbsAETBMQ7kGkbVwuTjCtfs4dwhzAL_0fj_-RbR5gTt4Z3gBQDb1S7UnAAAAAwf_xEQACF77o0gKONiIAW1Dggofx79DtftA0IU1yMRMuPhChdHHwD2E8f7UsS1O-gM9CAALYkQFzs4E0AJSG9QAiqvBhAMGqAGAACAwAAAAMAAABBCAACAwQAACMIAAIJCAACQQQAAMMEAAGDBAACQQQAAcEEAAFhCAABQwgAAMMEAALhBAACgQQAAMMIAAFBBAAAEQgAAdMIAAAxCAABcwgAAGMIAAIBAAABgwQAAGEIAAODBAABwwgAAWEIAAMhBAAAUQgAAAEIAADBBAACOQgAAMMIAAPhBAABAQQAAUEEAAKBAAAA4wgAAfMIAAKjBAACSwgAA-EEAAEBAAAAAQQAAQMIAAPjBAACgQAAAIEEAAFzCAAAwwQAAGMIAAEBBAACqwgAASMIAALbCAAAQwQAAAAAAAOBBAABEwgAAiMEAACDCAAAAwQAAgEAAAFBCAABAQQAAcMEAACTCAAAEQgAAoMAAAChCAADAQAAAxEIAAADCAACoQQAADEIAAKDAAAAQwQAAEMEAABDCAACIQQAAIMEAACDBAAAkQgAAuEEAAHDCAAAgwQAAiEIAACTCAAB8wgAADEIAAMBAAABAQAAA4MAAAMjBAAAUQgAA-EEAAPhBAADAQAAAwMAAACDBAAA4QgAA4MEAADDBAACQwQAAQMAAAPjBAAC4wgAAgEEAAABCAABAQQAAyMEAAMDBAAC2QgAABEIAABDCAAAQwQAAcMEAAGjCAABswgAAeMIAABBBAACIwgAA6MEAAMhBAABgwQAAEMEAAJDBAACowgAAuMEAABzCAACAPwAAdEIAAFRCAACAvwAAOEIAALBBAAAgwgAAosIAACBBAAAcQgAAQMEAAJBBAAAgwQAAUMEAABBCAAC0QgAAUMIAAOhBAACYwQAAgEAAADhCAADAwQAAsMEAALhBAADwQQAANMIAABjCAAAgwQAARMIAAIA_AABgwQAAAMEAAJhBAAA4wgAAyEEAAOhBAACoQgAAAMIAAKTCAACwwQAAUEEAAAxCAAA8wgAAOEIAAIDBAADwwQAAIEEAAHhCAACIQQAAysIAAHDBAAAAQAAAYEEAADBCAAAcwgAASEIAAJhBAABkwgAAuMEAAKhCAADwwQAAcMEAAOhBAACgQQAAYMIAAODBAAB0wgAAZMIgADgTQAlIdVABKo8CEAAagAIAAIi9AAAsvgAAjj4AAJY-AAAcvgAAhr4AABC9AABsvgAAur4AAES-AABwPQAAPD4AAJg9AACIPQAAoDwAADS-AAB0PgAAQLwAAFQ-AADKPgAAfz8AAOg9AADYPQAAML0AAGy-AADgvAAAuL0AALi9AAC4vQAAZD4AAMg9AACaPgAAFL4AAFw-AACgPAAAmD0AALg9AAC4vQAAZL4AAKC8AABQPQAA4LwAAKg9AABQvQAAqL0AADC9AAAkPgAAgr4AAKg9AAB0vgAAQDwAAKY-AADgPAAAiD0AAJg9AAAwvQAA9j4AAFC9AAAsPgAAuj4AAPi9AAB0vgAA4DwAABA9IAA4E0AJSHxQASqPAhABGoACAADovQAA2L0AAKC8AAB_vwAAXL4AAKi9AACgPAAAoLwAAIg9AACSPgAATL4AADy-AADYvQAAjr4AAMi9AABAvAAA6L0AAG0_AAB0PgAAsj4AAEy-AAA0vgAA4LwAADQ-AABwvQAAHD4AANg9AAAUPgAAJD4AAEC8AAC4vQAA4LwAAEw-AAD6vgAADL4AAEC8AABEPgAAPL4AAEy-AACCPgAAML0AAOC8AACKvgAAgLsAABA9AABEvgAAd78AAFy-AAAEvgAA-D0AAFC9AAB0vgAANL4AAJi9AAB0PgAAED0AAFC9AAC2PgAAUL0AAIi9AADqPgAA-D0AABC9AADYvSAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=vRxJhpSnP_g","parent-reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1920,"cheight":1080,"cratio":1.77777,"dups":["8475792796507658285"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false,"videoContentId":"1197465521"},"5451646838122434029":{"videoId":"5451646838122434029","docid":"34-8-5-ZAF9D2F5DEBBED55A","description":"Design Verification and Test of Digital VLSI Circuits by Prof. Jatindra Kumar Deka, Dr. Santosh Biswas, Department of Computer Science and Engineering, IIT Guwahati. For more details on Nptel...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3298221/7d306307e0765ab82352cde7da33f1fa/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/dv18QwAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"13","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DATsAl_t52xY","linkTemplate":"/video/preview/5451646838122434029?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Mod-05 Lec-01 Introduction to Model Checking","related_orig_text":"Model Checking","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Model Checking\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=ATsAl_t52xY\",\"src\":\"serp\",\"rvb\":\"Eq8DChMzNjYzNzM5NzgxNjUyOTM2MzY3ChQxNjk3NTM4MzkxMjEyODMxNjE1OQoTMzgwMTcxNTE1NzA4ODk5NjIyOQoTNjY3ODMyNjQxNjA4MTQyNDU5OQoTMzgwNzgwODQ0ODExMjMwMzMxMwoUMTEyNzM1ODUzODk1MTMzNTM1MDcKEzI4MzM4NjEyNDYzMTc3NTEwMTMKFDE1Mjg0MjQ1NDAxODA4Nzk4NTg4ChQxMzI1NzE2NzgyMDg2Mjc0MTY1NwoUMTM4ODgyODgwMDE0ODcwNzk4NDAKEzg0NzU3OTI3OTY1MDc2NTgyODUKEzU0NTE2NDY4MzgxMjI0MzQwMjkKFDE3MjI0MTczMjQyNjAzNjEwMzA2ChQxODM4NzM0NDc1MTk4NDgwNjA2NwoUMTgwNTUxNjA4Njc4OTQ5NTk3NzMKEzI2MDMzOTExOTc1MDg0NDY3NDYKFDEwNjk2NTY5NTY2NDQ2MDY3MjU4ChM3NjA1MTQxMzE5ODY3NDkxNzAwChQxODA0NDU4NzY4MDIyOTI1OTk4MwoUMTIyMDM5NzczNDAyMjU1NTA0NDYaFQoTNTQ1MTY0NjgzODEyMjQzNDAyOVoTNTQ1MTY0NjgzODEyMjQzNDAyOWqIFxIBMBgAIkUaMQAKKmhoYnpvcW9sY3BmeHVzZWNoaFVDNjQweTRVdkRBbHlhX1dPajVVNHBmQRICABIqEMIPDxoPPxO_HYIEJAGABCsqiwEQARp4gfYJ_vX_AQD1-AYJDgb8AR0A_P70AwMA5QME_Qn9AgD1AfwB9QAAAAEN-v0FAAAA_Q4JCfb-AQANAP0D-wAAAPz1Cfz4AAAADfX-8_8BAAD0_fUD9QIAAAD_AAoAAAAA-gz4A_0AAAD_BwX9AAAAAAjy-QIAAAAAIAAtS6PSOzgTQAlITlACKoQCEAAa8AF_B-oCyhfo_xnb7ADqCPcAlgAB_x8Q6gDNBP0Aqu7f_xoX9wHZ7vgAExEwAOIX_AA2-ekAAu4RAB7wDv9HBQEA7xcUAFfkDgEiFgQAEfn5AO3x3f4X4wEB4Pfs_woAAP0CGBL-9PHf_gQW6wAc-gL__gcOAR3yAAH-7_8A9h8RA-vn8gAbI_wA7vv8--0XBwDN7wsBAfsK_QL27v4G__j9EPgGATEE5gEJ9_wKDe3z-vQODfwU9_r16vQGBej17wD-7wUFBfPuBOQNCvcf9BUA--oRAfT1Av8O_fYGFvD7CfoH-_4BCwD6_AAGDuP19_sgAC2pFEQ7OBNACUhhUAIqzwcQABrAB_0WAb9Y0dU8VLeGu7-Nfj0erhA9NDDNvILhHD1Pcd47DIAnvNiLOjsb94E8U0MWvZZdUL6Q7Nu8iSimPHFytz7Lq6k86BEoPdlDS75DknY7KX-CvU94kb5nFUw9qeaLuljBxD2Rlg89RxqBPDuVAj2fRDo8J7QTO1YQsz0H6hQ7s7xBvbXgJb49qqu89_wVva1_4Tyzxb-8xE8tvGDnJj4N0w298R7xvM9Jnz2FmZG8LqqHu0MRfL2oRwS9mWr_u2n-KD6LXdM7RwsrPJrvuz2rbj882DttvDUm5L0onSi9lKrEu2YW4T1BtQY9E9aGvPII7j17FM69x4CsvILUO7tuePA8jjEgPD7qvz3otPg8dgqPt-CgPb31keU8uG-aPNSeMr2wZUM8etcLPKkenzy1ToG87Q-1O8QQND0EXt47Z_9NPHIT97ssuYo8czLMPLpjFj3k9ss8ptWMu1OpvjzBq4a77EOHu-J4Dr7Aavo7VPX6uid4FD2oIxu9e5E_PLPyCTuBzG49HsZ_PFxKZz3GiAS8yUisu_m6MbyJbQE9LYFvuzF-9TurbTS9TH2sOqUTST3IMqM97gvHu2u33b1KzxQ9jVszO-eihjxPZYe8NgIQPM910LyWxjQ91D_OO79rp7s6w7k81jV_vPV2lTwd_wk8zKLJugYwgDyda3O9FwaTu5t-vz0Ud_w89IgrOn-Hkr2ywoi881EpuxCKdzxAQn49k3oJu2UOUz09Tke9cDdSO_yJ77xhQTA9XUNgucoInjxrPji9JIlpOZnAiD3zdt88xQeKt0ZQmz0Jhtg8nnhAOESAGL3V3vG8gBoouTRlpzxTDEo7RBdZubeyzblrzgU8zWywucYmYz1L1pe89m_OOa7AC72maSu85jbDOXvaobxZQBU8UG_ZuLdETj2pewO5e7couMDyuzxKOxy8a2TOOABWJ71YuaG82o2hOQNGkj09ze48tkfQOEHxAz1xT8G91zh7ORJwIz0CnjQ8pOFlOAwqAD32ACe95Ex3uC5OQb3Fb6u7ejNVuOo2jTwMEQa9mX5yN6YuFL0n7kI9umgJt5RgO7wRZ827mmcKOSPRsLxyU8O84xA7uIaqeD21IgC92i8DOEIoSrzbk3a8SZwUOEnhpT3cdxQ81LYjuYHbqDp4oMo6dsc5uIT6L7sAIwG86qNfNwo1njwZtye9aXOdNzxGnjwlOQW9OM-8tYfTUz3_UQU9uVDTOJiTZTuAC9I9mOQPucOV2Ly_Olg8eZttuNR6lL0pCem9rctoNyAAOBNACUhtUAEqcxAAGmAT7QAV3SAD8jE15PXy9RwE8ybiB8AK__oN__w01PL1HPKB6hX_EMH57akAAAD1_hns9AD_d-ri8Qq8IwbSwfwoNFofPv3K2P8H4wgX-PzxFgQj2jUADAyjEUi-vSsnLuEgAC1IXCw7OBNACUhvUAIqrwYQDBqgBgAANEIAAEhCAAAoQgAAqsIAAKDBAAA8QgAAqkIAAHDBAABUwgAA8MEAAIC_AAAQwQAAUMEAAGDBAAC4QQAAgsIAAChCAADgwQAAAEIAADDBAADQQQAAIMEAAADBAAA0QgAABEIAAMBBAAB4wgAAuMEAAAhCAACgwQAAUEIAAIRCAAAQwQAAmMEAAEDCAAA0wgAAAEIAADRCAACAwAAAmkIAAIhBAACoQQAABEIAAIA_AADgwAAAEMEAAERCAACgQQAA_kIAAIjBAACMwgAAmEEAAGBBAAAEQgAA4EEAAIDAAACKwgAAEMEAAAzCAAAAAAAAGEIAAIA_AAAAwgAAyEEAAKZCAABgwgAAMMIAAHzCAACQQQAAoMEAAMBBAADgQQAAcMIAAJjBAACgwAAApMIAAKrCAAB4wgAA6EEAAHBBAAC2wgAA8kIAAKDCAAAQQgAAoEAAAEhCAACgwQAAlkIAAHRCAAAIwgAA0EEAAJhCAAAcQgAA8MEAAJDBAACywgAA8EEAAIA_AABoQgAACMIAAGDBAACwQQAAQEEAAJBBAACwwgAABEIAABDCAACwQQAAoEAAAMBBAAAoQgAA6EEAAKDAAAAAAAAAUMEAAABBAACwQQAAAAAAAOBBAACQQQAAwMEAAFDCAAD4QQAAYMIAAEDCAADAwQAAOMIAABhCAADIwQAAqMEAAKBCAADgwAAAAMIAACxCAADIwQAA8MEAAKjBAADIwQAAuMEAAMjBAABUwgAAFEIAAEzCAACIwQAAqMEAAIC_AACIQQAA4MEAAADBAAAgQgAAYMEAAJBBAADgQQAAEMIAAGBBAABAwAAABMIAAAAAAACAvwAAiEEAALjBAACQQQAAoMEAAMjBAAAwwQAAQMEAABDBAAAYQgAA-EEAAJjBAADCQgAABMIAABDBAABwwQAA8EEAACBBAABQQQAA0MEAAMjBAACSQgAAbMIAABDCAAAAQgAAFEIAAChCAABAwgAAkEEAAMjBAADQQQAAEMEAABTCAABwQQAAPEIAAABAAAD4QQAAXEIAABRCAACYwQAAoMIAAIDAIAA4E0AJSHVQASqPAhAAGoACAABwPQAAgLsAAAw-AAC4PQAA4LwAAKg9AACgPAAABb8AAM6-AABwPQAAUD0AAOi9AACAOwAA4DwAAGy-AAAQvQAAyD0AAIA7AAD4PQAA6j4AAH8_AACoPQAAmL0AADS-AABkvgAAED0AAJg9AACYvQAARL4AADw-AABcPgAAyD0AAAy-AAA8PgAAjj4AAOC8AAAUPgAAEL0AAAS-AACCvgAAED0AAFS-AAAQvQAAZL4AAOC8AABAPAAAPD4AADS-AADIvQAA8r4AANg9AACAuwAABD4AABA9AADIPQAAcL0AAPI-AAC4vQAAqD0AAHQ-AABAvAAAUD0AABA9AADgPCAAOBNACUh8UAEqjwIQARqAAgAAdL4AAOC8AABkvgAAL78AAHC9AABsPgAAbD4AAKA8AACYvQAA4DwAAJa-AAA0vgAA-L0AAGS-AACYPQAAMD0AAFQ-AAAbPwAA2L0AAMY-AACivgAA4DwAABC9AAAcPgAAUL0AAPi9AACIvQAAoLwAAEA8AAB8vgAAQLwAADQ-AABAvAAALL4AAFC9AACAuwAAhj4AAII-AAAcvgAAiL0AADA9AACovQAAPL4AANi9AAAcPgAAMD0AAH-_AAAcvgAAUL0AABQ-AADmPgAAVL4AAEC8AACYPQAAmL0AALg9AACAOwAAPD4AAHA9AAA0PgAAhj4AAKA8AAAEvgAAQDwgADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=ATsAl_t52xY","parent-reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":320,"cheight":240,"cratio":1.33333,"dups":["5451646838122434029"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false,"videoContentId":"3464837380"},"17224173242603610306":{"videoId":"17224173242603610306","docid":"34-2-6-ZDEC8FE07209D091E","description":"Scenario:In the first activity, we assume that there are two cars that simultaneously search for parking space. The cars can move forward and backwards and...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3325486/d58b1d470aa85ffe5fa31d875558c06d/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/HuKlpgAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"14","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D0ioBpqDGOf0","linkTemplate":"/video/preview/17224173242603610306?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Uppaal (model checking tool) and Corectness Criteria for Beginners","related_orig_text":"Model Checking","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Model Checking\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=0ioBpqDGOf0\",\"src\":\"serp\",\"rvb\":\"Eq8DChMzNjYzNzM5NzgxNjUyOTM2MzY3ChQxNjk3NTM4MzkxMjEyODMxNjE1OQoTMzgwMTcxNTE1NzA4ODk5NjIyOQoTNjY3ODMyNjQxNjA4MTQyNDU5OQoTMzgwNzgwODQ0ODExMjMwMzMxMwoUMTEyNzM1ODUzODk1MTMzNTM1MDcKEzI4MzM4NjEyNDYzMTc3NTEwMTMKFDE1Mjg0MjQ1NDAxODA4Nzk4NTg4ChQxMzI1NzE2NzgyMDg2Mjc0MTY1NwoUMTM4ODgyODgwMDE0ODcwNzk4NDAKEzg0NzU3OTI3OTY1MDc2NTgyODUKEzU0NTE2NDY4MzgxMjI0MzQwMjkKFDE3MjI0MTczMjQyNjAzNjEwMzA2ChQxODM4NzM0NDc1MTk4NDgwNjA2NwoUMTgwNTUxNjA4Njc4OTQ5NTk3NzMKEzI2MDMzOTExOTc1MDg0NDY3NDYKFDEwNjk2NTY5NTY2NDQ2MDY3MjU4ChM3NjA1MTQxMzE5ODY3NDkxNzAwChQxODA0NDU4NzY4MDIyOTI1OTk4MwoUMTIyMDM5NzczNDAyMjU1NTA0NDYaFgoUMTcyMjQxNzMyNDI2MDM2MTAzMDZaFDE3MjI0MTczMjQyNjAzNjEwMzA2apIXEgEwGAAiRBowAAopaGhtdGJxd2Jod2N3YWt3aGhVQ1NTQS0xX01iSVczb051RG9CRldSaXcSAgARKhDCDw8aDz8T1RWCBCQBgAQrKosBEAEaeIH4Evb2C_H_BPP5CwgL-wMfAQcMCQEBAO8LCvr0Av8ACxkI_gIBAADb_-z5AAAAAPn78fjz_gEAGQP6CAUAAAAZDwAB_gAAABwH8_j-AQAAAf_-A-kFAAEQ7vcQ_wAAAOwY__n___8ABw8I-wAAAAAY7AgDAAEAACAALfwcrzs4E0AJSE5QAiqEAhAAGvABWQ7y_vYW4gK1G9H_8uXfAYEAAv85HOQA2h39Acfm9QDf7ST_3OAw_tULJQC2_uoB7AXv_ycr8wAV7g7__gfsAB3z8gAoBDYAOgzwAPLtBP4P_RD_HusrAifrGQAO897_EwAo_cX96gLI-tIB_xQK_iDgEgIY9_n86voIAxwdHP8eBvf93iwIBOrcEvzaEAkECv3bAA8M1v39-_sHBA4VBPf6DAYn59n9Hhz5_QjwA_AKCCUAENn0_twYD_wWIvsE7eXz-BvW__34-QL1Cw7m-PsHHALvyAgBGtX-_vT6_uzxFAn_6xoBAPTw_QIYAPHvIAAtv08kOzgTQAlIYVACKs8HEAAawAeJCfK-766OvD0W0bzSuqe9uEAiPVVlhLztftW9O-qDvOeUW7y1NTI-v2tLPfFo_jybHaG-RqGbvMhnqDz-1Ys-IMSfPIapMTuYY968JqG6u3bTV71nYgq-VWH9PDBCPb3F-FW8l1CGvZBDKT1Bthw-wTCqPI1JezultQ69J8kpPF3cBjzvsro8ANUJvRp7gDwn9zs-XSQDPScrqzzgDhQ-4fcFPQQK0DyHhFS9kiRoPb_h0zq6Z629QVIavZnZQjwfZxo9hmboO7M8k7pT0O29HzJAvZHXnrx_7tU8gOAAPcqhajyBpcS8YctmPZG0QDyfEdc7-bV6vfZOnrv5oAe-9BqbPS-BgDvdtBk-PRbRPANg-rse0qm9FvLOOl4yqTz1Ugw9oA9gvPxPxDtkk9w9bv1PPGcxzDwryjs9gbawvNCiUrwLDg8-XGsWPKrvALzxKgw8c25OPSA08buyy4E8agSBPckMirwbFGi95qzPPNZcibxK3Fk9-hGavOsTyjxECF49eXJyvCAkMLxLg5E9623YPGYITzvNzIy8PiYSPQ2CmLzrE8o8CeZDPG5Cq7zcEc498ZP2Osr8Uzna5ua9S2E5PCFVObzDPps9E481vSUkEjzPddC8lsY0PdQ_zjudIWa8lBYOvZMtHrw6G7e9-DK0uhQ5aTuozCg9__4cu__gqjsoHgE9VNjGvQdLmLnLeLW9TMBUPBhJVLoYsgo-ZZ7DuxjRgjhAwSW9KdaUvYg_lzkJEG-9cMgrvDQ8CzuhndM9UYGYvZedUTkA8tS8hoEdPe0nnbiubuu8pvAgPQuWnrnsFp6749ARPTVf2bmyqz-9r8hUvXOuPrcHPuu8D1hDvXm9Arp5tyi9sPSrPKF7tTi_ojY8-lKJvAmCJLn0APG7DTwSvZ4trDYWQEI8XtoQPdx5h7cYYUU9raH0vcEDyrhYchW9wpIhvRHorDnmzaE8XiVEvF5jFzn8Vss9CBc8vQPuAzmWL4491xolvMzGjzhuGAW9eWyVvJ3hUbdTJaU7AnLTO20kVriRxCG9iwysvcgmfDgoWC09qw-KPVYUmrjViiC9A7PCvJ5g_zU8asy88qVmvfr35bebr209M-KdvFfmmzdBR-u9bF5VvNQRrLc72p09WVFDvXGV07g_qEs9s11hvaQQdDUR3kO9sg1cPaNqFjjwp5Y9dmOLPFt5qbTTM4g9hQv5vEB6JLiKllc9EFj5PY0XQDjFv5m9czhJPV1O47jhLYu9m3_LOuYACjjAcmm9-DuvvFC4tLcgADgTQAlIbVABKnMQABpgJfYAGNgI7PgWXg3r9sEc8xD7yCDMIv_24_8DKvku8PHMoxf6_wnFBPmlAAAAKh30KLQAB3_20uXRwjv9tLwJCitrCP0drfNh7RfJTw8EBgjp6CRDACQQteoezO9JIxMmIAAt02YbOzgTQAlIb1ACKq8GEAwaoAYAAGBBAACWQgAAkEIAAODAAACgQAAAbEIAAKxCAADoQQAALMIAACDCAACQwQAAQEIAAJjBAABQQQAAEEEAAEDAAADYwQAAssIAAIC_AABEwgAAHEIAAFTCAABQQQAAFEIAAJJCAAAQwQAA0MEAANhBAABYQgAA-EEAAABBAACUQgAAsMIAAKDBAABUwgAAwMEAADxCAABAQgAAEEIAAEBBAACAvwAAKEIAAOBAAAAwQgAABMIAAAAAAAAIQgAAgMEAAJxCAADYQQAAVMIAAFTCAACIwQAAYMEAAIBCAACAQAAABMIAAFTCAACQQQAAEEIAAPBBAADowQAAUMIAAKDAAAAwQQAA0MEAAKhBAACAwQAAAMAAABDBAAC0QgAALEIAANBBAACIQQAAoMEAAIA_AAAIwgAAiEEAAGxCAABgQQAAwMEAAFRCAABgQQAAkEEAALhBAAC4wQAA4EEAAAhCAADcQgAAAAAAAHRCAACEQgAAiMIAAJ7CAABwwQAAbMIAAEDAAAAMwgAA4MAAANBBAAA0wgAAoEAAAIhBAAAgwQAAqMEAABjCAAAkwgAAIMEAAADBAAB8QgAAMEIAAGxCAACQQQAA-kIAADBBAACAQAAAHMIAAIhBAACYwQAAJMIAAEBAAACcwgAAFEIAAHTCAACcwgAABMIAAKBCAABAQAAARMIAAIC_AADgwAAAUMEAAIDAAABAwAAAQEEAAIDAAABUQgAAoMAAAAhCAACIwQAAQMAAAJhBAABwwQAAJMIAAEBBAAAQQgAAPMIAAChCAADgQAAAwEAAAIDAAABwQQAAYEEAAABBAADAQQAAwMEAADDCAADQwQAAGMIAABBCAABAwQAAhEIAANjBAACAPwAAuMEAAADAAAAAQAAAvkIAAAxCAABgQQAA4EEAANhBAADwwQAAisIAAEDAAADIQQAAUEIAAMDBAACCwgAAXEIAAJ7CAAAAwgAAEMIAAMBAAABcQgAAiEIAADTCAACIQQAAHEIAAAxCAACAQAAA6EEAAIBBAAC4wQAA4MEAAIDBAACMQgAAAMEAAIjBAAAgwSAAOBNACUh1UAEqjwIQABqAAgAAEL0AAKi9AACOPgAAiL0AAAy-AADgPAAAED0AAK6-AACKvgAA4LwAAIA7AAB8vgAAUD0AAHA9AACovQAA2L0AAEw-AAAwvQAAFD4AAMI-AAB_PwAAsj4AAHC9AAAQvQAALL4AABy-AAAwvQAAED0AAPi9AAAkPgAAiD0AABA9AACgPAAAyD0AAOi9AABMvgAAHD4AAJg9AABUvgAAEL0AAPi9AADgPAAAED0AAPi9AABkvgAAMD0AAJg9AACCvgAAuD0AAHy-AADYPQAAgj4AAJY-AAAUPgAAUL0AALi9AAAJPwAAgLsAAMg9AAC-PgAARL4AADC9AACIPQAAcD0gADgTQAlIfFABKo8CEAEagAIAABS-AADoPQAAoLwAAAe_AAAQPQAATD4AABQ-AABQPQAAFL4AAJo-AABQvQAADL4AAOC8AAD6vgAAHL4AADA9AAA0PgAAXT8AAOi9AACePgAA-L0AADA9AACIPQAA4LwAABC9AAAMPgAATL4AABw-AABQPQAATL4AAEA8AAAMPgAAHL4AAJa-AABwPQAA4DwAALY-AACIPQAAgr4AADC9AACIPQAAgr4AAJ6-AAAMvgAA4DwAAGQ-AAB_vwAAtr4AALq-AABUPgAAij4AABC9AADYPQAAML0AAHA9AACIvQAAcL0AAJg9AAAwvQAA-D0AADA9AABwPQAAHD4AAEA8IAA4E0AJSHxQATAJOAFKAFIJCA8QkgIYADABYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=0ioBpqDGOf0","parent-reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["17224173242603610306"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false,"videoContentId":"512340185"},"18387344751984806067":{"videoId":"18387344751984806067","docid":"34-9-9-Z65FFEA9570D354AF","description":"We have developed a new approach to producing high-assurance distributed software. Our approach, a form of verifying compilation, consists of verification using a new domain-specific language for...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/775662/9fce26f61b2d4a3df11f1ccd4ccf3edc/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/_yjdPQAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"15","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DhTbI0t7pNtM","linkTemplate":"/video/preview/18387344751984806067?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Software Model Checking for Verifying Distributed Algorithms","related_orig_text":"Model Checking","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Model Checking\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=hTbI0t7pNtM\",\"src\":\"serp\",\"rvb\":\"Eq8DChMzNjYzNzM5NzgxNjUyOTM2MzY3ChQxNjk3NTM4MzkxMjEyODMxNjE1OQoTMzgwMTcxNTE1NzA4ODk5NjIyOQoTNjY3ODMyNjQxNjA4MTQyNDU5OQoTMzgwNzgwODQ0ODExMjMwMzMxMwoUMTEyNzM1ODUzODk1MTMzNTM1MDcKEzI4MzM4NjEyNDYzMTc3NTEwMTMKFDE1Mjg0MjQ1NDAxODA4Nzk4NTg4ChQxMzI1NzE2NzgyMDg2Mjc0MTY1NwoUMTM4ODgyODgwMDE0ODcwNzk4NDAKEzg0NzU3OTI3OTY1MDc2NTgyODUKEzU0NTE2NDY4MzgxMjI0MzQwMjkKFDE3MjI0MTczMjQyNjAzNjEwMzA2ChQxODM4NzM0NDc1MTk4NDgwNjA2NwoUMTgwNTUxNjA4Njc4OTQ5NTk3NzMKEzI2MDMzOTExOTc1MDg0NDY3NDYKFDEwNjk2NTY5NTY2NDQ2MDY3MjU4ChM3NjA1MTQxMzE5ODY3NDkxNzAwChQxODA0NDU4NzY4MDIyOTI1OTk4MwoUMTIyMDM5NzczNDAyMjU1NTA0NDYaFgoUMTgzODczNDQ3NTE5ODQ4MDYwNjdaFDE4Mzg3MzQ0NzUxOTg0ODA2MDY3aocXEgEwGAAiRBowAAopaGhidGhwaWFzY29hcWdiaGhVQ3Jtbm5FM3l6cEF5QXVYX2hScXlMZGcSAgARKhDCDw8aDz8TmgWCBCQBgAQrKosBEAEaeIH_D__-B_gA-fP_AgUG_QEj-wf08wQEAOsF_PcGAAAA-QYIBPgBAADxCf31-AAAAAQB-Abx_QEA8w4AEAMAAAAY-BH59gAAABMA--7_AQAA-QDvEAT_AAAM9AEH_wAAAAUG_v_-_wAAEwn_8AEAAAAJ8fgDAAAAACAALf8Avzs4E0AJSE5QAiqEAhAAGvABf_UYAcn59P8IAQ8AAA7jAYkAAf8k_90A3AX4AaDs2_8oEhIAyOkO_xMKCv_QAfH_FQTc_x8GBgAV_gUAUAUBABYP9wEn6QIACwj7AOf02wDk-PMADvka_wT0Fv_9EvwAGwQD_OwX_gDy6uv_CP0PBQgW-v482_kB_hEJAgIe_wQKDQgFOBIIAu4G9gEEIgj_8wja-_AC8gXvDQX6HQ76CfHzCP8b_PwIHgv5BPEZAffn9wL5MCML-v0D_gIbGgL31tQE_wng_wnnAv4DJQIICg7lGQLYCg4D4PPt9gnkCfzoDA_59AjzCAseCAkFBAH7IAAtD2wvOzgTQAlIYVACKs8HEAAawAfs2fO-EyG_PIrUSj1V2fc8ElXTPPgwIL3ThG07ioKNu16kKzybt2A9wPq5Pbfgu7zp0zq-dpshvaXq6LzPSno-9tz4PPlBR70m41i-EsgbvCrJujxPeJG-ZxVMPanmi7pYwcQ9kZYPPUcagTyIZXM9pWqbvXACmTr3VrQ9ZKAhPTKZIL19l4K9ZUZLOy2AhLyqGN28uAkSvQ2Qoru7JgQ-rYefvUB3-Lwvb-m8IanoO2FmhLxfoI89CmF6vbfwHD2Afwo-Av8qPTbVLDvs3ko9e8WOvYh65jwOmKy9CWxuvbIMlrs_c9Y9Z4I8vXL6ejzwbmA9W1U7vVbYZ7wNKbA9fZMmPDbfLTz1vCs-zSx4PPp6vjx4dJi9hTMpPSPb-bw6RcK9Yj5qPZov5TtZJLc7kWPrvPYeUzx964M8LKuLN9o20ju3fvY7qolUPbjjsLpVZIk99pfdPZjyRryZDJw9CE6FOy5EvTzT-iu-Zz83vRNNEzqQvZ69--fpvMBqdjxcTWg9h9K4vZkTkztAUbQ8xr6kPId-N7oIIga98o1SPaHMkLwFk1G8Qj6IvS11czth2Ia8oOp_ucrFtbuRLjI7opT1PLf-6TvieYS8aahxvfWMt7uZKc09rQiYPeNAlbdDPy49X_x-PdIl0rty7I-8iZNAPU2wLDuVPj48yJMpvVjrvLuYb1g8w6CnPDF5BzxrFVi8ckolvX4gM7urWWw9RZWbPcxxuLhkq7C8lueGvYjk2LpAaag7k3HsPRJEOrk1TY48zCJ5vbnClLjG4GG8CU7gOpojL7uMZTo9azTvvCTnJrn93gO8SRihPG-OFrqLgHQ9ErF3vQnVNDnfuzI9u6_vPCsU47fFxIs8bFTxvFX2g7nddFA9nQB5vIlxtTkezlK9c-yFvPwaFblq8W49yJJ-PZAODjjpTDU91H2EO_3BLjly6AM924nSPQBAJLm6Hlu9NvVLvL9_I7iMSgk8VRv3POC76bjN8iu84yaZPdrOH7gv7aW8YKo-vOFcDLiz00o9rZ2PO0RM9rYGnCW8jGrRvfpT9zf8oNO8K_uuPNbdlDgDGla9FyP3vDO3Nrc2i_y8-9vvvJL7h7gBe5Y9lvP_O-YN5TeFD4C8z-AqvftMF7gKp6A8QeMZu_FzjbiNC2e9RaNWPZ7cnrfrG7g9Tyc0PZw1hbed5Si9QKT_vaTberc9c5A9yK9kvSSyBDewv7a9bFvUPdFA9Lh8Yo29IQPZPYE1MLly4oY8S9QBvZl0rzap5f28MsanvQshebggADgTQAlIbVABKnMQABpgEf0AAgEa6awbcOLL974WAQ77-SfP_v8R2v_lQuL25RXopDYS_xbAIwKiAAAACe_fOPQA8H__yPAkwgRHtMIPQwtwAhoW1fJC8fP3_gbX4AYLLktKAPgVru4-1dU9DQL5IAAtF7saOzgTQAlIb1ACKq8GEAwaoAYAALBBAAD4QQAA2EIAACzCAAAUQgAAYEEAAJBCAADgwAAAiMIAALDBAADgQAAAfMIAAOjBAADwQQAAQEAAAIjBAAAgQgAAgMIAAKBAAAAgwQAAyMEAAHTCAACAwQAAVEIAAPDBAAAAAAAAiEEAAJLCAAAYQgAA4MAAAKDAAAA4QgAAWMIAAODAAAB4wgAAUMEAAIDAAACMQgAAQMEAABRCAAAAwAAAgEEAAKxCAAAgQQAASMIAAGDCAADwwQAAkEEAAADAAABAQAAApsIAAAhCAACgQAAAgD8AAOBBAAA8QgAA5sIAAAzCAAAQwQAAwEAAAOBAAAAAQAAA4MEAAODAAAA0QgAABEIAADDCAACMwgAAgEEAAIA_AABYQgAAXEIAACBBAACAvwAA3MIAAMjBAACAwQAAQEEAAEBBAADAwAAA1sIAANZCAAAIwgAApkIAALhBAACoQQAAuEEAABhCAABgQgAAAMEAABBBAAAwQgAANEIAAIjBAABAwQAAQMIAAMhBAAA0wgAADEIAAODBAACAwQAAgD8AAJBCAAAAQQAA4MAAABBBAACowQAAgEEAAIDAAAAAQQAAAEAAAADCAAAAQgAAqEEAABBBAAAQQgAAEMIAAMBAAAD4wQAAkMEAAEBCAADgwAAAFMIAAEDCAAAUwgAA2EEAABDCAAAAwAAAuMEAAODBAABAQAAAEMIAAODAAAAAwQAAgD8AAIA_AADgwAAAoMEAABBBAAA0wgAAEEEAADhCAAAwwQAAEMEAALBBAAAEQgAA8MEAAPDBAADQQQAAqEIAAMjBAACgwAAA0MEAADTCAACQwQAA6MEAAEBBAACAwQAACMIAAIZCAAAAAAAAYEEAANjBAAAMwgAAosIAAADAAADYQQAAiEIAAGBBAAAwwgAAuMEAAHhCAAAswgAAgD8AAAjCAABwwQAAVEIAACDBAABIQgAAcMEAAADDAAAwwgAACEIAABDCAAAwQQAAYEEAAILCAACYwQAAAEAAABDBAACAwgAAhMIAAPBBAADQwQAAAAAAAGBCAACGwgAAOMIAALjBAAAQQSAAOBNACUh1UAEqjwIQABqAAgAABL4AAMi9AABMPgAAMD0AAPa-AABwvQAAcD0AAB2_AAALvwAAJL4AAI4-AACAOwAAfD4AAEw-AABQvQAAML0AAII-AABQvQAAdD4AACc_AAB_PwAA2L0AAJg9AAAsvgAAEL0AABw-AAAcPgAAJL4AAIq-AACoPQAAmj4AAAw-AABQvQAAHD4AAP4-AAAQPQAAiD0AAHC9AAD4vQAA4LwAAEy-AADgvAAAmD0AAFy-AACIvQAAoDwAAO4-AADGvgAABD4AAMK-AABAPAAAoDwAALg9AAD4PQAAwj4AAKA8AAALPwAAQDwAAL4-AADiPgAAPD4AAEC8AAD4PQAAXD4gADgTQAlIfFABKo8CEAEagAIAAAy-AADYPQAAJL4AACe_AAAwvQAAXD4AAJg9AAD4PQAA2L0AAFw-AACivgAAuL0AAJi9AABsvgAAED0AAIA7AABAPAAADz8AAOC8AADyPgAAqL0AACQ-AADgPAAAqL0AAJi9AAAMPgAABL4AADA9AACWvgAAUL0AAKC8AAAsPgAA2D0AAFS-AABEvgAA6L0AAII-AACKPgAAFL4AAOC8AAAwPQAAuL0AAPi9AACAuwAABD4AAOC8AAB_vwAAZL4AAAy-AACWPgAAfD4AANi9AAAEPgAAHD4AALg9AAAwPQAA4LwAACy-AABAPAAAmD0AACw-AACCPgAAQLwAAHC9IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=hTbI0t7pNtM","parent-reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["18387344751984806067"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false,"videoContentId":"3181265366"},"18055160867894959773":{"videoId":"18055160867894959773","docid":"34-10-9-Z18141230D011A5C7","description":"Title: A Crash Course on Model Checking Date: Three Sessions: 10/28/99, 11/4/99, 11/11/99 Description: In recent years, model checking has been widely successful in finding bugs in hardware design...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4396879/0eb69528fc67461d1aebec3cbfd676d0/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/fc6QNgAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"16","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3Dqx-d8zZbeTI","linkTemplate":"/video/preview/18055160867894959773?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"A Crash Course on Model Checking - session 1","related_orig_text":"Model Checking","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Model Checking\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=qx-d8zZbeTI\",\"src\":\"serp\",\"rvb\":\"Eq8DChMzNjYzNzM5NzgxNjUyOTM2MzY3ChQxNjk3NTM4MzkxMjEyODMxNjE1OQoTMzgwMTcxNTE1NzA4ODk5NjIyOQoTNjY3ODMyNjQxNjA4MTQyNDU5OQoTMzgwNzgwODQ0ODExMjMwMzMxMwoUMTEyNzM1ODUzODk1MTMzNTM1MDcKEzI4MzM4NjEyNDYzMTc3NTEwMTMKFDE1Mjg0MjQ1NDAxODA4Nzk4NTg4ChQxMzI1NzE2NzgyMDg2Mjc0MTY1NwoUMTM4ODgyODgwMDE0ODcwNzk4NDAKEzg0NzU3OTI3OTY1MDc2NTgyODUKEzU0NTE2NDY4MzgxMjI0MzQwMjkKFDE3MjI0MTczMjQyNjAzNjEwMzA2ChQxODM4NzM0NDc1MTk4NDgwNjA2NwoUMTgwNTUxNjA4Njc4OTQ5NTk3NzMKEzI2MDMzOTExOTc1MDg0NDY3NDYKFDEwNjk2NTY5NTY2NDQ2MDY3MjU4ChM3NjA1MTQxMzE5ODY3NDkxNzAwChQxODA0NDU4NzY4MDIyOTI1OTk4MwoUMTIyMDM5NzczNDAyMjU1NTA0NDYaFgoUMTgwNTUxNjA4Njc4OTQ5NTk3NzNaFDE4MDU1MTYwODY3ODk0OTU5NzczaogXEgEwGAAiRRoxAAoqaGhzb2Z6cGZ6eGpmc3lxZGhoVUNDYjlfS244Rl9PcGIzVUNHbS1sSUxREgIAEioQwg8PGg8_E4keggQkAYAEKyqLARABGniBBv74_fwEAAbzBwIEB_0CAgwA__j__wDxAAL8_gEAAPoFBwT5AQAA-gL7_gYAAAD3APUC-_8AAAEK_wUEAAAACPUI_wUAAAAL-vgB_wEAAOsBAQD3AQABCAQCCgAAAAD6C_gC_gAAAP_7Bv4BAAAADPn3BQAAAAAgAC2mjt87OBNACUhOUAIqhAIQABrwAX8UEgS2AhD9Jv76APIS8ACf8RYAMQfqAOfr_gDP-dkALRYFAdPuC_8PGvgAz_PyAQ4A-v_9_QH_APX7AEIQD_8LEBoAPPv6AAIA9gDr9-IA-CD9_v8AEgDpBe4ACR0K_gnrC_8F9fIA8wLVAfj0FgH-BgwBNPb5AAQR__3__gQE9gjvAxkL9wPxAAYCERQKAPr06_0SEvkGCQ4Q_hn2Af8K5Aj9Je_5AxMY-Qj29_r66wr2-Qoq_AHxCwr8Dv_y_vns__8A6wgG9PwECAX5FgQQ_BYA7ukN_-4DBAITABL--gcABg0W9Aj6FQMICvnvASAALcktWDs4E0AJSGFQAirPBxAAGsAHOSv6vhkDDLw277S6v41-PR6uED00MM28SSu-PFeyo7yZ8t-7isITPbRNWz22DhA8WcBUvgSMjDkqz9c8Z2KaPk46m7wa71g8nmKFvpG6fT0sc4S8RBhfvtRkZzulnT88XQJLvBOVEj1EKAI8EYOKPEZwrbzrPc-7sAMXPigbRT1DWym8fM6SvSYtprxxjXS8qhjdvLgJEr0NkKK77DRSPtm7-bu-f5g7e3qGPSpHtzwEJqY8lWYOvSmdo7xE2zE856tUPvBdlDxsyQ08Cn-rPbnvYrzwrX48DCMdPTg9ubxvOY283gydPTN51jt_4h27X4ySPU4RO7xxwb68uWrDPJX1tjyMbS083WA4PimmXD3jGz46ZDvEvRV1gTykC3u8dp5CveEIgj3lxyS6jclnvU_i2Dw56o085ww7vR_kqzzQptk6brYjvflYcD0JEsA8VWSJPfaX3T2Y8ka8DMJmPecHpDwnw0w86fDQvWx6MD3p85G8XxKtvWbFKrqrroM8CBuTPdCSrjshz8k8Oe1JPVycBz1FxyO7m3CfvSLTqzwWALq6gQixPHcVUrwL6oC894MQPcepTjtOHXW8x3lJvHVnmjrNGyu7QdgJPUJYor3kPyK6DSiFPeeQszoX1Dc8Ul8WPexqsrzhhzm8euQKvRN7Kjv_Eum7hehVPTVwsb0ixxk6ow3GPZavyzpgbr07Xy6dvfnEdb30ysE4yDKTPQq0ID0wNZ05clSJPCcFLL3kFYg7ghDavCe85D19Uoi5NUMLPLalq7uFHC-6FnYHPZG0wLxVcIc5DFxmOWVCgrtvpiK6T37mOyhjabqaX3s47gQcPFJVMrz5DTO6-JlpvG7cojxU02S5D-x9PazrK7xSwhC5ZumZPRlM7Dvc7Cq5G1ouvRgeIL3GPlS3QW2KvFIMUD0K5ee4IiJrPZ2klL2oFyS3B8ghvEWrCT31oPI3QEW6vXN-bbt5eRU4O1YkPQmRiDtoeYS2429yOcm_oD25_Sc4OigcPTwLp7x8Wlq2pdTKPGJ547rkguK48VkoPXeWir3VNes4IrX_vM7HkDuliXi3Kr7LvaiyPr3nRpU3xzafvEnyHjwlWmq4Yi-UPa1pHrw_ddy1xZwWvbSTrL1RgoM430-9Pb2uOjzsV2u5EeaRvbDveT0gEYy4CEm0u6cg_zwwZpM4UIthvauKOjwUmGu3szEGuwivvb0cfaa3QstfPWMatz1ukI448LI1vVzMzz0MRgq5SdMlPWHDsrtMoj-4qeX9vDLGp70LIXm4IAA4E0AJSG1QASpzEAAaYPv1AAMLNe7oPGfe3_zvMAA5FPcVyfr_1Rf_-0sTAf7_2qT4HP8orBfVogAAAAHkCx_6APx_BrcCGsEcI6jDCiskePcz-7vO9gL-6QO3w-MECSoTVwDqGqsSMd8HXCws-CAALUxzFzs4E0AJSG9QAiqvBhAMGqAGAADYwQAAEMIAACBCAAAMwgAALMIAALBBAACOQgAAwMIAAMBAAAAYwgAAIEIAAMDAAADQwQAAhsIAAKDAAAAQQgAAKEIAADDBAABgwQAAFMIAAARCAAAQwgAAgL8AAHRCAAAsQgAAUEEAAIC_AACEwgAA0EEAAMBBAADYwQAAmEEAAOjBAABcQgAASMIAAMhBAABAwQAAUEEAAGBBAABEwgAAsEEAABTCAACgQAAAmEEAAIDAAAAAQAAAFMIAAFDBAAB8QgAAQMIAAJDBAABgQgAAQEAAAGDBAAAQwgAAgMAAAKhBAACCQgAAUMEAAGhCAAAAAAAAoEEAAARCAACgwQAAUMEAAIhCAAAgQQAAEEEAADzCAAB8QgAAmkIAAKDAAADgQQAAsEEAAADBAAAQQgAAIEEAAERCAAAAQAAAAEAAAMDAAABoQgAAAMEAAFBBAACAPwAAtEIAAFDCAAC4wQAAlEIAAHDCAAA8QgAAsEEAAHBBAAC4wQAAgD8AABRCAACAQgAAmEEAAJpCAABQwgAAUMIAAExCAACgQgAAwMIAAODAAABUQgAAxMIAAHxCAADAwgAATEIAAPjBAAAkQgAAgD8AAABCAABAQgAAUEEAADDBAAA8wgAAuMEAACTCAABQwQAAqMIAAGBCAAAwwgAAQEAAABBBAADIQQAAoMAAANDBAACwwQAA2EEAAJTCAABgwQAAjEIAAJjBAABQwgAAKMIAAAzCAAAQwQAAbMIAALhBAACwQQAAYEIAAIBBAAC4QQAAskIAAGDCAAB0QgAAEMEAAJhBAACYQgAACEIAAPBBAACAwAAAikIAAEBCAACgwQAAusIAALjBAABAQgAADMIAAChCAABwQQAAIMEAALDBAABQwQAAgL8AAGBBAACCQgAAFMIAAIA_AAAgwgAAUMEAAADAAAAwwQAAQEAAAChCAAAEQgAACEIAAGxCAAAgQQAAIMIAAMBBAAAwwQAAAEIAAFjCAACqwgAAEMEAAOBBAACAvwAAgEAAALjBAACQwQAAoEEAAPBBAAAwQQAA8MEAAChCAACYQQAAEEEgADgTQAlIdVABKo8CEAAagAIAAMg9AAD4vQAAHD4AAMg9AAD4vQAAJD4AAAS-AAA9vwAAgr4AAJa-AABQPQAA-L0AAKC8AACWPgAA4LwAAHC9AACGPgAABD4AAIg9AADyPgAAfz8AAFw-AABAPAAAiL0AALq-AAAsvgAAlj4AAGS-AAA0vgAAlj4AAKY-AACKPgAA4LwAADw-AACOPgAAyj4AACw-AABcvgAAmL0AAOi9AAAwvQAAQLwAAKg9AACovQAAHD4AADA9AAAcvgAAyD0AAMi9AAD6vgAAZD4AAMg9AACIvQAAXD4AAL4-AABAvAAAaT8AAHC9AACoPQAAhj4AAKC8AADIPQAA-D0AADA9IAA4E0AJSHxQASqPAhABGoACAAAkvgAA6L0AAEA8AABPvwAA4LwAAMi9AAAwPQAAyL0AAJi9AADIvQAATL4AAIq-AABQvQAAD78AAFA9AAAQPQAAbD4AACs_AACePgAAsj4AAFy-AAA0PgAAmL0AAOA8AACIvQAAUL0AAFC9AABwvQAAUL0AAPi9AABQPQAADD4AAAw-AACovQAAqD0AADC9AADIPQAAoLwAAL6-AACCPgAAUL0AAIg9AACCvgAAUD0AAJa-AAAQPQAAf78AAJK-AABMvgAAgLsAABQ-AACKvgAAqL0AAKA8AABMPgAAED0AAEA8AAAsPgAALL4AAIi9AACAOwAAgLsAAPi9AABAPCAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=qx-d8zZbeTI","parent-reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":480,"cheight":360,"cratio":1.33333,"dups":["18055160867894959773"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false,"videoContentId":"112680644"},"2603391197508446746":{"videoId":"2603391197508446746","docid":"34-3-4-Z4E8FCC3A691A4EE9","description":"Course: VLSI Design, Verification and Test Instructor: Prof. Jatindra Kumar Deka Department of Computer Science and Engineering, IIT Guwahati.","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/761561/bf00819c2274bd09ce4572d230e5f172/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/a2sbhQAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"17","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DXmpbtdmTzck","linkTemplate":"/video/preview/2603391197508446746?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Verification [ Module 05 -- Lecture 01]: Introduction to Model Checking","related_orig_text":"Model Checking","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Model Checking\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=XmpbtdmTzck\",\"src\":\"serp\",\"rvb\":\"Eq8DChMzNjYzNzM5NzgxNjUyOTM2MzY3ChQxNjk3NTM4MzkxMjEyODMxNjE1OQoTMzgwMTcxNTE1NzA4ODk5NjIyOQoTNjY3ODMyNjQxNjA4MTQyNDU5OQoTMzgwNzgwODQ0ODExMjMwMzMxMwoUMTEyNzM1ODUzODk1MTMzNTM1MDcKEzI4MzM4NjEyNDYzMTc3NTEwMTMKFDE1Mjg0MjQ1NDAxODA4Nzk4NTg4ChQxMzI1NzE2NzgyMDg2Mjc0MTY1NwoUMTM4ODgyODgwMDE0ODcwNzk4NDAKEzg0NzU3OTI3OTY1MDc2NTgyODUKEzU0NTE2NDY4MzgxMjI0MzQwMjkKFDE3MjI0MTczMjQyNjAzNjEwMzA2ChQxODM4NzM0NDc1MTk4NDgwNjA2NwoUMTgwNTUxNjA4Njc4OTQ5NTk3NzMKEzI2MDMzOTExOTc1MDg0NDY3NDYKFDEwNjk2NTY5NTY2NDQ2MDY3MjU4ChM3NjA1MTQxMzE5ODY3NDkxNzAwChQxODA0NDU4NzY4MDIyOTI1OTk4MwoUMTIyMDM5NzczNDAyMjU1NTA0NDYaFQoTMjYwMzM5MTE5NzUwODQ0Njc0NloTMjYwMzM5MTE5NzUwODQ0Njc0NmqHFxIBMBgAIkQaMAAKKWhoa2xpdHpuZ3B0anF1aGhoVUMzc0RDYjNsakNlNEJPRERValdhdFdREgIAESoQwg8PGg8_E84dggQkAYAEKyqLARABGniB9gn-9f8BAPj--QQNBf0BIPsG9fUDAwDlAwT9Cf0CAOwJDgP-AAAA8AL3_gEAAAAB9gEE9f0BAAwQ7gADAAAABQAN-AQAAAAKB_P1_wEAAO3z_QwE_wAAC_UBBwAAAAD8CAEB_P8AAAUGAfYBAAAACPLwCgEAAAAgAC1Lo9I7OBNACUhOUAIqhAIQABrwAX8H6gLKF-j_GfHlAeoI9wCjE_MADRDdAMEPDwGq7t__CCL7ANb79P8WBhsB4hf8ADjm8v4C7hEAIOEKADIJ_gDcEwcAW_T1ACIWBAAJ8_3_8vjp_xfjAQHZ9_0BAvXvAfQQEgD08d_-CwDfAh348gALBhEDF_IOAu_z_gLxIwb_-PDz_BwV7wACAen78SUJA9n0AgTp9g3-6wP1AQb0-v4k8gUAHgLsAgsF9QUN7fP6_RAD_hT3-vXj_wUF7A7nBv7vBQUL9PkI6AYMARACFwYB-BMI_vf7AQX68_0XCQH_BQEA_AYTBfwVDA4J-gj59SAALakURDs4E0AJSGFQAirPBxAAGsAHrDgJv7oV3Ty_RQa874zWPXoIOT2KyRu9guEcPU9x3jsMgCe86lGCPBE-b7wH9ci8ofUgvmFL9LxbItc8aF7OPtYdCz1KwnQ8z8B4vpOBTbyItgi9T3iRvmcVTD2p5ou6vPOqPawZnj1n_408LfqkPXt8Zzy_oGA8VhCzPQfqFDuzvEG9Q-f1vX-2H71aIgG9lC4CPUAkDTtQLMG8IOsJPsVt2byqmTW8gN4KPdSZ_7uE1G07JxyAvfFArr2lJeA856tUPvBdlDxsyQ085YN5Pf-APTzgMFG8JRetvdtewbwLIc46ZhbhPUG1Bj0T1oa8FK7nPaQYgL1THn67Wz8dve7DCTzn2VE81oLIPQIjuTx3G8q84KA9vfWR5Ty4b5o81J4yvbBlQzx61ws8C5YqPXCVJ7yqzDk8Yz2KPSAghDz5SIo8JNENvJloKz1YkGY8eU_vPLH3Azy_lls7a55DPfJivLyXszE7kMAPvtJ0kby1PwS8OhEzPUpKlbzUsZA7-HU7PZwOCT2WXCS7-12oPYebnTwHzGg8CCIGvfKNUj2hzJC8nbPqvHpvbL0cUlY8VRlBPdr_QD1mWaS7jo6QvQS7Kz1F1Cc7wc09vDN7qry-kRA8XE8bvLszCT09wh88v2unuzrDuTzWNX-8OS2TvBWAkLvgYuq7gbEduxZKC72x0rC7aMCKPbXAgzwUJog75ipRvdiJprwdioo7UyimPG4HqT03qFw5LecXPdCC67zfDCs7XFDEvMOpZT0Xu4I6I871Ozau_7zJ1sg6SqFnPekHmjzzGic504k_Pd5HATwYcG86Ksb5vIg7KL1Wdky3yYmbPOEnjjy7jcI3EUOhPHyInbt1NHo6D-x9PazrK7xSwhC5H0mJPAdmoDwId0K6LKhevB_Ojbs31wS6nlCePdjpLD2Z_HW4FE02PcS1NTzi_Z-5ZJEmPEkNcTvbVKg4bQipPPjMSDwmyeM0wJWJukRjd71e3BW4EnAjPQKeNDyk4WU4DCoAPfYAJ73kTHe4_4AdvV2Ejrzbw4G3r9gZPPPalr1JWh-3z-DdOfq6Zz0KBYe4uRf7u70OZjwP15I4ibbjvKyPh7wU2v04sARNPSx6DL1W4vg3ly0DvS9q97xaKdw37R0_PYmDHzztiMa4gduoOnigyjp2xzm4NfgUPFRwmTv2x6A3QFwoPf-G_7xjyxu4t_YZPQ5VR71sqVi4QstfPWMatz1ukI4429utvGvwHj6QOSG5TJ4cvRbKurok3si3wnexvb-wsb2knq02IAA4E0AJSG1QASpzEAAaYFPjAAL_8QD6BS3t9N3TEP_0DscNwQf_Gh__0z_JARIy85LzC__-0PvlowAAAPv3CRzpAOh_BuHyErwkItm68R8rTAlTKNW_GAjP9BD_AvASBRIJVwDqAJQZP9fbLxs-0CAALUdaIzs4E0AJSG9QAiqvBhAMGqAGAABwwQAAsEEAALhCAADwwQAAkEEAADDCAAAMQgAAEMIAAHzCAABowgAAoMAAAEBAAAB0wgAACMIAADDBAAAEQgAAkEEAADDBAACAQAAAisIAABDBAAC4wQAAYMIAANpCAAAcQgAAGEIAAKDAAABwwgAAikIAACBBAACMQgAAkEIAAMjBAAC-QgAAHMIAAARCAACAPwAAUEIAAODAAAAAwQAAZMIAANjBAACQwQAAQEAAAIBBAADgQAAARMIAAPDBAABAQgAAYEEAALDBAADAwAAAgMAAAMBBAACIwQAADMIAAGDBAAB4QgAA6MEAAKDAAADAwAAAYMEAAAzCAACIQQAA2EEAAMBAAABoQgAAgMEAAGzCAAAwQgAA0MEAADRCAABowgAAVEIAAKLCAAAAwAAAYEIAABDBAACQQQAABMIAAEBAAABAwQAAMMEAADzCAADAQQAAVEIAACDCAAAYwgAAUEIAABTCAAAwwQAACEIAAAxCAADYQQAAMMEAAJTCAAAAQQAAuMEAAKBBAABgwQAAKMIAAPhBAAAgQgAAYMIAAGDBAAAYQgAAuMIAAADBAAB4wgAAwEEAAARCAAAQwgAAwEAAAPDBAACWQgAAiEEAAEjCAABowgAAqMEAAKhBAAAAwAAAOMIAAMBBAAAAwgAAuEEAADDBAACIQQAAhMIAAABAAACIwgAAsMEAAIDBAAAAwAAAZEIAAKBBAADIwQAAiMEAAADAAAA8wgAAksIAABBCAAA8QgAADEIAAOBBAAA0wgAAFEIAALhBAACmQgAAkMEAAHDBAAAcQgAA0EEAABxCAAAowgAAqEEAAHRCAACYwQAAhMIAAODAAAB8QgAAiMIAACBBAAAwwQAAwMAAAJBBAADgwAAAbEIAAJhBAABkQgAA6EEAAEDCAADwwQAAgMEAAABBAACAQAAAXEIAAGBCAADQQQAAHEIAAKBCAABQwQAAwsIAAEjCAAAwwQAAIMEAABzCAAC0wgAAAMAAAABBAAAcwgAAyEEAAABBAABEwgAA4EEAAEBBAAAYQgAA0EEAAIC_AACAQQAAgMEgADgTQAlIdVABKo8CEAAagAIAALg9AAB0vgAATD4AAIC7AADYvQAAgLsAALi9AAADvwAAqr4AALi9AACAOwAAPL4AAIA7AACgPAAAgr4AADC9AAAcPgAAmL0AAPg9AAD2PgAAfz8AAFw-AADgPAAA6L0AABS-AACYvQAAHD4AAPi9AABQvQAA6D0AACw-AAAsPgAAyL0AALg9AABkPgAA4LwAAAw-AACYvQAAiL0AAIA7AACOvgAAyL0AADw-AAAEvgAA-L0AAAQ-AAAsPgAAXL4AAMi9AADGvgAAQDwAABQ-AACIPQAAPD4AAIg9AAAEvgAADz8AAMi9AACYPQAAHD4AAFA9AADIPQAAMD0AABC9IAA4E0AJSHxQASqPAhABGoACAACYvQAAcL0AAMi9AAA9vwAAiD0AADA9AAA0PgAAgDsAADS-AAD4PQAAuL0AADS-AABMvgAApr4AAKg9AACgvAAAyD0AABc_AACIPQAAsj4AADy-AAAQPQAABL4AABQ-AACgPAAAJL4AAOC8AADgvAAA4DwAAIi9AACgvAAABD4AADA9AAAMvgAAHL4AAMi9AAAkPgAAND4AAHS-AACYPQAAoDwAAIi9AADYvQAAUL0AANg9AACIPQAAf78AANi9AADIPQAA4DwAAEw-AACCvgAAgDsAACy-AABwvQAAUD0AAKA8AADYPQAAUD0AAEQ-AAAUPgAAgLsAAHS-AADIPSAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=XmpbtdmTzck","parent-reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["2603391197508446746"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false,"videoContentId":"668912318"},"10696569566446067258":{"videoId":"10696569566446067258","docid":"34-4-2-Z03879BCE6F610897","description":"Model Checking with Uppaal (Part 3) Software Engineering with AI at GNU...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/2216766/ed3e0fce2c96bb48eda4ebe4a865ed73/564x318_1"},"target":"_self","position":"18","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DRxySTz9tHl8","linkTemplate":"/video/preview/10696569566446067258?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Model Checking with Uppaal (Part 3)","related_orig_text":"Model Checking","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Model Checking\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=RxySTz9tHl8\",\"src\":\"serp\",\"rvb\":\"Eq8DChMzNjYzNzM5NzgxNjUyOTM2MzY3ChQxNjk3NTM4MzkxMjEyODMxNjE1OQoTMzgwMTcxNTE1NzA4ODk5NjIyOQoTNjY3ODMyNjQxNjA4MTQyNDU5OQoTMzgwNzgwODQ0ODExMjMwMzMxMwoUMTEyNzM1ODUzODk1MTMzNTM1MDcKEzI4MzM4NjEyNDYzMTc3NTEwMTMKFDE1Mjg0MjQ1NDAxODA4Nzk4NTg4ChQxMzI1NzE2NzgyMDg2Mjc0MTY1NwoUMTM4ODgyODgwMDE0ODcwNzk4NDAKEzg0NzU3OTI3OTY1MDc2NTgyODUKEzU0NTE2NDY4MzgxMjI0MzQwMjkKFDE3MjI0MTczMjQyNjAzNjEwMzA2ChQxODM4NzM0NDc1MTk4NDgwNjA2NwoUMTgwNTUxNjA4Njc4OTQ5NTk3NzMKEzI2MDMzOTExOTc1MDg0NDY3NDYKFDEwNjk2NTY5NTY2NDQ2MDY3MjU4ChM3NjA1MTQxMzE5ODY3NDkxNzAwChQxODA0NDU4NzY4MDIyOTI1OTk4MwoUMTIyMDM5NzczNDAyMjU1NTA0NDYaFgoUMTA2OTY1Njk1NjY0NDYwNjcyNThaFDEwNjk2NTY5NTY2NDQ2MDY3MjU4aq4NEgEwGAAiRBowAAopaGhudXhkZ2F2aWdudGFyaGhVQzNEeXRLdV9jTFVoSFE4VEIzOExZeWcSAgARKhDCDw8aDz8TshKCBCQBgAQrKosBEAEaeIEEB_j8_AQACPIA__sF_gEQAwb6B___APQNDAUGAv8A9AkKBAkAAAD1Cfz6BAAAAPgF-v70_wEAEwP7BgQAAAD39gkBAQAAAAwBAQH_AQAA7PzzCAP_AAAH_PsKAAAAAPYOAQMBAAAADQgC_AEAAAAA8foMAAAAACAALRLU3zs4E0AJSE5QAipzEAAaYOwIACYGKQXrLkX1yezAIAUVAcb67xb_DRYAAzvhxgIRBbcsJf_4xv76rAAAAB367PrkAAtnNeb6Bu4hQP3VEwYTfxgx9CEBKwox0VnV3wUn3B4OLQAJO_4NG7fuZS4T2SAALamKKjs4E0AJSG9QAiqvBhAMGqAGAABQQgAAgEEAALxCAADwwQAAVEIAABRCAACiQgAA4EAAAKBBAABAwAAA4MAAAHDBAADwwQAAAMIAAMBBAACAwQAAgL8AADDCAACEQgAAQMEAAAhCAAB8wgAAqMEAAOhBAACIwQAAIEEAACTCAACwwQAAkEEAAIDAAADAQQAAjEIAADTCAAAQwgAA-MEAAEDAAAC4QQAAdEIAAAhCAAAgQgAAGEIAAFDBAAAYQgAAAEAAAMBAAAAcwgAAQMAAANBBAAA0QgAA6EEAADDCAADgwQAAAMEAAJJCAABwQQAAiMEAALTCAABAwAAAcEEAAFBCAACQQQAA2MEAAATCAAA8wgAAZEIAAHDCAAAAwQAAaMIAADTCAACCwgAAukIAADxCAACKwgAA6EEAAEDAAACgwQAArsIAABTCAABQwQAAWEIAADTCAACgQgAAgMEAABBCAABgQQAAWEIAAPBBAADAQAAA0EEAAJjBAAAAQQAA-kIAAAjCAACIwQAA4EAAALLCAADgwQAAPMIAAOpCAAAQwQAAIMIAAKDAAABAQAAAAMAAAFDBAABAQQAAwMEAAADCAACAwAAAokIAAGhCAADAwQAA0MEAANjBAAB0wgAAAEEAAGRCAADAQQAAqMEAABBBAAAAAAAAVMIAAAhCAADQwQAA6MEAAIDBAACwQQAAQMAAAEBAAAAAQAAAiEEAAHDCAABIwgAAcMEAAFDBAAAYQgAAuMEAALDBAAAwwgAAAMEAAMBBAACQwQAAwEEAAPDBAADwQQAAQEIAANjBAAAkQgAAIEEAALhBAADgwQAAVEIAAADBAAC4QQAAoEEAAMDBAACKwgAAgMEAAJbCAADAwAAARMIAAIA_AAAAAAAA0EEAAMjBAABAwQAAgMAAALhCAACwQQAA-EEAALhBAAAMQgAAgL8AAEBCAAD4wQAAUMIAAHhCAAAkwgAAYEEAAKDBAADwwgAAXMIAAADAAAB8QgAAsEEAAHDCAADYwQAAYEEAANBBAADIwQAA4EEAAFDBAADYQQAADMIAABzCAAAMQgAAmEEAAKBBAADQQQAAUEEgADgTQAlIdVABKo8CEAAagAIAAIC7AACoPQAAnj4AAJI-AABEvgAAgLsAAMg9AADevgAA5r4AAPi9AABUPgAAqr4AAIY-AADoPQAAgDsAAIC7AAD4PQAAVD4AAMg9AAD-PgAAfz8AAAw-AABEvgAA4LwAAKK-AADgPAAAMD0AALK-AABwvQAAVD4AAI4-AACIPQAAiD0AAJ4-AAAMvgAADD4AAJg9AACSvgAA6r4AAEy-AABcvgAAoDwAAHA9AABMvgAAgLsAAHQ-AAC4PQAAdL4AAMY-AAC4vQAALD4AAEQ-AACmPgAAkj4AAHA9AACgPAAAST8AAEC8AAC-PgAAHT8AAEy-AACIvQAARD4AAFC9IAA4E0AJSHxQASqPAhABGoACAACYPQAAbL4AABS-AAAjvwAAoLwAADQ-AACYPQAAMD0AABy-AACIPQAAPL4AADS-AAC4PQAAsr4AAKC8AABAPAAAHD4AADc_AABQvQAAhj4AAAy-AADgPAAA-D0AADA9AACgPAAAiD0AABS-AAAQvQAABD4AALi9AABAPAAAND4AAKC8AACKvgAA2L0AADA9AACGPgAAVD4AABy-AABwvQAAnj4AAIi9AAAsvgAAmL0AAOg9AACIPQAAf78AAFy-AAAQvQAADD4AAKI-AACSvgAA4DwAAEC8AABAPAAAED0AAIC7AABQPQAAPL4AAAw-AAB8PgAAUD0AAFy-AADYvSAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=RxySTz9tHl8","parent-reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["10696569566446067258"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false},"7605141319867491700":{"videoId":"7605141319867491700","docid":"34-2-16-ZEAE2359988B4C8F4","description":"In this demo, we discuss how to detect race conditions using a model checker. Reference: https://spinroot.com/spin/Doc/p40-ben... https://cse.usf.edu/~haozheng/teach/c...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/1020792/ea9dfb3411c4161d68656a5924bbbb9e/564x318_1"},"target":"_self","position":"19","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DVJGOKb8ScYQ","linkTemplate":"/video/preview/7605141319867491700?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Part 1: Model Checking of a Race Condition","related_orig_text":"Model Checking","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Model Checking\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=VJGOKb8ScYQ\",\"src\":\"serp\",\"rvb\":\"Eq8DChMzNjYzNzM5NzgxNjUyOTM2MzY3ChQxNjk3NTM4MzkxMjEyODMxNjE1OQoTMzgwMTcxNTE1NzA4ODk5NjIyOQoTNjY3ODMyNjQxNjA4MTQyNDU5OQoTMzgwNzgwODQ0ODExMjMwMzMxMwoUMTEyNzM1ODUzODk1MTMzNTM1MDcKEzI4MzM4NjEyNDYzMTc3NTEwMTMKFDE1Mjg0MjQ1NDAxODA4Nzk4NTg4ChQxMzI1NzE2NzgyMDg2Mjc0MTY1NwoUMTM4ODgyODgwMDE0ODcwNzk4NDAKEzg0NzU3OTI3OTY1MDc2NTgyODUKEzU0NTE2NDY4MzgxMjI0MzQwMjkKFDE3MjI0MTczMjQyNjAzNjEwMzA2ChQxODM4NzM0NDc1MTk4NDgwNjA2NwoUMTgwNTUxNjA4Njc4OTQ5NTk3NzMKEzI2MDMzOTExOTc1MDg0NDY3NDYKFDEwNjk2NTY5NTY2NDQ2MDY3MjU4ChM3NjA1MTQxMzE5ODY3NDkxNzAwChQxODA0NDU4NzY4MDIyOTI1OTk4MwoUMTIyMDM5NzczNDAyMjU1NTA0NDYaFQoTNzYwNTE0MTMxOTg2NzQ5MTcwMFoTNzYwNTE0MTMxOTg2NzQ5MTcwMGqvDRIBMBgAIkUaMQAKKmhocW10bmp0cXlvaGFseWNoaFVDdkd3QXFKUTlZS1R0YWs5VXpuZlRBdxICABIqEMIPDxoPPxO4B4IEJAGABCsqiwEQARp4gf8R__MC_QAN_f_8BAQBARIDBvoI__8A8xL6AgcC_wDhFQcF_f8AAAkEAO8DAAAACfX3_vb-AAALBQAJBAAAAAbpBPj-AQAAEgD77_8BAADz_fUE9QIAAfwNAg0AAAAABA75_P__AAAFBgH1AQAAAAXjAf8BAAAAIAAtkoTKOzgTQAlITlACKnMQABpg4BsALScW4-wfV8_pBdIqD_8T-9TsLf8Z_P_0ONzM_eTrwxQN_wfD9fCtAAAAGwPqG9wA9HAe5cUJ-xn9vMvwDxZ_FkHPGM096QLZ-uUy7O4EQvBNAAci2SAV6z5VJjMhIAAtadUnOzgTQAlIb1ACKq8GEAwaoAYAAABAAACKwgAAAMAAAFTCAACAvwAAwMAAAFxCAADwQQAABEIAAFjCAAA4wgAASEIAAARCAAAkwgAALEIAABRCAABAQQAATMIAAEBBAABAQQAAYEEAAMTCAAAYQgAAQMAAAIjBAABIwgAA4MAAAJDBAACQQQAAAMAAAGBBAAAoQgAAaMIAADhCAAAQwgAA-MEAAKTCAADcQgAAPMIAAFBCAACAQAAAgL8AABDCAAAQQgAAwEEAAExCAAAYQgAAdEIAAIDBAAAAAAAAcEEAADRCAACIwQAAuEEAALBBAABcwgAAgL8AALBBAABEwgAAgEAAADTCAAAAAAAAwEEAAIDCAABYwgAAcMIAAEDCAAAYQgAAMEEAABBBAACowQAAoMAAADBBAACgQQAALMIAAIBBAACIwQAA6EEAAFDBAABgQQAAGMIAAFBBAADQwQAACMIAADDBAACwQQAATMIAAOhBAACAvwAAkkIAAJjBAABgQQAAaEIAABhCAABwwQAA8MEAAJrCAABQQQAAcEEAAPhBAAAAwgAAcEEAAPhBAACAwAAAbMIAADDCAAA0wgAAyEEAAKDBAADgQAAAikIAAIDAAACEwgAABMIAAERCAABQwQAAkEIAAIBAAACgwgAA6EEAAJhBAACgwQAAwEAAAADBAABwQQAAGEIAAHjCAAAwwQAAmMEAAADBAAA8wgAA2EEAAABAAACoQgAAaEIAAMpCAACAwAAAOMIAABjCAAAgwgAA2MEAAIhBAAAQwQAAgEEAAAxCAAAYQgAAHMIAAPDBAAAAwAAAMEIAAIhCAABsQgAAwMAAAPBBAACEQgAAoMEAALDBAACEwgAADEIAAOhBAACKwgAAAEAAAIDBAABAQQAAjMIAAMBAAAAowgAAKEIAAHRCAADwQQAA8MEAAOZCAABMQgAAMMEAALzCAACAQQAA6EEAAATCAAAQQgAAgEIAACDBAADoQQAAgL8AAIjCAACgQQAAZMIAADDCAAC4QQAAIEIAADTCAAAswgAA2EEAAGxCAAAIQgAAQMAAABzCAAAQQgAADMIAADzCAABMwiAAOBNACUh1UAEqjwIQABqAAgAAZD4AAHS-AACovQAA-D0AAOi9AACgPAAAMD0AAPa-AADOvgAAoDwAAFS-AAAVvwAAiD0AAFA9AAAQvQAALL4AACQ-AADoPQAAMD0AACc_AAB_PwAA5j4AAKC8AACqvgAAyr4AACw-AADYPQAARL4AAIa-AADKPgAAAT8AADC9AAAQvQAAsj4AABC9AAC2PgAA1j4AAIC7AAC2vgAAfL4AAPg9AABMvgAAyD0AACy-AAAcvgAAnj4AAAS-AABEvgAAiD0AANa-AABwvQAAfL4AAOY-AACyPgAAFT8AADA9AAB9PwAAB78AALi9AAAPPwAAnr4AAOA8AAA8PgAAQDwgADgTQAlIfFABKo8CEAEagAIAAAS-AAD4vQAA4LwAAEO_AADYPQAA2D0AAGQ-AAC4vQAAqL0AAEw-AACovQAAZL4AAEC8AADmvgAAuL0AABC9AAA0PgAAIz8AALg9AACePgAA4LwAAHA9AADoPQAAqD0AANg9AABQvQAAuL0AAJg9AAAwvQAAmL0AAKA8AAAcPgAAMD0AACy-AACIvQAAPL4AAJ4-AAD4PQAAdL4AAJI-AACSPgAAZL4AAIi9AADgvAAAiD0AAIg9AAB_vwAAyL0AAHS-AACiPgAAbD4AAFy-AAAsPgAAFL4AAIi9AACAOwAA4LwAANg9AACovQAAcL0AAOg9AABwPQAAir4AADQ-IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=VJGOKb8ScYQ","parent-reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["7605141319867491700"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false}},"dups":{"3663739781652936367":{"videoId":"3663739781652936367","title":"A Tour of \u0007[Model\u0007] \u0007[Checking\u0007] Techniques (Rob Zinkov)","cleanTitle":"A Tour of Model Checking Techniques (Rob Zinkov)","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=vfqPGGCpY6I","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/vfqPGGCpY6I?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":"d3d3LnlvdXR1YmUuY29tO1VDWkpzU0FLSjVWaXdMOS1ZTWhZUHdHZw==","name":"PyMC Developers","isVerified":false,"subscribersCount":0,"url":"/video/search?text=PyMC+Developers","origUrl":"http://www.youtube.com/@pymc-devs","a11yText":"PyMC Developers. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":2772,"text":"46:12","a11yText":"Süre 46 dakika 12 saniye","shortText":"46 dk."},"date":"1 kas 2020","modifyTime":1604188800000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/vfqPGGCpY6I?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=vfqPGGCpY6I","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","duration":2772},"parentClipId":"3663739781652936367","href":"/preview/3663739781652936367?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking","rawHref":"/video/preview/3663739781652936367?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"16975383912128316159":{"videoId":"16975383912128316159","title":"Introduction to \u0007[Model\u0007] \u0007[Checking\u0007]","cleanTitle":"Introduction to Model Checking","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=tU_aOytuqLg","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/tU_aOytuqLg?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":"d3d3LnlvdXR1YmUuY29tO1VDQnZoYVc4aGtXZ29waUpXYkZCcklGUQ==","name":"VALU3S Project","isVerified":false,"subscribersCount":0,"url":"/video/search?text=VALU3S+Project","origUrl":"http://www.youtube.com/@valu3sproject513","a11yText":"VALU3S Project. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1824,"text":"30:24","a11yText":"Süre 30 dakika 24 saniye","shortText":"30 dk."},"date":"7 nis 2021","modifyTime":1617753600000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/tU_aOytuqLg?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=tU_aOytuqLg","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","duration":1824},"parentClipId":"16975383912128316159","href":"/preview/16975383912128316159?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking","rawHref":"/video/preview/16975383912128316159?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"3801715157088996229":{"videoId":"3801715157088996229","title":"ModelCHECK tutorial: How to \u0007[check\u0007] \u0007[model\u0007] name by ModelCHECK","cleanTitle":"ModelCHECK tutorial: How to check model name by ModelCHECK","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=h6XVOjNErVw","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/h6XVOjNErVw?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":"d3d3LnlvdXR1YmUuY29tO1VDWWt2VHNsOFM4UkFSSUhWdkFYdUw3QQ==","name":"4K Side - Creo Tutorials","isVerified":false,"subscribersCount":0,"url":"/video/search?text=4K+Side+-+Creo+Tutorials","origUrl":"http://www.youtube.com/@4kside","a11yText":"4K Side - Creo Tutorials. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":99,"text":"1:39","a11yText":"Süre 1 dakika 39 saniye","shortText":"1 dk."},"date":"15 oca 2020","modifyTime":1579046400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/h6XVOjNErVw?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=h6XVOjNErVw","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","duration":99},"parentClipId":"3801715157088996229","href":"/preview/3801715157088996229?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking","rawHref":"/video/preview/3801715157088996229?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"6678326416081424599":{"videoId":"6678326416081424599","title":"Tutorial - An introduction to \u0007[model\u0007] \u0007[checking\u0007]","cleanTitle":"Tutorial - An introduction to model checking","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=qJpYpyZz9L8","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/qJpYpyZz9L8?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":"d3d3LnlvdXR1YmUuY29tO1VDVHg1N2VLS2dzc2k5NVlGRjMtTXdxdw==","name":"Brazilian Symposium on Formal Methods","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Brazilian+Symposium+on+Formal+Methods","origUrl":"http://www.youtube.com/@braziliansymposiumonformal5831","a11yText":"Brazilian Symposium on Formal Methods. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":3406,"text":"56:46","a11yText":"Süre 56 dakika 46 saniye","shortText":"56 dk."},"views":{"text":"1,1bin","a11yText":"1,1 bin izleme"},"date":"11 oca 2021","modifyTime":1610323200000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/qJpYpyZz9L8?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=qJpYpyZz9L8","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","duration":3406},"parentClipId":"6678326416081424599","href":"/preview/6678326416081424599?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking","rawHref":"/video/preview/6678326416081424599?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"3807808448112303313":{"videoId":"3807808448112303313","title":"\u0007[Model\u0007] \u0007[Checking\u0007] and Review Gtstrudl- Webinar Snapshot","cleanTitle":"Model Checking and Review Gtstrudl- Webinar Snapshot","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=u8Sjp56fuAg","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/u8Sjp56fuAg?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":"d3d3LnlvdXR1YmUuY29tO1VDR2JOOW1ZZEU3Y1k3R2lkTmZ6OEwzUQ==","name":"Hexagon Asset Lifecycle Intelligence","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Hexagon+Asset+Lifecycle+Intelligence","origUrl":"http://www.youtube.com/@HexagonALI","a11yText":"Hexagon Asset Lifecycle Intelligence. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":228,"text":"3:48","a11yText":"Süre 3 dakika 48 saniye","shortText":"3 dk."},"date":"6 tem 2023","modifyTime":1688601600000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/u8Sjp56fuAg?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=u8Sjp56fuAg","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","duration":228},"parentClipId":"3807808448112303313","href":"/preview/3807808448112303313?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking","rawHref":"/video/preview/3807808448112303313?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"11273585389513353507":{"videoId":"11273585389513353507","title":"7. \u0007[Model\u0007] \u0007[Checking\u0007]","cleanTitle":"7. Model Checking","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=iV_bbK1Ah2U","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/iV_bbK1Ah2U?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":"d3d3LnlvdXR1YmUuY29tO1VDaXdVamVmSGJnMzZPblcyVWhfNWVVdw==","name":"The Roslin Institute - Training","isVerified":false,"subscribersCount":0,"url":"/video/search?text=The+Roslin+Institute+-+Training","origUrl":"http://www.youtube.com/@theroslininstitute-trainin8693","a11yText":"The Roslin Institute - Training. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":147,"text":"2:27","a11yText":"Süre 2 dakika 27 saniye","shortText":"2 dk."},"date":"29 nis 2016","modifyTime":1461888000000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/iV_bbK1Ah2U?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=iV_bbK1Ah2U","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","duration":147},"parentClipId":"11273585389513353507","href":"/preview/11273585389513353507?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking","rawHref":"/video/preview/11273585389513353507?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"2833861246317751013":{"videoId":"2833861246317751013","title":"\u0007[Model\u0007] \u0007[Checking\u0007]","cleanTitle":"Model Checking","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=zufiEwshKmc","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/zufiEwshKmc?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":"d3d3LnlvdXR1YmUuY29tO1VDSXN5NG5RWHRZbkpobGY2alBLT3JOZw==","name":"Learnly Learn about many things","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Learnly+Learn+about+many+things","origUrl":"http://www.youtube.com/@learnlylearnaboutmanything7112","a11yText":"Learnly Learn about many things. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":723,"text":"12:03","a11yText":"Süre 12 dakika 3 saniye","shortText":"12 dk."},"views":{"text":"3,1bin","a11yText":"3,1 bin izleme"},"date":"2 mar 2020","modifyTime":1583107200000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/zufiEwshKmc?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=zufiEwshKmc","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","duration":723},"parentClipId":"2833861246317751013","href":"/preview/2833861246317751013?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking","rawHref":"/video/preview/2833861246317751013?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"15284245401808798588":{"videoId":"15284245401808798588","title":"\u0007[Model\u0007] \u0007[Check\u0007] by Macabacus: Fast, Accurate Excel Audits for Banking and Finance Teams","cleanTitle":"Model Check by Macabacus: Fast, Accurate Excel Audits for Banking and Finance Teams","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=3evtNVFrL7I","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/3evtNVFrL7I?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":"d3d3LnlvdXR1YmUuY29tO1VDYWNXQ1drSVhUWHo5bWVPTVhtSFh2Zw==","name":"Macabacus","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Macabacus","origUrl":"http://www.youtube.com/@Macabacus-Inc","a11yText":"Macabacus. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":50,"text":"00:50","a11yText":"Süre 50 saniye","shortText":""},"views":{"text":"4,4bin","a11yText":"4,4 bin izleme"},"date":"14 mayıs 2025","modifyTime":1747180800000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/3evtNVFrL7I?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=3evtNVFrL7I","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","duration":50},"parentClipId":"15284245401808798588","href":"/preview/15284245401808798588?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking","rawHref":"/video/preview/15284245401808798588?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"13257167820862741657":{"videoId":"13257167820862741657","title":"Tutorial: Installing and using the \u0007[model\u0007] \u0007[checker\u0007] Mudi","cleanTitle":"Tutorial: Installing and using the model checker Mudi","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=JX6f-WMpHTQ","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/JX6f-WMpHTQ?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":"d3d3LnlvdXR1YmUuY29tO1VDV05vVHZlZzE3R3lnQ2NTUTY3X3pKUQ==","name":"Ovidiu Parvu","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Ovidiu+Parvu","origUrl":"https://www.youtube.com/channel/UCWNoTveg17GygCcSQ67_zJQ","a11yText":"Ovidiu Parvu. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":769,"text":"12:49","a11yText":"Süre 12 dakika 49 saniye","shortText":"12 dk."},"date":"10 ara 2014","modifyTime":1418169600000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/JX6f-WMpHTQ?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=JX6f-WMpHTQ","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","duration":769},"parentClipId":"13257167820862741657","href":"/preview/13257167820862741657?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking","rawHref":"/video/preview/13257167820862741657?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"13888288001487079840":{"videoId":"13888288001487079840","title":"\u0007[Model\u0007] \u0007[Checking\u0007] in Archicad","cleanTitle":"Model Checking in Archicad","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=5TtEBXBNYfo","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/5TtEBXBNYfo?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":"d3d3LnlvdXR1YmUuY29tO1VDc2cwT3NWenp6U3BDOHdHaU5hYjkwdw==","name":"ARCHICAD","isVerified":true,"subscribersCount":0,"url":"/video/search?text=ARCHICAD","origUrl":"http://www.youtube.com/user/Archicad","a11yText":"ARCHICAD. Kanal onaylı"},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":191,"text":"3:11","a11yText":"Süre 3 dakika 11 saniye","shortText":"3 dk."},"views":{"text":"7,5bin","a11yText":"7,5 bin izleme"},"date":"8 tem 2020","modifyTime":1594210957000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/5TtEBXBNYfo?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=5TtEBXBNYfo","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","duration":191},"parentClipId":"13888288001487079840","href":"/preview/13888288001487079840?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking","rawHref":"/video/preview/13888288001487079840?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"8475792796507658285":{"videoId":"8475792796507658285","title":"\u0007[Model\u0007] \u0007[checking\u0007] process around open standards by Bond Bryan Digital","cleanTitle":"Model checking process around open standards by Bond Bryan Digital","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=vRxJhpSnP_g","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/vRxJhpSnP_g?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":"d3d3LnlvdXR1YmUuY29tO1VDSGQwZUdfUlh0ekRKUWpvdHE0WkdVQQ==","name":"Solibri Inc.","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Solibri+Inc.","origUrl":"http://www.youtube.com/@SolibriInc","a11yText":"Solibri Inc.. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":137,"text":"2:17","a11yText":"Süre 2 dakika 17 saniye","shortText":"2 dk."},"date":"20 kas 2019","modifyTime":1574208000000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/vRxJhpSnP_g?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=vRxJhpSnP_g","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","duration":137},"parentClipId":"8475792796507658285","href":"/preview/8475792796507658285?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking","rawHref":"/video/preview/8475792796507658285?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"5451646838122434029":{"videoId":"5451646838122434029","title":"Mod-05 Lec-01 Introduction to \u0007[Model\u0007] \u0007[Checking\u0007]","cleanTitle":"Mod-05 Lec-01 Introduction to Model Checking","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=ATsAl_t52xY","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/ATsAl_t52xY?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":"d3d3LnlvdXR1YmUuY29tO1VDNjQweTRVdkRBbHlhX1dPajVVNHBmQQ==","name":"nptelhrd","isVerified":true,"subscribersCount":0,"url":"/video/search?text=nptelhrd","origUrl":"http://www.youtube.com/@iit","a11yText":"nptelhrd. Kanal onaylı"},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":3775,"text":"1:02:55","a11yText":"Süre 1 saat 2 dakika 55 saniye","shortText":"1 sa. 2 dk."},"views":{"text":"17,9bin","a11yText":"17,9 bin izleme"},"date":"14 şub 2013","modifyTime":1360800000000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/ATsAl_t52xY?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=ATsAl_t52xY","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","duration":3775},"parentClipId":"5451646838122434029","href":"/preview/5451646838122434029?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking","rawHref":"/video/preview/5451646838122434029?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"17224173242603610306":{"videoId":"17224173242603610306","title":"Uppaal (\u0007[model\u0007] \u0007[checking\u0007] tool) and Corectness Criteria for Beginners","cleanTitle":"Uppaal (model checking tool) and Corectness Criteria for Beginners","host":{"title":"YouTube","href":"http://www.youtube.com/v/0ioBpqDGOf0","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/0ioBpqDGOf0?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":"d3d3LnlvdXR1YmUuY29tO1VDU1NBLTFfTWJJVzNvTnVEb0JGV1Jpdw==","name":"Maria Bianca","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Maria+Bianca","origUrl":"https://www.youtube.com/channel/UCSSA-1_MbIW3oNuDoBFWRiw","a11yText":"Maria Bianca. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":2773,"text":"46:13","a11yText":"Süre 46 dakika 13 saniye","shortText":"46 dk."},"views":{"text":"27,2bin","a11yText":"27,2 bin izleme"},"date":"10 tem 2017","modifyTime":1499644800000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/0ioBpqDGOf0?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=0ioBpqDGOf0","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","duration":2773},"parentClipId":"17224173242603610306","href":"/preview/17224173242603610306?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking","rawHref":"/video/preview/17224173242603610306?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"18387344751984806067":{"videoId":"18387344751984806067","title":"Software \u0007[Model\u0007] \u0007[Checking\u0007] for Verifying Distributed Algorithms","cleanTitle":"Software Model Checking for Verifying Distributed Algorithms","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=hTbI0t7pNtM","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/hTbI0t7pNtM?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":"d3d3LnlvdXR1YmUuY29tO1VDcm1ubkUzeXpwQXlBdVhfaFJxeUxkZw==","name":"Software Engineering Institute | Carnegie Mellon University","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Software+Engineering+Institute+%7C+Carnegie+Mellon+University","origUrl":"http://www.youtube.com/@TheSEICMU","a11yText":"Software Engineering Institute | Carnegie Mellon University. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":666,"text":"11:06","a11yText":"Süre 11 dakika 6 saniye","shortText":"11 dk."},"date":"21 tem 2015","modifyTime":1437436800000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/hTbI0t7pNtM?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=hTbI0t7pNtM","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","duration":666},"parentClipId":"18387344751984806067","href":"/preview/18387344751984806067?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking","rawHref":"/video/preview/18387344751984806067?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"18055160867894959773":{"videoId":"18055160867894959773","title":"A Crash Course on \u0007[Model\u0007] \u0007[Checking\u0007] - session 1","cleanTitle":"A Crash Course on Model Checking - session 1","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=qx-d8zZbeTI","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/qx-d8zZbeTI?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":"d3d3LnlvdXR1YmUuY29tO1VDQ2I5X0tuOEZfT3BiM1VDR20tbElMUQ==","name":"Microsoft Research","isVerified":true,"subscribersCount":0,"url":"/video/search?text=Microsoft+Research","origUrl":"http://www.youtube.com/@MicrosoftResearch","a11yText":"Microsoft Research. Kanal onaylı"},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":3849,"text":"1:04:09","a11yText":"Süre 1 saat 4 dakika 9 saniye","shortText":"1 sa. 4 dk."},"views":{"text":"2,1bin","a11yText":"2,1 bin izleme"},"date":"7 tem 2016","modifyTime":1467849600000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/qx-d8zZbeTI?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=qx-d8zZbeTI","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","duration":3849},"parentClipId":"18055160867894959773","href":"/preview/18055160867894959773?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking","rawHref":"/video/preview/18055160867894959773?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"2603391197508446746":{"videoId":"2603391197508446746","title":"Verification [ Module 05 -- Lecture 01]: Introduction to \u0007[Model\u0007] \u0007[Checking\u0007]","cleanTitle":"Verification [ Module 05 -- Lecture 01]: Introduction to Model Checking","host":{"title":"YouTube","href":"http://www.youtube.com/v/XmpbtdmTzck","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/XmpbtdmTzck?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":"d3d3LnlvdXR1YmUuY29tO1VDM3NEQ2IzbGpDZTRCT0REVWpXYXRXUQ==","name":"VLSI Design Verification and test","isVerified":false,"subscribersCount":0,"url":"/video/search?text=VLSI+Design+Verification+and+test","origUrl":"http://www.youtube.com/@vlsidesignverificationandt8822","a11yText":"VLSI Design Verification and test. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":3790,"text":"1:03:10","a11yText":"Süre 1 saat 3 dakika 10 saniye","shortText":"1 sa. 3 dk."},"views":{"text":"1,1bin","a11yText":"1,1 bin izleme"},"date":"19 ağu 2016","modifyTime":1471564800000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/XmpbtdmTzck?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=XmpbtdmTzck","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","duration":3790},"parentClipId":"2603391197508446746","href":"/preview/2603391197508446746?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking","rawHref":"/video/preview/2603391197508446746?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"10696569566446067258":{"videoId":"10696569566446067258","title":"\u0007[Model\u0007] \u0007[Checking\u0007] with Uppaal (Part 3)","cleanTitle":"Model Checking with Uppaal (Part 3)","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=RxySTz9tHl8","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/RxySTz9tHl8?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":"d3d3LnlvdXR1YmUuY29tO1VDM0R5dEt1X2NMVWhIUThUQjM4TFl5Zw==","name":"AiX","isVerified":false,"subscribersCount":0,"url":"/video/search?text=AiX","origUrl":"http://www.youtube.com/@safeai-fm","a11yText":"AiX. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":2354,"text":"39:14","a11yText":"Süre 39 dakika 14 saniye","shortText":"39 dk."},"date":"14 mayıs 2025","modifyTime":1747180800000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/RxySTz9tHl8?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=RxySTz9tHl8","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","duration":2354},"parentClipId":"10696569566446067258","href":"/preview/10696569566446067258?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking","rawHref":"/video/preview/10696569566446067258?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"7605141319867491700":{"videoId":"7605141319867491700","title":"Part 1: \u0007[Model\u0007] \u0007[Checking\u0007] of a Race Condition","cleanTitle":"Part 1: Model Checking of a Race Condition","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=VJGOKb8ScYQ","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/VJGOKb8ScYQ?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":"d3d3LnlvdXR1YmUuY29tO1VDdkd3QXFKUTlZS1R0YWs5VXpuZlRBdw==","name":"DG","isVerified":false,"subscribersCount":0,"url":"/video/search?text=DG","origUrl":"http://www.youtube.com/@DG_sec","a11yText":"DG. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":952,"text":"15:52","a11yText":"Süre 15 dakika 52 saniye","shortText":"15 dk."},"date":"11 mayıs 2024","modifyTime":1715385600000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/VJGOKb8ScYQ?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=VJGOKb8ScYQ","reqid":"1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL","duration":952},"parentClipId":"7605141319867491700","href":"/preview/7605141319867491700?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking","rawHref":"/video/preview/7605141319867491700?parent-reqid=1774917142471465-17955392905483048270-balancer-l7leveler-kubr-yp-sas-66-BAL&text=Model+Checking","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false}}},"viewer":{"_isInitial":false,"clips":{"items":{},"dups":{},"loadingStatus":"None"},"internal":{"videoId":"","sandboxEventPrefix":"sandbox:","sandboxVersion":"0x906f9600bf4","isEmbedded":false,"from":"yavideo","service":"ya-video","hbPeriod":30,"table":"video_tech","isInstreamDisabled":false,"nonce":"7955392905483048270766","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":"Model Checking","queryUriEscaped":"Model%20Checking","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"}}}