{"pages":{"search":{"query":"Model Checking","originalQuery":"Model Checking","serpid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-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":"6678326416081424599-0-2","type":"videoSnippet","props":{"videoId":"6678326416081424599"},"curPage":0},{"id":"3807808448112303313-0-3","type":"videoSnippet","props":{"videoId":"3807808448112303313"},"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":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","ui":"desktop","yuid":"8115224771773625480"}}},"isAdult":false,"position":4,"placement":"empty"},"curPage":0},{"id":"15039162327363824061-0-5","type":"videoSnippet","props":{"videoId":"15039162327363824061"},"curPage":0},{"id":"11273585389513353507-0-6","type":"videoSnippet","props":{"videoId":"11273585389513353507"},"curPage":0},{"id":"15284245401808798588-0-7","type":"videoSnippet","props":{"videoId":"15284245401808798588"},"curPage":0},{"id":"2833861246317751013-0-8","type":"videoSnippet","props":{"videoId":"2833861246317751013"},"curPage":0},{"id":"13888288001487079840-0-9","type":"videoSnippet","props":{"videoId":"13888288001487079840"},"curPage":0},{"id":"13257167820862741657-0-10","type":"videoSnippet","props":{"videoId":"13257167820862741657"},"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":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","ui":"desktop","yuid":"8115224771773625480"}}},"isAdult":false,"position":11,"placement":"empty"},"curPage":0},{"id":"8475792796507658285-0-12","type":"videoSnippet","props":{"videoId":"8475792796507658285"},"curPage":0},{"id":"17224173242603610306-0-13","type":"videoSnippet","props":{"videoId":"17224173242603610306"},"curPage":0},{"id":"5451646838122434029-0-14","type":"videoSnippet","props":{"videoId":"5451646838122434029"},"curPage":0},{"id":"18387344751984806067-0-15","type":"videoSnippet","props":{"videoId":"18387344751984806067"},"curPage":0},{"id":"2603391197508446746-0-16","type":"videoSnippet","props":{"videoId":"2603391197508446746"},"curPage":0},{"id":"18055160867894959773-0-17","type":"videoSnippet","props":{"videoId":"18055160867894959773"},"curPage":0},{"id":"10696569566446067258-0-18","type":"videoSnippet","props":{"videoId":"10696569566446067258"},"curPage":0},{"id":"18044587680229259983-0-19","type":"videoSnippet","props":{"videoId":"18044587680229259983"},"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":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","ui":"desktop","yuid":"8115224771773625480"}}},"isAdult":false,"position":0,"placement":"search-list-right"},"curPage":0}],"isAdultQuery":false,"errorList":[],"layout":"list","retpath":"https%3A%2F%2Ftwitter.yandex.com.tr%2Fvideo%2Fsearch%3Ftext%3DModel%2BChecking","pages":[{"reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","start":0,"end":20,"pageNumber":0,"isCounterSent":false}]},"main":{"_isInitial":true,"snippets":[],"serpFooter":{"linksGroups":[]},"isLoggedIn":false,"tags":[]}},"internal":{"nonce":"9233149776827197177171","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","distr_splashscreen_on":1,"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_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,"distr_popup_on":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,"distr_pcode_off":1,"video_baobab_blockstat":1,"video_thumb_poster_full":1,"video_scrollpages":2,"video_serp_desktop_block_design":1,"video_nohost_youtube_filter":0,"video_viewer_host_link_mode":1},"slots":["1506054,0,11;1469659,0,99;1414494,0,41;1480629,0,3;1504422,0,23;1490007,0,3;1510154,0,87;1499733,0,5;1502345,0,83;43962,0,68;1500928,0,0;1484365,0,69;1501449,0,52;1507235,0,79;1479115,0,26;1512227,0,74;1373786,0,26;1490833,0,27;1503897,0,69;1508270,0,40;1185074,0,14;1505980,0,1;1494286,0,23;1438903,0,0;1511873,0,0;1509581,0,67;1508040,0,2;1510433,0,7;1510733,0,36;151171,0,30;1281084,0,62;287509,0,10;1447467,0,43;787997,0,42;1482982,0,37;1478787,0,8"],"isYandexNet":false,"platform":"desktop","isEnLogo":true,"retpath":"https%3A%2F%2Ftwitter.yandex.com.tr%2Fvideo%2Fsearch%3Ftext%3DModel%2BChecking","mordaUrl":"//yandex.com.tr/","videoSearchUrl":"https://twitter.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":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","backUrl":"//ya.ru","url":"https://twitter.yandex.com.tr/video/search?text=Model+Checking","isIntegrationTest":false,"isEndToEndTest":false,"shouldDropLogs":false,"seo":{"title":"Model Checking: Yandex'te 3 bin video bulundu","description":"Результаты поиска по запросу \"Model Checking\" в Яндексе","keywords":"яндекс видео, поиск видео, смотреть онлайн, сериалы, фильмы, клипы","shareTitle":"Model Checking — Яндекс — поиск по видео"},"isEmbedded":false,"isPumpkin":false,"sessionCsrfToken":"yb3696c650af12cf406ff35dbec022304","reportFeedbackBaseProps":{"initEmail":"","metaFields":{"userAgent":"Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)","userTestids":"1506054,1469659,1414494,1480629,1504422,1490007,1510154,1499733,1502345,43962,1500928,1484365,1501449,1507235,1479115,1512227,1373786,1490833,1503897,1508270,1185074,1505980,1494286,1438903,1511873,1509581,1508040,1510433,1510733,151171,1281084,287509,1447467,787997,1482982,1478787","queryText":"Model Checking","reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","userRegionName":"","userRegionId":"id() {\n return this._region.id;\n }","yandexuid":"8115224771773625480","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,1509771,1299604","regionId":20815,"isYaRu":false,"shouldUnmountSearchPageInViewer":false,"videoGlobalContext":{"platform":"desktop","isPumpkin":false,"language":"tr","user_time":{"epoch":"1773625488","tz":"America/Louisville","to_iso":"2026-03-15T21:44:48-0400","__is_plain":1},"isHermione":false,"shouldStubImages":true,"enableVideoPreviewInHermione":false,"reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-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":"1506054,1469659,1414494,1480629,1504422,1490007,1510154,1499733,1502345,43962,1500928,1484365,1501449,1507235,1479115,1512227,1373786,1490833,1503897,1508270,1185074,1505980,1494286,1438903,1511873,1509581,1508040,1510433,1510733,151171,1281084,287509,1447467,787997,1482982,1478787","queryText":"Model Checking","reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","userRegionName":"","userRegionId":"id() {\n return this._region.id;\n }","yandexuid":"8115224771773625480","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":"9233149776827197177171","disableDoc2DocHostLink":false,"shouldHideChannelLink":false,"disableChannelLink":false,"userConnectionRtt":151,"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":false,"isVideoMainButtonInitiallyCollapsed":false,"isAdvUnderPlayerWithInnerPadding":false,"isKebabAdvancedActionsEnabled":false,"isKebabOnTouchVideoSearchEnabled":false,"isAdvVideoListLikeUnderPlayer":false,"isSummaryInMetaButtons":false,"isSummaryInMetaButtonsDesktop":false,"isMetaCommentsButtonEnabled":false,"preventAdvHideOnEmpty":false,"isPlayerChangeCounterEnabled":false,"isSmallTitle":false,"shouldRestoreMuteState":false,"isAdvUnderPlayerWithSlider":false,"isAdvUnderPlayerCommentsAligned":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":"8115224771773625480","ugcCsrfToken":"","family":1,"isChild":false},"config":{"skinMode":"system","skin":"light","version":"releases-frontend-video-v1.1785.0__ab4b9de1530b4e7ef53ae9d2e7bd51dd0141055f","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":"twitter.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":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DvfqPGGCpY6I","linkTemplate":"/video/preview/3663739781652936367?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-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\":\"ErADChMzNjYzNzM5NzgxNjUyOTM2MzY3ChQxNjk3NTM4MzkxMjEyODMxNjE1OQoTNjY3ODMyNjQxNjA4MTQyNDU5OQoTMzgwNzgwODQ0ODExMjMwMzMxMwoUMTUwMzkxNjIzMjczNjM4MjQwNjEKFDExMjczNTg1Mzg5NTEzMzUzNTA3ChQxNTI4NDI0NTQwMTgwODc5ODU4OAoTMjgzMzg2MTI0NjMxNzc1MTAxMwoUMTM4ODgyODgwMDE0ODcwNzk4NDAKFDEzMjU3MTY3ODIwODYyNzQxNjU3ChM4NDc1NzkyNzk2NTA3NjU4Mjg1ChQxNzIyNDE3MzI0MjYwMzYxMDMwNgoTNTQ1MTY0NjgzODEyMjQzNDAyOQoUMTgzODczNDQ3NTE5ODQ4MDYwNjcKEzI2MDMzOTExOTc1MDg0NDY3NDYKFDE4MDU1MTYwODY3ODk0OTU5NzczChQxMDY5NjU2OTU2NjQ0NjA2NzI1OAoUMTgwNDQ1ODc2ODAyMjkyNTk5ODMKEzc2MDUxNDEzMTk4Njc0OTE3MDAKFDEyMjAzOTc3MzQwMjI1NTUwNDQ2GhUKEzM2NjM3Mzk3ODE2NTI5MzYzNjdaEzM2NjM3Mzk3ODE2NTI5MzYzNjdqtg8SATAYACJFGjEACipoaHBzbnRpeW5xbWx0d2VkaGhVQ1pKc1NBS0o1Vml3TDktWU1oWVB3R2cSAgASKhDCDw8aDz8T1BWCBCQBgAQrKosBEAEaeIEAEPr7_QQA_goHAQQF_gH2CwYC-f39APgFDPoDA_4A9hMHA_8AAAD6CvsDAgAAAAgR_AP1_QEACgEA_-wA_wAKCAv-AwAAAP0J-vf_AQAA9gQCCfcCAAEIBAIKAAAAAPr9_gMBAAAABv0M_wAAAAAU__cNAAAAACAALZN52zs4E0AJSE5QAiqEAhAAGvABVgrw_83yIP8Z8uYB8inuAIEFC_9K_Ob_2-vxAc_w6AAIIfsA6PAV_-oWDv_Z-g0AAOny_xsFBgAa9gP_I_wEABYKGQA76QoBLgD9APUJAv_yBAcAIgwm_xP5__4TCfv_GAoR__Tx4P_lCfwC_wMhAA0WEwAX8vUA_goe_QcLEAD1A_sC_QYS_voC9v33FgcG7ALoAfwQ7_8GAgAE-xfyBPP0BwAo7vgDKRn9AesICPvzHQr5C_X-_AISBQsZE_YB6u7-Awjk_wjxGQcDIQIHCfr2GPbo8P__8vf2__7YB_nl-gv07xYBAAcCEQ0V-QH3IAAtbidIOzgTQAlIYVACKnMQABpgDwIAD_wRzecSc-L53tMk1hYW1P7RLv_89v8ENvv33_fwq_P7__q1AvWjAAAAMAj-BwkA-H_vsQMUxvcRu57wEDdiDTAL9BgR8wSuP-TJzTnuDBZYAB8bpQ5G9vMqSgn0IAAt_-ccOzgTQAlIb1ACKq8GEAwaoAYAAHBBAADwwQAAcEIAAMDBAACQQQAAoMAAAKhBAADgQAAAYMIAAABAAAA0QgAAwMAAAMbCAAB4wgAAnEIAAEBAAAD4wQAAAMEAACTCAABUwgAAwEEAADDCAACAPwAAFEIAAAhCAADIwQAAiMIAAIbCAADMQgAAskIAAMDBAACiQgAAOMIAAEBAAABUwgAA4MAAADDBAAB4QgAAcMEAAOjBAADgwAAAmEIAADBCAADoQQAAMEEAACBBAABAwQAA4MEAAKBCAACQwQAAKMIAAChCAACgQQAAPEIAAGBBAADAwQAAhMIAAEBCAACAwAAAGEIAANBBAACwwQAAAAAAAFjCAAAgQQAABMIAANhBAAAMwgAAgsIAAHBCAAA4QgAAVEIAAGDCAACaQgAAFMIAAEjCAABAwQAAoMEAAKDAAAA8wgAAhMIAAMBAAAA4wgAAyEEAAAzCAAAIQgAADMIAAJhBAADAwAAAUMEAAJhBAACAQQAA-MEAAIjBAACAQQAAiMIAACDBAAAUQgAAFEIAABDCAACgQAAABEIAALJCAACGwgAAsMEAAOBAAADQQQAAEEEAAFDBAACgQQAA-EEAAKDAAABQwQAADMIAABhCAAAAQgAAoMEAANjBAACowQAAhMIAAGjCAADgwQAAQMAAAADCAAAMQgAArkIAAGBBAACQwQAAyMEAAEzCAABQwQAAmMEAAEDBAACKQgAAEEIAAETCAADAwAAAIEEAAJbCAACCwgAAMEEAAHRCAACAwAAABMIAAKBBAAAgQgAAQMIAAHRCAACowQAA6MEAAMBBAACQwQAAIEEAAPjBAACoQQAAwEEAAFBBAACIwgAAwMAAAFBCAACYwgAA4EAAAEBAAACgwAAAQMEAAKDCAAAAQQAADEIAAHBBAADIwQAAAEEAAADBAADgwAAAmMEAAKBAAABAQAAAYEEAADDCAACsQgAAEMEAAERCAACAwAAAwEAAAMDAAADYQQAAIMEAAMDCAAAQQgAABMIAAKBAAADMwgAAQMEAAMBAAABwQQAAAMAAAAzCAABQwgAAIEIAAI7CAACAwSAAOBNACUh1UAEqjwIQABqAAgAAED0AAJg9AACCPgAAED0AAEC8AABsvgAAQDwAADu_AAAFvwAAPL4AADC9AABcvgAAfD4AAHQ-AACuvgAAjr4AAKA8AADIPQAArj4AAFU_AAB1PwAAgj4AAIo-AAA0vgAAFL4AAES-AAAMPgAAmL0AABS-AABUPgAAdD4AANg9AADovQAAkj4AAOi9AAC4vQAA1j4AAIq-AABcvgAA6L0AAEA8AAD4PQAAoDwAAJa-AAAUvgAAFD4AAOg9AACivgAAmD0AAAe_AADoPQAAcD0AAAw-AADCPgAAzj4AAJi9AAB_PwAArr4AAFC9AAAMPgAA5r4AAPg9AACovQAABL4gADgTQAlIfFABKo8CEAEagAIAAIi9AAD4vQAAPL4AAFm_AAD4vQAABL4AAFw-AADCvgAAHL4AAFA9AADovQAArr4AALi9AADuvgAAcL0AAOC8AADoPQAAKz8AADA9AACyPgAA6L0AADA9AAD4vQAAFD4AAHC9AACovQAAJL4AAKA8AAA0PgAAPL4AANg9AAAcPgAAMD0AAJq-AACovQAAMD0AALo-AABQPQAAir4AAKC8AAD4PQAA-D0AAK6-AABwvQAAyL0AAEQ-AAB_vwAApr4AAOi9AADgPAAAlj4AAJK-AACgPAAAcL0AAOi9AABQPQAA4LwAAMY-AAAEvgAA4DwAABQ-AAAsPgAAUL0AAKC8IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=vfqPGGCpY6I","parent-reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-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":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DtU_aOytuqLg","linkTemplate":"/video/preview/16975383912128316159?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-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\":\"ErADChMzNjYzNzM5NzgxNjUyOTM2MzY3ChQxNjk3NTM4MzkxMjEyODMxNjE1OQoTNjY3ODMyNjQxNjA4MTQyNDU5OQoTMzgwNzgwODQ0ODExMjMwMzMxMwoUMTUwMzkxNjIzMjczNjM4MjQwNjEKFDExMjczNTg1Mzg5NTEzMzUzNTA3ChQxNTI4NDI0NTQwMTgwODc5ODU4OAoTMjgzMzg2MTI0NjMxNzc1MTAxMwoUMTM4ODgyODgwMDE0ODcwNzk4NDAKFDEzMjU3MTY3ODIwODYyNzQxNjU3ChM4NDc1NzkyNzk2NTA3NjU4Mjg1ChQxNzIyNDE3MzI0MjYwMzYxMDMwNgoTNTQ1MTY0NjgzODEyMjQzNDAyOQoUMTgzODczNDQ3NTE5ODQ4MDYwNjcKEzI2MDMzOTExOTc1MDg0NDY3NDYKFDE4MDU1MTYwODY3ODk0OTU5NzczChQxMDY5NjU2OTU2NjQ0NjA2NzI1OAoUMTgwNDQ1ODc2ODAyMjkyNTk5ODMKEzc2MDUxNDEzMTk4Njc0OTE3MDAKFDEyMjAzOTc3MzQwMjI1NTUwNDQ2GhYKFDE2OTc1MzgzOTEyMTI4MzE2MTU5WhQxNjk3NTM4MzkxMjEyODMxNjE1OWqIFxIBMBgAIkUaMQAKKmhobHZmdmhvcnlnY2twcWNoaFVDQnZoYVc4aGtXZ29waUpXYkZCcklGURICABIqEMIPDxoPPxOgDoIEJAGABCsqiwEQARp4gfcF9_z-AgD69P8CBAX-AREDBvoH__8A9AYC_wcC_wDxCgL7-QAAAPEBAPv_AAAAAQX7A_3-AQAGBP0BBAAAAAn3BPn-AAAAEvnz-f8BAAD0_fYD9QIAAAsE-AUAAAAA9g8BAwEAAAAMAQb4AAAAAAvs_QoBAAAAIAAtWiDYOzgTQAlITlACKoQCEAAa8AFWCvD_7fP8AuID1wDvCeEBgQUL_w0Q3gDR_BgAy_nWAOoG9gDo2_L_-hYRAMsFAAAb9_L_OxEBAAn6AAAb9AYAEhcOACzj_gAyAhH_8QAE_wMTEf8l-R4BCewKAQYI3f8Y6RYA4vjrAPIC0gEL_y4B8hYMAizoBgTcHQT_7iUZAwgAEP79BQED__oDBOMDGQEO__EHFhr0_fEO5v75Ef8D5fsM-RH78v05Dv_-6wgI-_7sEAEaC_r6FP8H_Qb9BwHq7v4DGfr6BQoUCgAm9wD4--oRAejvBQUDCvYC_vbw_OsKDfnvFgEA7RQD-RX5AfcgAC1uJ0g7OBNACUhhUAIqzwcQABrAB8GnBb_UlRU8csPvvFxXDD2vSZI8NTUcvG_kcDwshFC9yIwDvD7Q6j2ZzvM8nYdRu5fHqr4Tx-w7vhGdvAovYT4XcbC8QdPGOXoXL74IPDA9KZ_UvE94kb5nFUw9qeaLujtFXT2Zuiu8Xd-HPN7LLT6wUgW82OTfOwGcxbt9_sG7oJJuvZita70X5UO9vEkCvZV_DT6ipFa9sVVdPGDnJj4N0w298R7xvHDxi7zs2Iy6QyLIOeT39rxjFec7S2ryPB3owT2G_H656kmPPJYa6zuqmbW7HyyEu1ssQD1HaaG67bQYuxxy_TyFrX4914T8NwaWDT0gyjy8JGR7PF3SIr2UyZ88c7MpPUYK5T2jliA8U83uOyKUrbx0S6E9zsGzPH41zL2U4TO9H9abvK9nfj3BQhw8QnkdPEQU0zxH0ok8XxbJPLfuSjoC8R08tL8avKZqMT0zzlU9S0Keupc9JD1BK_I7T8KWuyjV3r1oCvi87QO5u8-aZD32UVy9e-uuO8zJpT3Xfpc8hf6yO9bHIjxmbAM8B6VcO1whDD0j-7s8DzDOuzM8kTwTBkq93XoNvC2qaj1SESM8Q32_ux8Wlb0pWY488zTkun6fmz3vlj-8_AgVPDHvgT0JebO8sqoSPLP-IjxzdVG9VweAvJcZ27x6Hvc89-cDvDhxqLwZYgu9pTqROt_55T1NlIy7eSvgOgAAjDelTsC8s17rOhfeiz0imcA7tyiSu5vc1LzzTSS9_lwXO6wcWry0PD8-m7i7t00KWD3oSb68pO5aOjclDz3ruIA9HdW7OdfQdz1xKb66el-2OJkunztMf8C9hpRWOICCpjxbUCm8eZWRuC7wa73dAP080WuGuDpK1DwKxRG9evMGO_7XOb1osh68q8lhuKNHI7w9dIs8WlJKOddHDL038_W8IRjpuBwG2DzbxwW9NldpOWszhDybi-Q8lA3luFB5-jmYWqW8vhvQOP_eF71rt129lx4SOGJDnDzDHYk9WLChOQBaEDvWl1s8a7wouGSV0rs3OJG87zcHOHZTar1Xz8m9XDpquPTovDxDoyU9jBfbt0N-vL2bRkm8eEvIN_4bqrx9ezK9qD7PN3nqjTv_eC88SagguCx6rzu1koy9cPFfOA2eoz1OyNi8dh-_uFBxXD146rY8R2aBOA2fujvPXFG9oUWutulMUjuijY29H-lcN_Z0ej3gD9-9P5mbt3CCSjwq6rc95woJOecgQ70LdHI9BXWVuOcjn703wHE87WSXt-XBLD0UpY68bBkKtyAAOBNACUhtUAEqcxAAGmD3DgAe8vri-WVE7NX56SPlABHKI7U6__Ly_yAsxQXwAQKa3Bj__NYL_6IAAAD5BxEl0AAJffre_u_ANgbvkAAiNn8pMkbN5PPzDMhg5v3SHfP48TwAQh-d9zv17k8tIv0gAC3mnRU7OBNACUhvUAIqrwYQDBqgBgAAQEAAACxCAACQQQAATMIAAKpCAAB4QgAAfEIAAATCAAAAwQAA8EEAAMBAAABkwgAAQMIAAIA_AACeQgAACMIAAODAAAAIwgAADEIAAIzCAAAQwgAAuMEAAADCAABgQgAAUMEAANjBAAA0wgAA3MIAACxCAAAAAAAA4EEAADRCAABUwgAAsEEAACjCAACwwQAABEIAAPBCAACAwQAAkkIAAABBAACoQQAAEEIAANjBAACwQQAAysIAABjCAACKQgAA-EEAAFBBAACWwgAA4MAAAJBBAABwQQAA8EEAAAAAAADawgAAQMAAAPjBAADIQQAALEIAAADBAABAwgAAisIAAKhBAAAUwgAA4MAAAEjCAADQwQAAGMIAAFRCAACSQgAAyMEAABBBAABQwgAAaMIAAKDBAAAcwgAAwEAAAOBAAABAwgAAsEIAAJDBAABsQgAAQMAAAEBAAACIQQAAyEEAAJJCAACAwAAAGEIAAChCAADowQAAyMEAADDCAAAcwgAAoMEAAFDBAADQQgAAqMEAAEjCAAAcQgAAnkIAADDCAAAAwAAAQMEAAPjBAAA0QgAAmMEAAFBCAAAQQQAAwEAAAABAAADAwAAAAAAAALBBAADYwQAADMIAAFjCAAC4QQAAAMAAABTCAACEwgAA4MEAAJhBAACgQQAAQEAAAIBBAABwQQAAkMEAAGDBAABQwQAAUMEAAPhBAACWwgAAoMAAALBBAACAQQAA0MEAAMDBAAD4QQAAoMEAADBCAABIwgAALEIAAFBBAADwwQAAqEEAABhCAAAkwgAAjMIAAFxCAAAoQgAACEIAAMBBAADAwQAA-MEAAMDAAABUwgAA4EEAAPjBAAAQQgAAHEIAAAjCAADgwAAAoMEAABRCAABUQgAAQMAAAEBBAACgQAAAoEEAABDBAACYwQAAMMIAAPDBAAAsQgAA-MEAAPhBAAAEQgAA0MEAAEDCAACAwQAAikIAAKZCAADwwQAAiMEAAHDBAACgQQAAgD8AAAAAAAA8wgAAqEEAAPDBAADgQQAAOEIAACTCAACAQQAAuEEAAIDBIAA4E0AJSHVQASqPAhAAGoACAADYPQAARL4AAIY-AAC4PQAAcL0AACy-AACYvQAA3r4AAJq-AADYvQAAND4AAOi9AACYvQAA2D0AACy-AADgvAAAdD4AAKA8AAAwPQAAwj4AAH8_AAAEPgAADL4AALi9AABEvgAAHL4AAIC7AAAMvgAAgLsAADw-AABkPgAA-D0AANi9AABMPgAAuD0AAFA9AAA8PgAARL4AAIq-AAAsvgAAuD0AALi9AACYvQAAHL4AAOC8AABwvQAA-D0AAAS-AADYPQAAjr4AAKC8AAAwPQAAHD4AAHA9AAA8PgAAgDsAAAk_AADovQAAmD0AAL4-AAAcvgAAuD0AAIg9AABcPiAAOBNACUh8UAEqjwIQARqAAgAAMD0AAIi9AAD4vQAAIb8AAMg9AACoPQAAyD0AANi9AABQvQAA-D0AAFS-AAAUvgAAiD0AAI6-AACoPQAA4LwAACw-AAAjPwAAgDsAALo-AACGvgAABD4AADA9AACYPQAAgDsAAKi9AAAwPQAAEL0AAOg9AAAQvQAAgDsAACw-AACAOwAALL4AAES-AACAuwAAVD4AAAw-AAAcvgAAoLwAAMg9AABAPAAATL4AAIA7AACAOwAAcD0AAH-_AAAsvgAAQLwAAGQ-AABUPgAAfL4AAOi9AAAQvQAA4DwAAJg9AAAQPQAAgLsAAMi9AAA0PgAALD4AAOA8AAAMvgAAyL0gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=tU_aOytuqLg","parent-reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-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"},"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":"2","reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DqJpYpyZz9L8","linkTemplate":"/video/preview/6678326416081424599?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-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\":\"ErADChMzNjYzNzM5NzgxNjUyOTM2MzY3ChQxNjk3NTM4MzkxMjEyODMxNjE1OQoTNjY3ODMyNjQxNjA4MTQyNDU5OQoTMzgwNzgwODQ0ODExMjMwMzMxMwoUMTUwMzkxNjIzMjczNjM4MjQwNjEKFDExMjczNTg1Mzg5NTEzMzUzNTA3ChQxNTI4NDI0NTQwMTgwODc5ODU4OAoTMjgzMzg2MTI0NjMxNzc1MTAxMwoUMTM4ODgyODgwMDE0ODcwNzk4NDAKFDEzMjU3MTY3ODIwODYyNzQxNjU3ChM4NDc1NzkyNzk2NTA3NjU4Mjg1ChQxNzIyNDE3MzI0MjYwMzYxMDMwNgoTNTQ1MTY0NjgzODEyMjQzNDAyOQoUMTgzODczNDQ3NTE5ODQ4MDYwNjcKEzI2MDMzOTExOTc1MDg0NDY3NDYKFDE4MDU1MTYwODY3ODk0OTU5NzczChQxMDY5NjU2OTU2NjQ0NjA2NzI1OAoUMTgwNDQ1ODc2ODAyMjkyNTk5ODMKEzc2MDUxNDEzMTk4Njc0OTE3MDAKFDEyMjAzOTc3MzQwMjI1NTUwNDQ2GhUKEzY2NzgzMjY0MTYwODE0MjQ1OTlaEzY2NzgzMjY0MTYwODE0MjQ1OTlqhxcSATAYACJEGjAACiloaHFncWFueXhvcG5reXFoaFVDVHg1N2VLS2dzc2k5NVlGRjMtTXdxdxICABEqEMIPDxoPPxPOGoIEJAGABCsqiwEQARp4gfcF9_z-AgD69P8CBAX-ARwA_P70AwMA5gME_Qn9AQD7DPwG-QEAAPoC-_ABAAAA-gf7B_v-AAALDfsCBQAAAAbrBPn-AQAAEvnz-f8BAAD0_fYD9QIAAAUC_QQAAAAA9g8BAwEAAAAMAQb4AAAAAAvs_QoBAAAAIAAtWiDYOzgTQAlITlACKoQCEAAa8AF76twBgQT8-D7d7gAJ_vcBkP_oACsABQDYDQP_qO3e_yUQEQDh3Q4AAOQKAOr__ADr4AT_E_ArABno__8wARIA6A8DARDkAwED8v4B7_b8_9wG7P_P9_oAGRD6_gYJ8v_p7QUD-AjoAfUZAgAA7xH_F_sP_tn_9f8BAwMG_QkABCn9_gXyAQoB-gL2_f4NAwIgA_ACCwQCARvr-AIADfYIJPIFAAz6-gUFFPkGGf8JBN4Q7gP3APb-BucP_QgF-QHv_fj9-PoRAiQMAQACEwT90AgK_vETDf3cGfcHBP4CBAEt9AT77vkABwED-ePSBwsgAC1GnD87OBNACUhhUAIqzwcQABrAB032F7-m1CU9qbuXvN45VD6WFZS8OaoEPccihz19ESO8FQMkvHqnIbwGZkW9zoahvJfHqr4Tx-w7vhGdvINQtj4a8rS8r1VMPNbVg73qngu9Fl2NPE94kb5nFUw9qeaLuir_ij3zvyY82c3OOxzoBDziE3w8HxPKuyIUwDzWzPW8hSqQvPBVBj3NhHW95jXAvOWAeD1HIUS9GwsOu8vIj7xjc5-8kTENvVFM3rv2Ocg8Kdw8vHb5O73_4yk8S01MPFpHNT2Dxqe7yIPjPGvQXD1A2M67FuUIPRzmoL20-D69z9kivfFVITxX3ZS95Qg-PAUX6z2nnvs8rXoMPAFsID050Q49bAqBu2LVAzz1WVA7Lr1HPDHCCr3b0B49-d9Gu2XJF73OOM08baAMvN-Irj0EiRI8ThggvFZakDxVcf48KpMWvNGFhzwaj4w6J1cIu_hxtLxYHA488UdRvO56ab3k1zQ9KFEEvB4lJb2_2UG82mvqu485T7rw1XO9lOMKvFfaWL2UeE-9LJ7ZO7rimDyHTzq828b6u2PsRD17MCk9uhQTvNQq-j0rG7G8_3dXuq7k9Dx0v366Gr_0O4-6ZzznZy-9wz-yu36fmz3vlj-8_AgVPDohdDzegbC8G2SWO3oTqDybzFM8S18EO5cZ27x6Hvc89-cDvAj-3Lzr46E8D1t-u_A_aDueuWI7Z058Ot21cbpeixG9ZSLfusehWTyUNrC8opqvOzx8o7yC56m91n9fuJqYTj0eoSs9GDuGOuAe-DplGeI8rPLXOJOKa737boS8c6_iODa4Iz1L1CG9YuRSuCyONL2FnzO9mOOWOfoUO71oj5s7DYiZubAinzsWQa29gKiHuuSCszwO1yo9UONoumsewb3ErqK9WfgiOFShS7zEVhU97CZKt3SoED1xIIQ9lU4CuIG-oTv1D-I8DiUpOcYAJD3aCeU88AuyuR2ItLsMDmU9EmcHONq_XD2bQTe9BM37OHisI7yun349fQTTOLoXc730Mso8ktoStYlTV72xoga9RjtHuJ3yiD0-TXc9L6AdOKgXnTsiFes8B6t-ts16DD0UBic7YyacOAvPS7xOjFk5hwiPt51wpTzZlwy9Iwl3uEIoSrzbk3a8SZwUOAiwp7s8AbO9wcv_OIyem73JfaE8pHW5tx0TMz2I8Xo9z1cmNe2Rl7xB9oU9foWftvO3gz1Y8y08sQlWuL53Cj01x8M8s0TjOJTKar1rBXK8fjGPuBcMMz2BtnA9ZSiAuIERajwt-CG85Gv-NyAAOBNACUhtUAEqcxAAGmAZ_QAh8xod4hUu7s_huR_gKgjjL9v-APrp_-1A5tsiLgqe8DD_B_ToBakAAAACAwUw_wAIaP_O4v3cKUPdwdoj2n9qKu7zAx8FAvIG0-HABBv-GSkAFxjSFTnl4T8xKQUgAC11_Ck7OBNACUhvUAIqrwYQDBqgBgAA6MEAAJDBAAA4QgAAQMAAAAjCAACAvwAAXEIAAFBBAABEwgAAYEEAADxCAAAwwgAAuEEAAEDAAAAgQQAABMIAAARCAAAEwgAAoEAAABBBAACAvwAAJEIAAOBBAAA8QgAAPMIAADBCAACQwQAAgEEAABTCAAB0QgAAUEEAAEDBAAAYQgAAJEIAACBCAABwwQAASEIAAJZCAAAUwgAAQEEAAKBAAAAMwgAATEIAAEDBAADIQQAAYMEAAABBAADgQAAAjEIAAPDBAABYwgAAGEIAAGDCAACQQQAAoEEAAMDBAADGwgAABEIAAKBBAAAgQgAAEMEAAJLCAAAQwQAAFEIAAMhBAADAQAAAusIAAFDBAACwQQAANEIAAABBAABAQAAAoEEAAODAAACgwQAAgMEAADjCAACAPwAA2MEAANjBAADgQAAAwEEAAMDAAABQwgAAAMEAAPhBAACMwgAAtEIAAAxCAADYQQAAAMEAALBBAACSQgAA8EEAAJxCAACUwgAAQMAAAPhBAABwQQAAssIAAFDCAACgQAAAcEEAAPrCAAAEwgAAAAAAAMBBAACgwQAAPEIAACxCAAAkQgAAYMIAAHDCAADoQQAA-EEAAJBCAABgQQAAoMIAADDBAACAwAAAAEEAAIhBAACAvwAANEIAAEjCAACgQQAAuMEAAMjBAACgQQAAwEEAAEDBAABEwgAAgMEAANZCAABoQgAAiMEAAKBBAABYwgAAmMEAAJDBAABwwQAA2EEAAFBCAAAsQgAAHEIAAETCAABYQgAAAMAAAIA_AAAAQgAAgD8AAADCAAAwwQAAEEEAAKhBAAAgQQAAgMEAANTCAAAowgAAJEIAAADBAAAYQgAAHMIAAODBAAC4wQAACEIAAIA_AAAAQgAAwEAAALhCAADowQAA6EEAAIbCAACYQQAAFMIAAPBBAADgQQAAEEEAAEhCAACwQgAAEMIAAKTCAADIwQAAOMIAAKDAAAAQQQAA0MEAAIpCAAAAwgAAlkIAAGBBAADQQQAAEEIAADzCAADQQQAAgEEAABDBAACawgAAQEIAAETCIAA4E0AJSHVQASqPAhAAGoACAAD4PQAA4LwAAGw-AAAUPgAAgLsAAPi9AAD4vQAAAb8AAJK-AACAuwAAij4AADC9AAA8vgAAJD4AAES-AAAwvQAAJD4AAFA9AACAOwAA5j4AAH8_AADoPQAAFL4AAKC8AACevgAALL4AAFA9AAAcvgAAQDwAAJg9AABEPgAA2D0AABA9AABcPgAAUD0AAIg9AABkPgAAdL4AADy-AADovQAAmD0AADy-AAAQvQAAZL4AAJg9AABEvgAAcD0AADS-AABcPgAApr4AAPg9AAAMPgAA6D0AAJg9AACYPQAAML0AABU_AABEvgAA2D0AAII-AABsvgAABD4AABQ-AACSPiAAOBNACUh8UAEqjwIQARqAAgAAqL0AAAy-AABEvgAAI78AAAQ-AAD4PQAAMD0AAEA8AAAwvQAAqD0AAAy-AABQvQAAiL0AAKK-AADIPQAAgLsAAAw-AAAhPwAAQLwAAKI-AACOvgAAXD4AAIg9AADIPQAAUL0AAMg9AADgPAAAUL0AAMg9AADgvAAAoDwAADQ-AAAwvQAAJL4AAMi9AADgPAAAbD4AABw-AAA8vgAAUD0AAAw-AABAvAAAbL4AAPg9AACgPAAAgDsAAH-_AABkvgAAgDsAAGw-AAAsPgAAjr4AAHA9AACovQAAbD4AAKA8AABQPQAA6L0AABS-AADgPAAAHD4AAEw-AAD4vQAA6L0gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=qJpYpyZz9L8","parent-reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-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":"3","reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3Du8Sjp56fuAg","linkTemplate":"/video/preview/3807808448112303313?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-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\":\"ErADChMzNjYzNzM5NzgxNjUyOTM2MzY3ChQxNjk3NTM4MzkxMjEyODMxNjE1OQoTNjY3ODMyNjQxNjA4MTQyNDU5OQoTMzgwNzgwODQ0ODExMjMwMzMxMwoUMTUwMzkxNjIzMjczNjM4MjQwNjEKFDExMjczNTg1Mzg5NTEzMzUzNTA3ChQxNTI4NDI0NTQwMTgwODc5ODU4OAoTMjgzMzg2MTI0NjMxNzc1MTAxMwoUMTM4ODgyODgwMDE0ODcwNzk4NDAKFDEzMjU3MTY3ODIwODYyNzQxNjU3ChM4NDc1NzkyNzk2NTA3NjU4Mjg1ChQxNzIyNDE3MzI0MjYwMzYxMDMwNgoTNTQ1MTY0NjgzODEyMjQzNDAyOQoUMTgzODczNDQ3NTE5ODQ4MDYwNjcKEzI2MDMzOTExOTc1MDg0NDY3NDYKFDE4MDU1MTYwODY3ODk0OTU5NzczChQxMDY5NjU2OTU2NjQ0NjA2NzI1OAoUMTgwNDQ1ODc2ODAyMjkyNTk5ODMKEzc2MDUxNDEzMTk4Njc0OTE3MDAKFDEyMjAzOTc3MzQwMjI1NTUwNDQ2GhUKEzM4MDc4MDg0NDgxMTIzMDMzMTNaEzM4MDc4MDg0NDgxMTIzMDMzMTNqrw0SATAYACJFGjEACipoaG11ZGxtZGtmZG94cWpjaGhVQ0diTjltWWRFN2NZN0dpZE5mejhMM1ESAgASKhDCDw8aDz8T5AGCBCQBgAQrKosBEAEaeIH7Cv4JAv0A_AMFAvkG_gIdBhH89AMDAPEQBfkEAQAA_wwEAAABAAD79wXxBgAAAAEIAv7x_gEADgD9A_sAAAAH-Qf59AAAAAcB_f7_AQAA_Aj-BwT_AAANAQsFAAAAAAAOAfn9_wAABAED_AAAAAAC6PUDAQAAACAALeB1zDs4E0AJSE5QAipzEAAaYO_5AAb32v3ZZCPczebgFvQSzOL440H_Bt7_9SLd9STY-IERLv8E2gAhoQAAAP0P9BskAARy-Ooc6dT4IsXG30VMWRIWDfEcHvss8j_z9OUO7yogAgAAB_0OI8ETWThF4iAALeajJzs4E0AJSG9QAiqvBhAMGqAGAAD4wQAA-MEAAOhBAABAQAAAWMIAAGDBAACiQgAAYMEAAAzCAACgQAAAgEIAAPjBAACAwgAAIMIAAEDAAACQQQAAKEIAAEDAAAAwwQAAgEEAAMxCAABIwgAA4EAAANjBAADoQQAAQMAAANDBAACAQAAACEIAADBBAAB8QgAAQEIAAILCAADQQQAAEMEAALjBAACoQQAAXEIAAAAAAADYwQAArsIAAFBBAAAcQgAADEIAAIDAAACIQQAACEIAAIzCAAAIQgAAoEAAABhCAAAAwgAAJEIAACDCAACYQQAAgEIAAIrCAABowgAAcMEAABhCAAAYwgAA6MEAAOhBAAAAQgAAgMAAAJRCAAAsQgAABEIAAABBAABcQgAA4EAAAGRCAACAQQAAVEIAAEBBAACIwQAAwMEAAMDAAAAwQQAADMIAAFTCAADQQQAAgEEAALBBAABwwQAApsIAAMhBAADAwAAAGEIAAARCAAAQQgAAoEEAAIBAAAC8wgAAQMAAAJbCAABQwQAA0EEAADzCAADgQQAAMMIAABhCAACAPwAAgD8AADjCAACAQAAAMMIAAKpCAAD4wQAA4MAAADRCAABswgAATMIAAFRCAACIQQAAEMEAAABBAAB0wgAAcEEAAKjBAAC4wQAAQEAAADzCAADQwQAAiEEAAKBBAABAwAAADEIAAMjBAACgQAAAcEEAAAhCAAB4wgAAAEAAAEBCAAAUQgAAUEEAAOBAAABAQAAAXMIAAI7CAAAAQAAAsEEAAAjCAABEQgAAgEEAAETCAAAUQgAABEIAAIDAAABUQgAAXMIAACDBAACMwgAAQEAAALBBAAAgwQAATMIAAABBAADQQQAATMIAAMDBAAC8wgAAEEIAAOjBAACCwgAAoMEAAGhCAAAkQgAAOEIAAL7CAACIwQAAUMEAAKzCAACIwQAAYMEAAPBBAABUwgAAQMIAAKBCAACIQQAAAEEAACjCAABAQAAAEEIAAJpCAABswgAA_kIAAABAAABswgAAHMIAANDBAAAAwAAAcMEAAADAAACgQQAAcEEAAGDBAABAwgAAgL8gADgTQAlIdVABKo8CEAAagAIAADC9AADgPAAAcD0AAOg9AAAwvQAAEL0AAJi9AAAFvwAAHL4AANg9AAAwPQAAEL0AAKg9AACYPQAArr4AAOA8AACqPgAAQDwAADQ-AADaPgAAfz8AAKg9AABAvAAAJL4AAKi9AACIvQAA4DwAAAS-AAAkvgAAPD4AABQ-AAAkPgAADL4AADA9AADYPQAAQLwAAPg9AACgvAAAFL4AALa-AACYvQAA-D0AAAQ-AAAUvgAAuD0AABA9AADoPQAA6L0AAKA8AABMvgAAXD4AAIg9AACgPAAA6D0AABQ-AADIvQAABT8AAIi9AAC4PQAAjj4AAAy-AADgPAAAoDwAAKA8IAA4E0AJSHxQASqPAhABGoACAADIvQAARD4AAMi9AAATvwAAuD0AALg9AACAuwAAgLsAAOi9AADIPQAApr4AAI6-AAD4vQAA0r4AADC9AACAuwAAQLwAAD8_AACYvQAAjj4AABA9AAAwvQAA4DwAAOA8AACgvAAAML0AAGS-AACoPQAAgLsAANi9AACgPAAAFD4AALg9AADovQAA2L0AAAS-AADePgAAEL0AAFy-AAAwvQAAUD0AANi9AAAEvgAA-L0AAIA7AABEPgAAf78AAJa-AABMvgAAXD4AADw-AAAcvgAAgLsAAKA8AAAwPQAAoDwAAFC9AADIPQAAoDwAALY-AACoPQAAqD0AADC9AABAvCAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=u8Sjp56fuAg","parent-reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-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},"15039162327363824061":{"videoId":"15039162327363824061","docid":"34-6-9-ZEC401242579FC841","description":"how to code smv modules...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4238826/2411887f1f8d4845c26a4179e479e1b1/564x318_1"},"target":"_self","position":"5","reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D_uZt9vwOSjA","linkTemplate":"/video/preview/15039162327363824061?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"model checking using smv","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=_uZt9vwOSjA\",\"src\":\"serp\",\"rvb\":\"ErADChMzNjYzNzM5NzgxNjUyOTM2MzY3ChQxNjk3NTM4MzkxMjEyODMxNjE1OQoTNjY3ODMyNjQxNjA4MTQyNDU5OQoTMzgwNzgwODQ0ODExMjMwMzMxMwoUMTUwMzkxNjIzMjczNjM4MjQwNjEKFDExMjczNTg1Mzg5NTEzMzUzNTA3ChQxNTI4NDI0NTQwMTgwODc5ODU4OAoTMjgzMzg2MTI0NjMxNzc1MTAxMwoUMTM4ODgyODgwMDE0ODcwNzk4NDAKFDEzMjU3MTY3ODIwODYyNzQxNjU3ChM4NDc1NzkyNzk2NTA3NjU4Mjg1ChQxNzIyNDE3MzI0MjYwMzYxMDMwNgoTNTQ1MTY0NjgzODEyMjQzNDAyOQoUMTgzODczNDQ3NTE5ODQ4MDYwNjcKEzI2MDMzOTExOTc1MDg0NDY3NDYKFDE4MDU1MTYwODY3ODk0OTU5NzczChQxMDY5NjU2OTU2NjQ0NjA2NzI1OAoUMTgwNDQ1ODc2ODAyMjkyNTk5ODMKEzc2MDUxNDEzMTk4Njc0OTE3MDAKFDEyMjAzOTc3MzQwMjI1NTUwNDQ2GhYKFDE1MDM5MTYyMzI3MzYzODI0MDYxWhQxNTAzOTE2MjMyNzM2MzgyNDA2MWqvDRIBMBgAIkUaMQAKKmhoaWpzbWNteWVmYXB4YmJoaFVDZ1NyZkJwbDhxSUlHN1VqX3k2Z3ZTdxICABIqEMIPDxoPPxOmGYIEJAGABCsqiwEQARp4gf8E-wH-AgAG8wcCBAj9AhYGBQL2AgIA_AX5_QYE_gD6BQcE-QEAAPb6-_kBAAAAAPvyDPn-AAD__PUEAwAAAAb0_fsEAAAAC_j__QABAAD0_fYD9gIAAAgEAgoAAAAABAgAAgf7Av8SAP78AQAAAAnxAQP78_4AIAAtE_PZOzgTQAlITlACKnMQABpg-hAAHPwCSNofPfbe6OEy9hgb0QvARP8jAf_pSNYSCR7ZrCtE_x8a8PuhAAAABj70FwUAMG7u7eLa4TMxxeLzMh5_VA31QBMcFCzzGeYi0vnhLCFLADUKBfIC0_tjOiwXIAAtBB4eOzgTQAlIb1ACKq8GEAwaoAYAAHjCAACgQQAAFEIAAADAAACQwQAAisIAAJpCAAAQwQAAqMEAAFjCAAAMwgAAwEAAAFDCAADIwQAAJEIAALBBAAAAAAAAIEIAAAjCAAAkwgAAqEEAAKBBAADAwAAA4EAAAODCAACWwgAAsEEAABxCAADCQgAAQEAAALjBAABQwQAAaMIAAJRCAACoQQAA8EEAAAhCAADQQQAAYEEAAAAAAAAoQgAAjkIAAGhCAAAAwAAAgMEAAJxCAADgwAAAhMIAAKpCAACAvwAAYEEAAMDBAACMwgAAEEEAAIhBAACgQAAA-MEAACDBAAC4QQAAVEIAAFzCAACIQQAAgL8AABDBAAB0wgAAkMEAAGDCAACowQAALMIAADBBAABwQQAAEEIAAMLCAADAwQAAwEEAACTCAACgwQAAaMIAAODAAAAkwgAAcMEAAADBAABowgAAyEEAADxCAAAAQQAAHEIAAEBBAAAcQgAAqkIAALhBAAAgQgAAMEIAAKDCAADQQQAAQMEAAHjCAABkQgAAMEIAAEDAAAC-wgAA4EAAABzCAAB0wgAAQEEAAABAAACAPwAAmEIAACDBAACQwQAAwEIAAATCAABgwQAA-MEAANDBAACeQgAAwMAAAODAAAAwQQAAUMIAAIRCAAAgwQAA4MAAAFDBAAAQwQAAEMIAAIbCAABswgAA0MEAAIjBAAAIQgAA4EEAABDBAABgQQAAWMIAALDBAAA4QgAAUEEAAJjCAACGQgAACEIAAODBAABgQQAAEEEAAHRCAADYQQAAWEIAAPhBAAAAwgAAMMEAAGBBAADAQAAA4MAAAIhBAADgQQAAGEIAALjBAAA4wgAAeMIAAOBBAAAsQgAA2EEAAPDBAACAwQAAuEEAAGBBAABwQgAAkEEAAPhBAAA4QgAA8MEAAJhBAAC4wQAAAMAAAJ7CAABQwgAAyMEAABzCAABEwgAAwEEAAMjBAAAIwgAAIMIAABBBAABgwQAAQMEAAEDBAAC2QgAAgEAAAIC_AAAAQQAAIMEAAPDBAACAQQAAcMIAALhBAABAwgAAJMIAACzCAAAAwSAAOBNACUh1UAEqjwIQABqAAgAA2D0AAMg9AAAsPgAA4DwAAOi9AABwvQAAuL0AAOa-AAAEvgAAiD0AAKo-AAAUvgAAgLsAAJg9AACSvgAA4LwAACw-AAAkPgAAVD4AAK4-AAB_PwAAND4AACS-AAA0PgAAlr4AAFy-AACAOwAAqL0AABC9AACCPgAAJD4AAAS-AAAMPgAAXD4AAKC8AAAcPgAAbD4AAJ6-AABUvgAALL4AAOC8AAB0vgAAEL0AAEy-AAAwvQAAQLwAABC9AAC4vQAAJD4AANi9AADaPgAALD4AADw-AACYPQAAiD0AAIi9AAArPwAA2L0AABQ-AACOPgAAfL4AAKA8AADoPQAAHD4gADgTQAlIfFABKo8CEAEagAIAAKi9AAAEvgAAjr4AAC-_AAAwvQAAEL0AACw-AABQvQAAML0AAOC8AABUvgAAHL4AAMi9AACavgAA4LwAABC9AADYvQAAEz8AAFS-AAB0PgAAFL4AAPi9AACovQAAcD0AAIA7AACAuwAAqL0AALi9AABEPgAAqL0AAEC8AAAUPgAAUL0AAHy-AABUvgAAoDwAACw-AACIPQAA6L0AAKg9AABUPgAAHL4AAJi9AACgPAAAQDwAAOC8AAB_vwAAJL4AABC9AACIPQAAPD4AAJq-AACIPQAAJL4AAOA8AACgPAAAQLwAABQ-AAA8vgAAHD4AAAQ-AADgvAAAXL4AADC9IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=_uZt9vwOSjA","parent-reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["15039162327363824061"],"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":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DiV_bbK1Ah2U","linkTemplate":"/video/preview/11273585389513353507?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-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\":\"ErADChMzNjYzNzM5NzgxNjUyOTM2MzY3ChQxNjk3NTM4MzkxMjEyODMxNjE1OQoTNjY3ODMyNjQxNjA4MTQyNDU5OQoTMzgwNzgwODQ0ODExMjMwMzMxMwoUMTUwMzkxNjIzMjczNjM4MjQwNjEKFDExMjczNTg1Mzg5NTEzMzUzNTA3ChQxNTI4NDI0NTQwMTgwODc5ODU4OAoTMjgzMzg2MTI0NjMxNzc1MTAxMwoUMTM4ODgyODgwMDE0ODcwNzk4NDAKFDEzMjU3MTY3ODIwODYyNzQxNjU3ChM4NDc1NzkyNzk2NTA3NjU4Mjg1ChQxNzIyNDE3MzI0MjYwMzYxMDMwNgoTNTQ1MTY0NjgzODEyMjQzNDAyOQoUMTgzODczNDQ3NTE5ODQ4MDYwNjcKEzI2MDMzOTExOTc1MDg0NDY3NDYKFDE4MDU1MTYwODY3ODk0OTU5NzczChQxMDY5NjU2OTU2NjQ0NjA2NzI1OAoUMTgwNDQ1ODc2ODAyMjkyNTk5ODMKEzc2MDUxNDEzMTk4Njc0OTE3MDAKFDEyMjAzOTc3MzQwMjI1NTUwNDQ2GhYKFDExMjczNTg1Mzg5NTEzMzUzNTA3WhQxMTI3MzU4NTM4OTUxMzM1MzUwN2qIFxIBMBgAIkUaMQAKKmhob2h0bGd1bml1enVsdWJoaFVDaXdVamVmSGJnMzZPblcyVWhfNWVVdxICABIqEMIPDxoPPxOTAYIEJAGABCsqiwEQARp4gfcF9_z-AgAG8wcCBAj9AhAN-gII_wAA9AYC_wcC_wD5CQYNAQEAAPUK_PkEAAAA_v7-__j-AAD5_wQABAAAAAP1DfT-AAAADfX-9P8BAAD2BAIJ9wIAAQf8-wr_AAAA_xH-A___AAADAQPuAQAAAAPwAAUAAQAAIAAtWiDYOzgTQAlITlACKoQCEAAa8AF_7gAAyib3_-Tl5wDW_9kAkwkn_xsj4wCk4RAC2Q3BAQQPBgDgA-wAAwAj_7YEIwEU9Of-EuEX_zT9AwAPBjUA-gD6AB-9GgATFRwB--Hs_uEhEP8G7xgAEsfuAA3_5gAc9QP-8BXv_w7_2AMJ2TkCF-0MABMLIQPt5fYB2Qn3Aub33P0iGesA8_IG-MXqDwAOC_0FEUAE_uT1Af4O9OsAGeb__d8Z7P4Q5gIGCvoZ9-fh4ADxBv4DDOULCfISBPnf_wv02egR-BECAwIv1fEG7wEE9_3k9AnqAPEMFuL6-v_2AQHvAQH4-BwECvLP__YgAC0YICQ7OBNACUhhUAIqzwcQABrAB4bL6r7-7Yc9sJfBPKAUcr3bugA98-7-vJXSA76WmKe8v7SsO3YaCT5bAD89pA3RvFnAVL4EjIw5Ks_XPMVVhT5UMG-9m38qvNlDS75DknY7KX-CvfWha76E0wc9dDXDu6g1zT1zqcC8xWvDvB0A8T311RW9-Z4xvQGcxbt9_sG7oJJuvRH5kzzTI5e83DYCvFrfNj3p2528U5HKPHcx7T2PACm9dpYRPEGfg70I-xu9zmfEu3L-Ab30Eog89gJYvIJCyD3aE-48ItjdPL4KujzlFHi8uLh8vN8JDL3PKVA5to4evKxjCz0NBjI8WuybvNjCBz1Ex5m98juyvPmgB770Gps9L4GAO_sFOz7aN9c9RHXKOxyEv71NrQ09N5zkO5tATL3n9ve83OqgO-DeMD3f8Mw8EFg9OpniYDw16Ts9OZ8TPC0OH7xVVi49EEIbPaTUEjzOQrG83o_bvISODD0fgiq8lpWmvFWPur2-OTc8F5klvFAIEz1VYy48xhaCO30J1T0RqrM66kKHO3AK6zxF77m99kfluVxNqLy5clG9b1azvJ-wtD3pj0u5uEZ8u_YFqT3BvNG8b3zxu4-6ZzznZy-9wz-yuw4-Az3nOsi9LzNsPM910LyWxjQ91D_OO2jI3TwMNrs7QckuvEKfvjxcMY09R3uTO_5ha73nxN68Tdaou_UrXT1zET89sJXpukwRmj1IfWM9OoVeufNZ3j1u9uw8-oGcuAnrErwRgXS9dWH_usjqVjx2HvA81O9Cu5NikT2mgT-9g5OsuSYDWz1pcUa88oRzO-Ypozp-7a897o7BOIiZYj2XKse94QbXt_yzVb13PbK9hRswuLGWcbx-c1q89_8zO1ZSnbxDyk-8twPFNgL0i71FNZC9O4YxOJcNobxI9cI89AiauBaNsD2bkoe8nnyZOGLAkjyXIvU7FMdfOQoGoTze30W83sv0OSXXA70EtLg9qiequDK12zx4Eiy9OF4EOeOncTyfeXQ98GkGuaOGwDyUUFU8QnhSuOg_NT1kHwQ-Z7EbOFJIz7s-PKu9T7LkOKDcez0Bmbc9WAA2uMrhA74Q1x48l_1ON2FM_rvUmLW9M7SCNrfEOz0_3pC8Ud-FOD6IkTsYT569TKnpN62n9j2z6pi8ezs6uYgXP71yk8e8d88muEHybj2FD4C8EshbN0FJkb2SJbO8E742t72vBT2lSQm-rZ6FuCL_7D01KQU-835buJVfKzzPvIw9xfwGuQahfL1gHIE8YXy1N2nsAb0MTeM8P2mTOCAAOBNACUhtUAEqcxAAGmABCwAaCCff8D5e7OnX4jroHhfIKs5B_x8X_-oQwfYDBdzRDDj_CeUc4KMAAAAPAhAtxAD5f-X0-RfaEioDn-kmPnUVOjvU0DQHCNUd6ejGOzkmEl4ACB-jJBrN_04tJ_YgAC2Vlhg7OBNACUhvUAIqrwYQDBqgBgAAcEEAAKBAAACwQgAAcMEAAKJCAAAYQgAAwEIAAAAAAACWwgAA4EEAAHBBAAAgwgAAoMEAALDBAAAAQQAA8EEAAABBAAA0wgAAIMEAAPjBAABAQQAAsEEAAOjBAADAQAAAyMEAAATCAAAcwgAAhMIAAMhCAADowQAAIMIAAJ5CAAC0wgAAgMAAAHzCAACAvwAA6EEAALRCAAAAwgAAoEEAAEBBAADgQAAAAAAAAJDBAABEQgAAZMIAAAzCAADgQQAATEIAAAhCAAB8wgAAgL8AADBBAADIQQAAIEIAADBCAADowgAAREIAABRCAAAkQgAA0EEAAIrCAAAEwgAAjsIAAERCAABwwgAAAMIAAHDCAAC4wQAATMIAAI5CAADIQgAARMIAAMBAAACgwgAAFMIAAAAAAACgQAAAyEEAACDBAABQwgAAukIAAPDBAABYQgAAwMEAAHDBAAAAAAAA8EEAAGxCAACowQAAYEEAAHxCAACCwgAAUEEAAJBBAABQwgAAwEEAALDBAABEQgAA-MEAADDCAAAgQgAAVEIAADBBAABwwQAAYMEAAKDBAAAgQQAA4MAAAExCAAD4QQAAyMEAAOBAAACIQQAACMIAACBCAAAAQQAAEEEAAFzCAAAAAAAAYMEAAEjCAACQwQAAcMEAABBBAACYQQAAoEAAAABAAABYQgAAUMEAAODBAABgwQAAgD8AANhBAADAwAAAPEIAAHRCAADgQAAAEEIAAABAAADAQAAAEEIAAAxCAAB4wgAAKEIAAADAAACmwgAAIEEAAHBBAAA0wgAAmMEAAJBBAAAAwAAAYMEAAFhCAAAswgAAuMEAAAAAAABwwQAAiMEAAATCAADAQAAAqEEAAEDCAADAwQAA2MEAABDCAABIQgAAiEEAAAhCAACgwAAALEIAAABAAAAwwgAAVMIAAODAAABMQgAAPMIAAPhBAAC4wQAALMIAAGzCAACQwQAAgMAAAJxCAABwwQAAPMIAAPjBAAC4QQAAwEEAANhBAAAIwgAAKEIAAEBAAACIQQAAsEEAAADCAADYQQAAgD8AAKDBIAA4E0AJSHVQASqPAhAAGoACAACIPQAAqL0AAIA7AADIPQAAir4AAOC8AACYPQAA_r4AAJq-AAA8vgAAgDsAAKi9AADYvQAATD4AAES-AACAOwAAgj4AAIA7AACCPgAADT8AAH8_AADgPAAA6D0AAJi9AAAMvgAAML0AAMi9AAAsvgAAoLwAAJo-AACePgAAqD0AAIg9AACoPQAABD4AAAw-AABEPgAAJL4AAJa-AAA0vgAA6D0AAKi9AAAEvgAAdL4AABy-AABQvQAAlj4AAIK-AADIvQAAwr4AAJg9AABQvQAABD4AAHC9AAC-PgAAmD0AACk_AAD4vQAAdD4AAMY-AAA0vgAALD4AAIg9AAAkPiAAOBNACUh8UAEqjwIQARqAAgAAoDwAANi9AAAsvgAAOb8AAOi9AACIPQAAdD4AAKC8AACYvQAAmL0AADS-AACGvgAAmL0AAKq-AABAvAAAUD0AABQ-AAANPwAA6L0AAKI-AABAvAAAuD0AAPi9AAAwPQAAEL0AAEC8AAAEvgAA4LwAAKA8AACYvQAAED0AACw-AACIPQAAtr4AAHS-AACYPQAAHD4AADA9AAA0vgAAoDwAABw-AADIvQAAUL0AABC9AABQPQAA6D0AAH-_AAA8vgAAEL0AAKg9AACKPgAAHL4AAIi9AACovQAAgDsAAJg9AADgvAAAND4AAOC8AAAkPgAADD4AAKi9AAAMvgAAmD0gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=iV_bbK1Ah2U","parent-reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-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"},"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":"7","reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D3evtNVFrL7I","linkTemplate":"/video/preview/15284245401808798588?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-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\":\"ErADChMzNjYzNzM5NzgxNjUyOTM2MzY3ChQxNjk3NTM4MzkxMjEyODMxNjE1OQoTNjY3ODMyNjQxNjA4MTQyNDU5OQoTMzgwNzgwODQ0ODExMjMwMzMxMwoUMTUwMzkxNjIzMjczNjM4MjQwNjEKFDExMjczNTg1Mzg5NTEzMzUzNTA3ChQxNTI4NDI0NTQwMTgwODc5ODU4OAoTMjgzMzg2MTI0NjMxNzc1MTAxMwoUMTM4ODgyODgwMDE0ODcwNzk4NDAKFDEzMjU3MTY3ODIwODYyNzQxNjU3ChM4NDc1NzkyNzk2NTA3NjU4Mjg1ChQxNzIyNDE3MzI0MjYwMzYxMDMwNgoTNTQ1MTY0NjgzODEyMjQzNDAyOQoUMTgzODczNDQ3NTE5ODQ4MDYwNjcKEzI2MDMzOTExOTc1MDg0NDY3NDYKFDE4MDU1MTYwODY3ODk0OTU5NzczChQxMDY5NjU2OTU2NjQ0NjA2NzI1OAoUMTgwNDQ1ODc2ODAyMjkyNTk5ODMKEzc2MDUxNDEzMTk4Njc0OTE3MDAKFDEyMjAzOTc3MzQwMjI1NTUwNDQ2GhYKFDE1Mjg0MjQ1NDAxODA4Nzk4NTg4WhQxNTI4NDI0NTQwMTgwODc5ODU4OGqtDRIBMBgAIkMaMAAKKWhoZXBhdXZodWNpY2txamhoVUNhY1dDV2tJWFRYejltZU9NWG1IWHZnEgIAESoPwg8PGg8_EzKCBCQBgAQrKosBEAEaeIEAAwPxAf4AGAMHCPoK_QEFEQkJ9___APb6-_z-A_8AAwQQ_f4BAAD2EgfyAAAAAPQD_vsEAAAACxH9DAQAAAAX-fsA_wAAAPEW_Qb_AQAA9_0KAfQCAAEDAgkIAAAAAAgGDAD6_gAABQYB9QEAAAAI8vAKAQAAACAALe8yzjs4E0AJSE5QAipzEAAaYP0dACY7Ce3V9T_MCA_wDw8r7tDwyhD_-D4AByoRxdAD-94ELf_qriTrtQAAAPwF3EXRANRmKtHL7PkoANux9Qkff0wh99rs-_Mn_RjvExIR-wEMKQAVNfbgHskqWBAPASAALWWNLTs4E0AJSG9QAiqvBhAMGqAGAABwwgAAuEEAAFBBAADIQQAAUMEAAAxCAAAMQgAAkEEAAEzCAACkwgAAMMEAAJbCAACWwgAAQMAAAADBAACYwQAAYEEAAKDCAAAMwgAAwMEAADxCAABcwgAAUEEAAABBAAAUwgAA6EEAALjBAABowgAA3kIAAGjCAAC4QQAAZEIAANrCAAAwwQAAQEEAANDBAADIQQAA0EEAAIC_AABoQgAAXMIAAKhBAACQwgAABMIAAATCAABUwgAAKMIAAABAAACAQAAAgMEAAJbCAACoQQAAwMAAALjBAACwQgAAwMEAAEzCAABgwQAAEMEAANBBAAAIQgAAIEEAAHjCAADGwgAAoMAAADDCAAAYwgAAoEAAAIC_AABAwQAAQEEAALjBAABcQgAAAEIAAEBBAADgQQAAUEEAAEDBAAAMQgAAyMEAAEDCAAB4QgAAgMAAAPhBAABAwgAA4MEAAIxCAAAgQgAAqEIAAOBBAACAvwAADEIAAMjBAAAAwgAAgL8AAHzCAAA8wgAACEIAAHBCAACAPwAAcMEAAMDBAABsQgAAoEEAAIDAAACAQAAA6EEAABBCAABAQQAAskIAABhCAAAAQQAAwMEAAOJCAADgwAAAwEEAAOjBAAAMQgAAgEEAAEDAAAAQQQAACMIAAOBBAAAcwgAAHEIAAGDBAAAAQgAAMEEAABjCAACAwAAAgsIAAGDCAAAYwgAAAAAAAARCAABAQAAApkIAAFBBAAAgwQAAyMEAANBBAACowQAAuEEAAPjBAABgQgAA8EEAAADCAACSQgAAYEEAAEhCAACowQAA4MAAALhBAACowQAAIMEAAFjCAADAwQAAqMEAAOhBAABsQgAA-EEAAJpCAACQwQAASMIAAHDCAACgwAAAAEIAACRCAADYwQAAsMEAABDBAACQQgAALMIAAEBAAACIQQAAMMEAANBBAACAQQAA0MEAAFRCAAAgwgAAMMEAALjBAACIQQAAyEEAACRCAABAwgAAXEIAADBBAAAQQQAAEMEAAChCAADQwQAA-MEAAKDAAAAgwQAAksIAAIDCAAAAAAAAHMIgADgTQAlIdVABKo8CEAAagAIAAKK-AABAvAAA-j4AANi9AABAPAAARD4AAK4-AAB_vwAABL4AAPg9AABsPgAAbL4AAII-AACgvAAAgDsAANi9AABQPQAA-D0AAIY-AAAxPwAAfz8AAGw-AADgvAAAoj4AALi9AACKvgAAFT8AADS-AACIvQAAUD0AACw-AADIvQAAiL0AAAy-AABMPgAAoLwAAHw-AABMvgAAFL4AACy-AACqvgAA2L0AAJg9AAAkvgAAuD0AAEw-AACePgAAdL4AADA9AADivgAAuD0AACQ-AACovQAAvj4AABC9AABQvQAAdz8AAFy-AAAEPgAAAz8AAJo-AABcPgAA2D0AAEw-IAA4E0AJSHxQASqPAhABGoACAADgPAAA6L0AAKC8AAAPvwAAqD0AANg9AACovQAA6D0AAAy-AABwPQAAyr4AAMi9AAAwPQAA2r4AANg9AACgvAAAgLsAAEk_AABAvAAAzj4AAEC8AAAMvgAAdD4AABC9AABAvAAAgLsAAFy-AABAPAAAPD4AAPi9AADIvQAA2D0AAHA9AADmvgAAcL0AADQ-AABcPgAAiD0AAHC9AAAkPgAAyD0AAOi9AADIvQAAFL4AAMg9AADYPQAAf78AAOK-AACWvgAAND4AAOC8AAA8vgAA-D0AAFA9AAAwvQAAgLsAAIi9AAAcvgAAdL4AACw-AABQPQAAdD4AAOg9AAAEviAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=3evtNVFrL7I","parent-reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-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},"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":"8","reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DzufiEwshKmc","linkTemplate":"/video/preview/2833861246317751013?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-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\":\"ErADChMzNjYzNzM5NzgxNjUyOTM2MzY3ChQxNjk3NTM4MzkxMjEyODMxNjE1OQoTNjY3ODMyNjQxNjA4MTQyNDU5OQoTMzgwNzgwODQ0ODExMjMwMzMxMwoUMTUwMzkxNjIzMjczNjM4MjQwNjEKFDExMjczNTg1Mzg5NTEzMzUzNTA3ChQxNTI4NDI0NTQwMTgwODc5ODU4OAoTMjgzMzg2MTI0NjMxNzc1MTAxMwoUMTM4ODgyODgwMDE0ODcwNzk4NDAKFDEzMjU3MTY3ODIwODYyNzQxNjU3ChM4NDc1NzkyNzk2NTA3NjU4Mjg1ChQxNzIyNDE3MzI0MjYwMzYxMDMwNgoTNTQ1MTY0NjgzODEyMjQzNDAyOQoUMTgzODczNDQ3NTE5ODQ4MDYwNjcKEzI2MDMzOTExOTc1MDg0NDY3NDYKFDE4MDU1MTYwODY3ODk0OTU5NzczChQxMDY5NjU2OTU2NjQ0NjA2NzI1OAoUMTgwNDQ1ODc2ODAyMjkyNTk5ODMKEzc2MDUxNDEzMTk4Njc0OTE3MDAKFDEyMjAzOTc3MzQwMjI1NTUwNDQ2GhUKEzI4MzM4NjEyNDYzMTc3NTEwMTNaEzI4MzM4NjEyNDYzMTc3NTEwMTNqtg8SATAYACJFGjEACipoaGNqYnFibmhpbGRrdmNkaGhVQ0lzeTRuUVh0WW5KaGxmNmpQS09yTmcSAgASKhDCDw8aDz8T0wWCBCQBgAQrKosBEAEaeIH9Avv5_AQADP3__AMEAQEQAwb6B___APUFAv8HAf8A9hIHA_8AAAD1Cvz6BAAAAPoG-wb7_gAABgP9AQQAAAAI9Qj_BQAAAAr_-_j_AQAA9f32A_YCAAAH_PsKAAAAAPwIAQH8_wAABAED_AAAAAAI8_kCAAAAACAALYjv3js4E0AJSE5QAiqEAhAAGvABfxET_vvc5gTI9tQAwhje_6H2Kf8KIOX_iNErAZcC9_7UHgYA-g3sAQoHOgDdQxD_6uTsAO7p6wBI8_j_GSP4APzy9wAV2gQCQRYD_w3s2wC69xj9Es4IAADm8AAEJNn-GAAU_vkBxv8A09sFGeUuAx4OHgEK9ST8yvT6BbwH9gL3-90AHPsMCRbzBPao_h0H9_j_-gD73vrmIegCKN_5-PvhBPr1KuoCLe8FB_oN5Qn-1vsL_Afm8dsVDg_4DPv6AQwx-_LgAe88H_oDKMr__efn-AH-8_kBEwTp-ffgEfz35wIAxxby9NAYCxHl9QHyIAAtHUYQOzgTQAlIYVACKnMQABpgEBQAPQoO__RAWvYAzAsv9xodyRXpU_8WHv_lKc3wBPffve9A__b-9M-kAAAAEiMCHcsA_X_61yD_uiIS347bJjRtCTFlz8k0-yrjQgTv4xQFMBlLACI2oyU2-hEuGgrxIAAtMsoXOzgTQAlIb1ACKq8GEAwaoAYAAGBBAACYQQAAoEEAAKBAAACIQQAAOEIAAFBCAAAYwgAAwMEAAI7CAAAkQgAAgMAAAIDCAABgwQAAmEIAAIhBAAAgQgAAKMIAAEBAAABgwgAAAMEAAARCAAAIwgAAjEIAAIBAAAAAwAAAXMIAAEzCAAD-QgAAIEIAAFRCAAAcQgAAwMEAAFDBAACCwgAAuMEAAJDBAACgQgAA0MEAAMDBAAAAQAAAFEIAAKRCAAAoQgAALEIAAIBAAACgwgAAIMIAAMZCAADowQAAgMIAAJBBAAAowgAAGEIAAAAAAAAwwgAAeMIAAMDAAAAwwgAAREIAAIBAAABIwgAAQMEAAIjBAAAwwQAAAMEAAFxCAABUwgAAYMIAAEDBAACOQgAAcEIAAJ7CAACAQQAAoEEAAHjCAACgwgAAAEEAADRCAACgwQAAfMIAAKBBAACgwQAAZEIAABDCAAAQQgAAfMIAAPBBAACwQgAAAMIAAADAAABAwQAAgL8AAPDBAACgwQAAAMIAAMDAAADgQQAAAAAAAEjCAAB8wgAAgkIAABhCAACowQAAYEEAALBBAAAoQgAAoEEAANjBAAAQQgAAOMIAAKBBAABgwQAAwMEAAIBCAADYQQAAYMEAAIDBAABAwgAA4MAAADTCAABQQQAA4MEAAETCAABEQgAAAMEAADBBAABQwQAAoEEAAGDCAAAAQAAA6MEAANDBAAC4QQAAqEEAAAzCAABYQgAABMIAADTCAACIwgAAKEIAABRCAACOQgAAUMEAAEDBAADIQQAA0MEAABDBAAAQwQAAdMIAAKDAAABUwgAAAMAAAEDBAABMwgAAtsIAAADCAADQwQAAsEEAAFxCAABYwgAAQMAAAFTCAADYwQAAgEAAAHjCAAAEQgAAIMEAAABBAACowQAA4MEAAKhBAAAAQQAAiEEAAABCAAAEQgAAbEIAAABBAACKQgAADEIAALjBAADIwQAAoEEAANjBAAAEQgAAIMEAAEjCAAAEQgAAiEEAAADAAAAYwgAAwMAAAHBBAAAwwQAACMIAACDBAABswgAA2EEAAIDBAAAgQSAAOBNACUh1UAEqjwIQABqAAgAA2D0AAEy-AAD4PQAALD4AAIi9AADIvQAAML0AABO_AABEvgAAqL0AAIY-AAAcvgAAqL0AAFQ-AAAcvgAAiD0AALI-AAC4PQAAPD4AAMY-AAB_PwAAqD0AAHA9AABwvQAAbL4AAKq-AADgPAAAhr4AAOC8AACyPgAAsj4AADA9AACYPQAATD4AAHw-AAB8PgAA-D0AACy-AAAsvgAAoDwAALi9AABsvgAA-L0AAGS-AABUvgAA2L0AAIg9AABkvgAAqL0AALK-AADIPQAAgDsAAFA9AABQvQAAjj4AAKC8AAAtPwAALL4AAAQ-AACSPgAAPL4AADw-AADoPQAAFD4gADgTQAlIfFABKo8CEAEagAIAANg9AAD4vQAAbL4AACm_AADIvQAAmD0AAHQ-AADIPQAAQDwAAEC8AACqvgAAZL4AAKC8AADKvgAAUL0AAIC7AABQPQAAEz8AADy-AACGPgAAFL4AAIC7AACIvQAAPD4AABC9AACgvAAAFL4AAHC9AADYPQAAJL4AADC9AAAcPgAAiD0AAIK-AACevgAAoDwAAKo-AACIvQAADL4AABw-AADoPQAAmL0AAPi9AACAuwAA-D0AAOA8AAB_vwAA-L0AAJi9AADoPQAAHD4AADS-AABQPQAAyL0AAEA8AACIPQAAoLwAAJg9AADYvQAAVD4AACQ-AACAOwAAhr4AAIC7IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=zufiEwshKmc","parent-reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-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"},"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":"9","reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D5TtEBXBNYfo","linkTemplate":"/video/preview/13888288001487079840?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-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\":\"ErADChMzNjYzNzM5NzgxNjUyOTM2MzY3ChQxNjk3NTM4MzkxMjEyODMxNjE1OQoTNjY3ODMyNjQxNjA4MTQyNDU5OQoTMzgwNzgwODQ0ODExMjMwMzMxMwoUMTUwMzkxNjIzMjczNjM4MjQwNjEKFDExMjczNTg1Mzg5NTEzMzUzNTA3ChQxNTI4NDI0NTQwMTgwODc5ODU4OAoTMjgzMzg2MTI0NjMxNzc1MTAxMwoUMTM4ODgyODgwMDE0ODcwNzk4NDAKFDEzMjU3MTY3ODIwODYyNzQxNjU3ChM4NDc1NzkyNzk2NTA3NjU4Mjg1ChQxNzIyNDE3MzI0MjYwMzYxMDMwNgoTNTQ1MTY0NjgzODEyMjQzNDAyOQoUMTgzODczNDQ3NTE5ODQ4MDYwNjcKEzI2MDMzOTExOTc1MDg0NDY3NDYKFDE4MDU1MTYwODY3ODk0OTU5NzczChQxMDY5NjU2OTU2NjQ0NjA2NzI1OAoUMTgwNDQ1ODc2ODAyMjkyNTk5ODMKEzc2MDUxNDEzMTk4Njc0OTE3MDAKFDEyMjAzOTc3MzQwMjI1NTUwNDQ2GhYKFDEzODg4Mjg4MDAxNDg3MDc5ODQwWhQxMzg4ODI4ODAwMTQ4NzA3OTg0MGq1DxIBMBgAIkQaMAAKKWhod2FlcGN4bnp3bGlubWhoVUNzZzBPc1Z6enpTcEM4d0dpTmFiOTB3EgIAESoQwg8PGg8_E78BggQkAYAEKyqLARABGniB9_kE-_wEAPQEB_cEAQABCwD7-vcAAAD8Bfr9BgT-APoFBwT5AQAAAvT79P8AAAADAfkF8_4BAAIIAQ8DAAAAG_ACAfsAAAAI8Pb5AAEAAPoL-gX4AQAAAAUI_v8AAAD6_f4DAQAAAAcO_fgBAAAAC-39CgEAAAAgAC2W4N07OBNACUhOUAIqhAIQABrwAXY-Jf_l4N0CkRz7AMf_ywCO9DH-2APvALsCEgCTEgr_GPYWAPk--P8sIRv_geHeAzP2M_8XCPD_uwdN_SgiGv_w--YBzekXAlDt5gBB_9z_EAsk_wz6DQDi2Tb_TCrMABcY2v78MTMAkd0KBP8ODAfTrhUGStgKBuL3DAQHCvj_9uf__T5O_QDe4xIBDx78_wLT8QMWHfn98d3lB_8yAwcW-usLQdwfATj2B_H14O_58SUQCgi-CPLZGvDz6uMQ95jXC_znFezyGUIHAzMM7gn8pAYJAFnxAAHr7g8b_xQK9wz4_ekA7ush8gUX59ga9SAALb358Do4E0AJSGFQAipzEAAaYA0DABTfJCbnPVfpw_L1A9nG9rMc-CX_2uv_9Qvb_QTi06b4FwDnwx_xpAAAABbuIC7zAAl1I7clJr8wK_3E_hxCf9_wIdLlFgwbuiXIMyO-CTYiOgD-QsggKd3iTOg80iAALfPEGDs4E0AJSG9QAiqvBhAMGqAGAACYQQAAQEAAAGRCAAAAAAAA0MEAANBBAAAQQgAAQEEAAJTCAADgwQAAdEIAAIBAAAAcwgAAiEEAAFBCAABAQQAA8MEAADTCAADQwgAAoEAAAChCAACOwgAAyEEAAFBCAADAwAAALEIAADTCAADAQQAAmEEAAGBBAACAwAAAgkIAAJrCAACwQQAAqMEAABzCAACgwQAAjkIAAARCAACYwQAAEMIAACBBAACgQAAAYEIAANjBAACAQAAAcEEAAADCAACYQQAAQEAAALDBAADowQAA2EEAADDBAAAkQgAAIEEAABjCAAD4wQAAMEIAAKjBAABAwQAAAMEAAFDBAAAwwgAAqEIAAIBBAAD4QQAAREIAAIBAAACAwQAAkEIAAFhCAABQQgAAJEIAACDBAADCwgAAmMIAAPBBAADAQQAAIMIAANjBAACqQgAAIEEAADjCAAAYwgAA8EEAAJZCAADAwQAAgkIAADBBAAD4wQAA0EEAAEDBAACWwgAAEMEAAHzCAABwwQAAPEIAANjBAACIQgAAIMEAAMDAAAAIQgAAYMIAAOjBAAAQQQAA8MEAABDBAACYQQAAsEEAADxCAAA8wgAA0MEAABxCAAAQwQAA-EEAAATCAADIQQAAIMIAAMDCAABAwAAAUMEAAMDBAACIwQAAoEAAAIBAAABAwAAATMIAAGBBAAC4wQAAkMEAAAzCAAAwwgAAAEAAADxCAACQQQAAuEEAAIxCAADgQQAAhsIAAIA_AABIwgAAgEAAALDBAAB0QgAAHMIAADzCAADQQQAAoMAAAPhBAACIQQAAHMIAAIhBAABEwgAAoMEAACTCAAAQwgAA-MEAALDBAABMQgAAPMIAABRCAACwwQAAgL8AAARCAADAQAAAmEEAAHxCAAC2QgAA6MEAAJLCAACiQgAA8MEAAFzCAAAMwgAAMMEAAOjBAAAcwgAAEMEAAAxCAACwQQAA4EAAAKrCAAAcwgAANEIAAKBCAADQwQAAgEIAAADAAACgwAAAssIAALhBAAAAQAAAaEIAAAjCAABQQQAAAEAAADzCAAAcwgAAPMIgADgTQAlIdVABKo8CEAAagAIAABQ-AACWvgAAML0AAOg9AAA8vgAAgDsAACw-AAATvwAA0r4AAHy-AADgPAAAtr4AAOC8AADIPQAAnr4AAFC9AADYPQAAmD0AACw-AADaPgAAfz8AALg9AAAwPQAAir4AABy-AAB8vgAAQDwAAIa-AACgvAAAiD0AAN4-AACgvAAAQDwAADQ-AABMPgAAPD4AAFQ-AACOvgAA4r4AAMg9AADqvgAA4DwAAHC9AADYvQAAPL4AACy-AADgPAAANL4AAOA8AAAcvgAA2L0AAFS-AAAwPQAA4DwAANI-AACgvAAAFT8AAOA8AABQPQAAZD4AABC9AACIPQAA6D0AAIY-IAA4E0AJSHxQASqPAhABGoACAADIPQAAUD0AAIK-AAA5vwAAir4AADA9AAAbPwAAqD0AAKi9AAC4PQAAUL0AAIK-AAAMvgAAqr4AABy-AABQvQAAML0AAAc_AACgPAAA3j4AAMi9AADIvQAAfL4AAOg9AAAQvQAAxr4AAIg9AACIPQAAcD0AACS-AADgPAAAcD0AANi9AABQvQAARL4AALK-AADiPgAAUL0AALK-AACePgAA-D0AADy-AAC4vQAA2D0AALg9AABsPgAAf78AACy-AADovQAATD4AADQ-AAAcPgAAQDwAAIq-AABwPQAAuD0AANi9AACuPgAAZD4AADQ-AACCPgAAZD4AAJ6-AACgvCAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=5TtEBXBNYfo","parent-reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-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"},"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":"10","reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DJX6f-WMpHTQ","linkTemplate":"/video/preview/13257167820862741657?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-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\":\"ErADChMzNjYzNzM5NzgxNjUyOTM2MzY3ChQxNjk3NTM4MzkxMjEyODMxNjE1OQoTNjY3ODMyNjQxNjA4MTQyNDU5OQoTMzgwNzgwODQ0ODExMjMwMzMxMwoUMTUwMzkxNjIzMjczNjM4MjQwNjEKFDExMjczNTg1Mzg5NTEzMzUzNTA3ChQxNTI4NDI0NTQwMTgwODc5ODU4OAoTMjgzMzg2MTI0NjMxNzc1MTAxMwoUMTM4ODgyODgwMDE0ODcwNzk4NDAKFDEzMjU3MTY3ODIwODYyNzQxNjU3ChM4NDc1NzkyNzk2NTA3NjU4Mjg1ChQxNzIyNDE3MzI0MjYwMzYxMDMwNgoTNTQ1MTY0NjgzODEyMjQzNDAyOQoUMTgzODczNDQ3NTE5ODQ4MDYwNjcKEzI2MDMzOTExOTc1MDg0NDY3NDYKFDE4MDU1MTYwODY3ODk0OTU5NzczChQxMDY5NjU2OTU2NjQ0NjA2NzI1OAoUMTgwNDQ1ODc2ODAyMjkyNTk5ODMKEzc2MDUxNDEzMTk4Njc0OTE3MDAKFDEyMjAzOTc3MzQwMjI1NTUwNDQ2GhYKFDEzMjU3MTY3ODIwODYyNzQxNjU3WhQxMzI1NzE2NzgyMDg2Mjc0MTY1N2qIFxIBMBgAIkUaMQAKKmhobXh5Z3BlZWVtYXhpZ2RoaFVDV05vVHZlZzE3R3lnQ2NTUTY3X3pKURICABIqEMIPDxoPPxOBBoIEJAGABCsqiwEQARp4gQsF8_0H-AAEAAUIAQn8Ah8GEvz0AwMA4QcIAvb8AgD0FQgD_wAAAOv9_vMIAAAABQrzD_39AQARAfb7BAAAAA32_u0AAAAAEAT3_v4BAADx8ff0AgAAAAL9ERIAAAAA8hIOCP4AAAAN-_3vAQAAAAXjAPEBAAAAIAAtR52_OzgTQAlITlACKoQCEAAa8AFG7OX-CgkVBOYC-gDvCeIBgfD7_xQP9QDo_Q8AwA3u_-r59gDlAhgBBRIc_9kP9wAE-fMAKhoHAAMA9wABEAcAHPIEAB0LEAEX8gIACAj2_wQZBQAy-w4AEu8IABYS1gAg5fX_xvHp_8f78QL_AyAACQYfAyoJ7APoLRYA9x0QA-7z-gXvJOr90v_4-wr5_foT9tsBBQnrAO7-6APzIA4F6vMQAA3l-AISBgMDB_MC89gJE_gQCwcD_BcAASMoCP7z-P4FBAj9_-vx-fQq7PP-AfgSCOTgAgoDCvYCEen8_OwKDfoAHAED8PP6_Bga-vcgAC2Q-k47OBNACUhhUAIqzwcQABrAB_rvAb-BG287_tJivY5vVL3t8xS8z1rbPObEortOE5G8ObStvIhGJz4JxGs8DYQpPZfHqr4Tx-w7vhGdvDsZbD6uDOo8gowlPCtgnL27Hta8Tl5EvRUcTr6sTcg8NZcfOz6xjryVlCA8i8JOPf8hPT7Oif08ThBQPGJRLL1kUqg8qJZjvOFeGT138aO8kb4kvEpGHj5f-WI8QN0gPeYDQj72PU-9RwEBu0Ecxb1AKPk8f116O4VYkr2MAWi9dD9MPMkibT1FhNo7JTMoPAWzqL1HtUO9dmMrvanEkD0RSJM8x0SxOzIf0LwWS7E903aCPIKiQ7x1cqu90goAO4Z3hL1HVC0935m7ux4ZOz5BpLo7qxBFvA_pHL3N0089iXUPPfmE7Dz2lQc9sZuAuz0mVz13EaY8I7YAPUYotrrO4C-9oTWaPBzu4z2uQq88nEzBvICANTzc8QY9JQequ_zgHD2540g9arvsuypZib0ldDi7prXMug-22D1co2-9sO2IPPvLjj1A6Xq8VddGPCdYkDpuPbk9JPAHPMg0RD1mF5c9PpcpvBjmqbwuYHi9BMCCvKgyMT3_d8Q87kTFu8OqsL1lwzq96CfBu0Kmxj0dMJk8g5zeOhPojT3sBkA9zSAAPGLrAz0llN69Uj_SOTobt734MrS6FDlpO8iAh7yd8qi8PJj7Oz1rTT1guAm9VcK1uavJeLzXcwo8uZGuO1T6nj2a6Di9eFpPOJvc1LzzTSS9_lwXO5TLVb3eVW89KwGMOt65pj07aBu92hnHORXKQjzKsWs9m8zqOQIPCjwoHc84EeNIOptw8TuARDi9tsNpOH2hNj116xA9BP2SOXopZr1zew69UcPiOC91CDxPOja80Sw1uS3MYj2-bJo7mbvJOLplarvX3by87gHKuNXXqTqfGx89n46gt2iaarsQlgG-hiepuDJPeDy09PK8Z6-ZuEQOG7wMm9y8ZWCYN6vMCjrLqym9CVXCtxiaRrwg8xy99aDyN-WOSDwJjiY86VuEuCKHjLsa2gS7CKMluHZTar1Xz8m9XDpquJ7H8jwGblg9bJR2uN9so738LQm8zX2qtmFM_rvUmLW9M7SCNkVeW72KrBi79MhquMfO47uyzrK9ijp8t4CgVz1Y2Yi9TsmFuMvYMD1xLLm7SqmOOLDfuDwOeiA9BXW4N7xXTT0FHJ28BjL0tvO3gz1Y8y08sQlWuFUYpj1tC8U9g8fnOInwz72TUbU97XjxuOcjn703wHE87WSXt89r7LtoUnG7dlnRNyAAOBNACUhtUAEqcxAAGmAPCAAl6SOs4zxj6gLuzTP3Hh7RCsws_yT___Ee8_DwA8qJ8iD_INET354AAAAjAeL39QD9f_ig4wzJSSe339gGJzcIJCvb_B0DF7JmDNjLFw4vFDkAMA2-uRPl5jsT_BcgAC1_hRk7OBNACUhvUAIqrwYQDBqgBgAAaMIAADxCAADgQAAAoEAAAChCAADYQQAASEIAAJhBAADAwgAAyEEAAOhBAABAwQAAsMEAAIhBAAAwQQAAMMIAAODBAAD4wQAANMIAABzCAADYQQAAaMIAAGDBAAA0QgAAwEAAAHzCAADgQAAA4MAAAL5CAACgwQAAkMEAAFBBAADOwgAAjEIAAJhBAABQwgAA4MEAANBBAACOQgAAeEIAABBBAACAwQAAOEIAAEDAAACAQAAAcMIAAGxCAABQwQAAPEIAAFjCAACiwgAADMIAAJhBAADAwQAAREIAADxCAACSwgAAmMEAACBBAADAQAAAHEIAABDBAAAMwgAAusIAABxCAAAEwgAAGEIAAEDBAACAwAAAEMIAABhCAADYQQAA4EAAAADAAABAQQAAWEIAAIjBAAAcQgAAgEAAAIC_AACSwgAAVEIAAOjBAAAAwQAA4EAAAFDBAAAowgAAjEIAALhBAAAUQgAAiMEAAJhBAACgwQAAMMIAAMDAAADQQQAA6MEAAGjCAACAQAAAYMEAAPjBAADQQQAAZEIAACxCAABwwgAAJEIAABTCAADgQAAAgEAAAGxCAACgQQAAEEEAABDBAACAwAAAmEEAALhBAAAgQgAA2MEAAFhCAABAwQAAgEAAAK7CAAAYQgAAqsIAAAxCAACYQQAAJEIAAKDAAABYwgAAYEEAAKDBAADAwQAAaEIAAKDBAABgQQAAkEEAAIA_AADAwAAAgD8AAKDAAAAQQQAAoEEAAJhBAADwwQAAlEIAAEBAAAA8wgAAEEIAAPBBAAAQwQAAoMAAAOBBAACgQAAASMIAAABAAACEwgAAQMAAAEDCAACIQQAAIEEAAOBAAABcQgAARMIAAIBAAADgQAAAVMIAAFBBAAAEwgAA2EEAABDCAAAMwgAADEIAAABAAACowQAAAMEAAIpCAACYQgAAEMEAAMDBAADAQgAAjsIAAMDBAAAMwgAAfMIAAMBBAACAQAAA9sIAAKJCAAB4QgAAmEEAAFRCAAAgQQAAGMIAAIBAAABowgAAgD8AAIDCAADgQAAAiMEAAFDBIAA4E0AJSHVQASqPAhAAGoACAADYvQAAgLsAAMg9AAAcPgAAiL0AAES-AABAPAAAE78AAOa-AACIPQAAQDwAAOC8AAAMvgAAuD0AAAS-AACYvQAAyD0AANg9AACePgAA1j4AAH8_AADIPQAAVL4AAKC8AADgvAAAiD0AAOA8AADWvgAAFL4AAL4-AAA8PgAAyD0AAKg9AAA0PgAAyD0AAFQ-AAB0PgAAXL4AADy-AAC6vgAAmD0AABC9AABUvgAARL4AAJg9AAA0PgAAuD0AAFy-AABAvAAAfL4AAHw-AACgPAAAPD4AAJ6-AABQvQAA4LwAAEE_AABwvQAArj4AAP4-AAD4vQAAyD0AAIi9AACIPSAAOBNACUh8UAEqjwIQARqAAgAA-L0AAIY-AAAUvgAAG78AABy-AAA8PgAAND4AAJg9AACAuwAAfD4AAJa-AAAcvgAAED0AAHS-AAAQvQAAEL0AAFA9AAArPwAAmL0AAJI-AAAkvgAADL4AALg9AAAwPQAAmL0AAJg9AACYvQAAUD0AAFC9AACovQAAoLwAAKA8AACovQAA2L0AACS-AAAwvQAApj4AAFQ-AABEvgAA2L0AAEA8AACAOwAA4DwAABA9AACCPgAA2D0AAH-_AAAwvQAAJL4AAII-AAC-PgAAFL4AAFQ-AABQPQAA4LwAABA9AACgvAAAoLwAABC9AACoPQAAgj4AAEw-AAC4vQAALL4gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=JX6f-WMpHTQ","parent-reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-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"},"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":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DvRxJhpSnP_g","linkTemplate":"/video/preview/8475792796507658285?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-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\":\"ErADChMzNjYzNzM5NzgxNjUyOTM2MzY3ChQxNjk3NTM4MzkxMjEyODMxNjE1OQoTNjY3ODMyNjQxNjA4MTQyNDU5OQoTMzgwNzgwODQ0ODExMjMwMzMxMwoUMTUwMzkxNjIzMjczNjM4MjQwNjEKFDExMjczNTg1Mzg5NTEzMzUzNTA3ChQxNTI4NDI0NTQwMTgwODc5ODU4OAoTMjgzMzg2MTI0NjMxNzc1MTAxMwoUMTM4ODgyODgwMDE0ODcwNzk4NDAKFDEzMjU3MTY3ODIwODYyNzQxNjU3ChM4NDc1NzkyNzk2NTA3NjU4Mjg1ChQxNzIyNDE3MzI0MjYwMzYxMDMwNgoTNTQ1MTY0NjgzODEyMjQzNDAyOQoUMTgzODczNDQ3NTE5ODQ4MDYwNjcKEzI2MDMzOTExOTc1MDg0NDY3NDYKFDE4MDU1MTYwODY3ODk0OTU5NzczChQxMDY5NjU2OTU2NjQ0NjA2NzI1OAoUMTgwNDQ1ODc2ODAyMjkyNTk5ODMKEzc2MDUxNDEzMTk4Njc0OTE3MDAKFDEyMjAzOTc3MzQwMjI1NTUwNDQ2GhUKEzg0NzU3OTI3OTY1MDc2NTgyODVaEzg0NzU3OTI3OTY1MDc2NTgyODVqtQ8SATAYACJEGjAACiloaHp4emdmcHR6emN6dXhoaFVDSGQwZUdfUlh0ekRKUWpvdHE0WkdVQRICABEqEMIPDxoPPxOJAYIEJAGABCsqiwEQARp4gQMC8wP9AwDz9vUCBQP_AfoD_wH5_f0A8QII8gMBAAAB_g4I_wAAAOoD-gD3AAAA9wD1Avv_AAANAwH-BAAAABIDEQD-AAAABAT-9P8BAAD2__wMBP8AAP749wb_AAAAAQkL-f7_AAD-_f79AAAAAAr1BQwAAAAAIAAtdUveOzgTQAlITlACKoQCEAAa8AF_DC8EvPTt_tAPFABCCN4A4fHvAOf_BQH8AAMAtwwH_90YBQADDAIAAwAg_5T0_wEY5ycAMfT3AMnlEwAoEPwB8Q4LAOf_CwIzAP0AJNkE_xIJDQD5-iEA7OYk_wsV9P4C8uP-AQ8p_-D2DQL0EP4B-tIJAxnw9AD5-Rr_5QIJAfnv__4UGvsD1usY__4NAwMdzuUBBRYIBQcCAAQPAvYGDRby_kTiFfoP7_f_9PX5-PMQDvzU_A4D4gfp_wzsAAOuBA8E5QgDB_o1_ggRCfYFI8gB_AQY_gDwDfcC_QP8B_gIAAf77fkAFvcDD_zNEAIgAC3RjTM7OBNACUhhUAIqcxAAGmAG7ABEwTEO5BpG1cLk4wrX7OHcIcwC_9H4__kW0eYE7eGd4AUA29Uu1JwAAAAMH_8REAAhe-6NICjjYiAFtQ4IKH8e_Q7X7QNCFNcjETLj4QoXRx8A9hPH-1LEtTvoDPQgAC2JEBc7OBNACUhvUAIqrwYQDBqgBgAAgMAAAADAAAAQQgAAgMEAAAjCAACCQgAAkEEAADDBAABgwQAAkEEAAHBBAABYQgAAUMIAADDBAAC4QQAAoEEAADDCAABQQQAABEIAAHTCAAAMQgAAXMIAABjCAACAQAAAYMEAABhCAADgwQAAcMIAAFhCAADIQQAAFEIAAABCAAAwQQAAjkIAADDCAAD4QQAAQEEAAFBBAACgQAAAOMIAAHzCAACowQAAksIAAPhBAABAQAAAAEEAAEDCAAD4wQAAoEAAACBBAABcwgAAMMEAABjCAABAQQAAqsIAAEjCAAC2wgAAEMEAAAAAAADgQQAARMIAAIjBAAAgwgAAAMEAAIBAAABQQgAAQEEAAHDBAAAkwgAABEIAAKDAAAAoQgAAwEAAAMRCAAAAwgAAqEEAAAxCAACgwAAAEMEAABDBAAAQwgAAiEEAACDBAAAgwQAAJEIAALhBAABwwgAAIMEAAIhCAAAkwgAAfMIAAAxCAADAQAAAQEAAAODAAADIwQAAFEIAAPhBAAD4QQAAwEAAAMDAAAAgwQAAOEIAAODBAAAwwQAAkMEAAEDAAAD4wQAAuMIAAIBBAAAAQgAAQEEAAMjBAADAwQAAtkIAAARCAAAQwgAAEMEAAHDBAABowgAAbMIAAHjCAAAQQQAAiMIAAOjBAADIQQAAYMEAABDBAACQwQAAqMIAALjBAAAcwgAAgD8AAHRCAABUQgAAgL8AADhCAACwQQAAIMIAAKLCAAAgQQAAHEIAAEDBAACQQQAAIMEAAFDBAAAQQgAAtEIAAFDCAADoQQAAmMEAAIBAAAA4QgAAwMEAALDBAAC4QQAA8EEAADTCAAAYwgAAIMEAAETCAACAPwAAYMEAAADBAACYQQAAOMIAAMhBAADoQQAAqEIAAADCAACkwgAAsMEAAFBBAAAMQgAAPMIAADhCAACAwQAA8MEAACBBAAB4QgAAiEEAAMrCAABwwQAAAEAAAGBBAAAwQgAAHMIAAEhCAACYQQAAZMIAALjBAACoQgAA8MEAAHDBAADoQQAAoEEAAGDCAADgwQAAdMIAAGTCIAA4E0AJSHVQASqPAhAAGoACAACIvQAALL4AAI4-AACWPgAAHL4AAIa-AAAQvQAAbL4AALq-AABEvgAAcD0AADw-AACYPQAAiD0AAKA8AAA0vgAAdD4AAEC8AABUPgAAyj4AAH8_AADoPQAA2D0AADC9AABsvgAA4LwAALi9AAC4vQAAuL0AAGQ-AADIPQAAmj4AABS-AABcPgAAoDwAAJg9AAC4PQAAuL0AAGS-AACgvAAAUD0AAOC8AACoPQAAUL0AAKi9AAAwvQAAJD4AAIK-AACoPQAAdL4AAEA8AACmPgAA4DwAAIg9AACYPQAAML0AAPY-AABQvQAALD4AALo-AAD4vQAAdL4AAOA8AAAQPSAAOBNACUh8UAEqjwIQARqAAgAA6L0AANi9AACgvAAAf78AAFy-AACovQAAoDwAAKC8AACIPQAAkj4AAEy-AAA8vgAA2L0AAI6-AADIvQAAQLwAAOi9AABtPwAAdD4AALI-AABMvgAANL4AAOC8AAA0PgAAcL0AABw-AADYPQAAFD4AACQ-AABAvAAAuL0AAOC8AABMPgAA-r4AAAy-AABAvAAARD4AADy-AABMvgAAgj4AADC9AADgvAAAir4AAIC7AAAQPQAARL4AAHe_AABcvgAABL4AAPg9AABQvQAAdL4AADS-AACYvQAAdD4AABA9AABQvQAAtj4AAFC9AACIvQAA6j4AAPg9AAAQvQAA2L0gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=vRxJhpSnP_g","parent-reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-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"},"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":"13","reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D0ioBpqDGOf0","linkTemplate":"/video/preview/17224173242603610306?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-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\":\"ErADChMzNjYzNzM5NzgxNjUyOTM2MzY3ChQxNjk3NTM4MzkxMjEyODMxNjE1OQoTNjY3ODMyNjQxNjA4MTQyNDU5OQoTMzgwNzgwODQ0ODExMjMwMzMxMwoUMTUwMzkxNjIzMjczNjM4MjQwNjEKFDExMjczNTg1Mzg5NTEzMzUzNTA3ChQxNTI4NDI0NTQwMTgwODc5ODU4OAoTMjgzMzg2MTI0NjMxNzc1MTAxMwoUMTM4ODgyODgwMDE0ODcwNzk4NDAKFDEzMjU3MTY3ODIwODYyNzQxNjU3ChM4NDc1NzkyNzk2NTA3NjU4Mjg1ChQxNzIyNDE3MzI0MjYwMzYxMDMwNgoTNTQ1MTY0NjgzODEyMjQzNDAyOQoUMTgzODczNDQ3NTE5ODQ4MDYwNjcKEzI2MDMzOTExOTc1MDg0NDY3NDYKFDE4MDU1MTYwODY3ODk0OTU5NzczChQxMDY5NjU2OTU2NjQ0NjA2NzI1OAoUMTgwNDQ1ODc2ODAyMjkyNTk5ODMKEzc2MDUxNDEzMTk4Njc0OTE3MDAKFDEyMjAzOTc3MzQwMjI1NTUwNDQ2GhYKFDE3MjI0MTczMjQyNjAzNjEwMzA2WhQxNzIyNDE3MzI0MjYwMzYxMDMwNmqSFxIBMBgAIkQaMAAKKWhobXRicXdiaHdjd2Frd2hoVUNTU0EtMV9NYklXM29OdURvQkZXUml3EgIAESoQwg8PGg8_E9UVggQkAYAEKyqLARABGniB-BL29gvx_wTz-QsIC_sDHwEHDAkBAQDvCwr69AL_AAsZCP4CAQAA2__s-QAAAAD5-_H48_4BABkD-ggFAAAAGQ8AAf4AAAAcB_P4_gEAAAH__gPpBQABEO73EP8AAADsGP_5____AAcPCPsAAAAAGOwIAwABAAAgAC38HK87OBNACUhOUAIqhAIQABrwAVkO8v72FuICtRvR__Ll3wGBAAL_ORzkANod_QHH5vUA3-0k_9zgMP7VCyUAtv7qAewF7_8nK_MAFe4O__4H7AAd8_IAKAQ2ADoM8ADy7QT-D_0Q_x7rKwIn6xkADvPe_xMAKP3F_eoCyPrSAf8UCv4g4BICGPf5_Or6CAMcHRz_Hgb3_d4sCATq3BL82hAJBAr92wAPDNb9_fv7BwQOFQT3-gwGJ-fZ_R4c-f0I8APwCgglABDZ9P7cGA_8FiL7BO3l8_gb1v_9-PkC9QsO5vj7BxwC78gIARrV_v70-v7s8RQJ_-saAQD08P0CGADx7yAALb9PJDs4E0AJSGFQAirPBxAAGsAHiQnyvu-ujrw9FtG80rqnvbhAIj1VZYS87X7VvTvqg7znlFu8tTUyPr9rSz3xaP48mx2hvkahm7zIZ6g8_tWLPiDEnzyGqTE7mGPevCahurt201e9Z2IKvlVh_TwwQj29xfhVvJdQhr2QQyk9QbYcPsEwqjyNSXs7pbUOvSfJKTxd3AY877K6PADVCb0ae4A8J_c7Pl0kAz0nK6s84A4UPuH3BT0ECtA8h4RUvZIkaD2_4dM6umetvUFSGr2Z2UI8H2caPYZm6DuzPJO6U9DtvR8yQL2R1568f-7VPIDgAD3KoWo8gaXEvGHLZj2RtEA8nxHXO_m1er32Tp67-aAHvvQamz0vgYA73bQZPj0W0TwDYPq7HtKpvRbyzjpeMqk89VIMPaAPYLz8T8Q7ZJPcPW79TzxnMcw8K8o7PYG2sLzQolK8Cw4PPlxrFjyq7wC88SoMPHNuTj0gNPG7ssuBPGoEgT3JDIq8GxRoveaszzzWXIm8StxZPfoRmrzrE8o8RAhePXlycrwgJDC8S4ORPett2DxmCE87zcyMvD4mEj0Ngpi86xPKPAnmQzxuQqu83BHOPfGT9jrK_FM52ubmvUthOTwhVTm8wz6bPROPNb0lJBI8z3XQvJbGND3UP847nSFmvJQWDr2TLR68Ohu3vfgytLoUOWk7qMwoPf_-HLv_4Ko7KB4BPVTYxr0HS5i5y3i1vUzAVDwYSVS6GLIKPmWew7sY0YI4QMElvSnWlL2IP5c5CRBvvXDIK7w0PAs7oZ3TPVGBmL2XnVE5APLUvIaBHT3tJ524rm7rvKbwID0Llp657Baeu-PQET01X9m5sqs_va_IVL1zrj63Bz7rvA9YQ715vQK6ebcovbD0qzyhe7U4v6I2PPpSibwJgiS59ADxuw08Er2eLaw2FkBCPF7aED3ceYe3GGFFPa2h9L3BA8q4WHIVvcKSIb0R6Kw55s2hPF4lRLxeYxc5_FbLPQgXPL0D7gM5li-OPdcaJbzMxo84bhgFvXlslbyd4VG3UyWlOwJy0zttJFa4kcQhvYsMrL3IJnw4KFgtPasPij1WFJq41YogvQOzwryeYP81PGrMvPKlZr369-W3m69tPTPinbxX5ps3QUfrvWxeVbzUEay3O9qdPVlRQ71xldO4P6hLPbNdYb2kEHQ1Ed5DvbINXD2jahY48KeWPXZjizxbeam00zOIPYUL-bxAeiS4ipZXPRBY-T2NF0A4xb-ZvXM4ST1dTuO44S2LvZt_yzrmAAo4wHJpvfg7r7xQuLS3IAA4E0AJSG1QASpzEAAaYCX2ABjYCOz4Fl4N6_bBHPMQ-8ggzCL_9uP_Ayr5LvDxzKMX-v8JxQT5pQAAACod9Ci0AAd_9tLl0cI7_bS8CQorawj9Ha3zYe0XyU8PBAYI6egkQwAkELXqHszvSSMTJiAALdNmGzs4E0AJSG9QAiqvBhAMGqAGAABgQQAAlkIAAJBCAADgwAAAoEAAAGxCAACsQgAA6EEAACzCAAAgwgAAkMEAAEBCAACYwQAAUEEAABBBAABAwAAA2MEAALLCAACAvwAARMIAABxCAABUwgAAUEEAABRCAACSQgAAEMEAANDBAADYQQAAWEIAAPhBAAAAQQAAlEIAALDCAACgwQAAVMIAAMDBAAA8QgAAQEIAABBCAABAQQAAgL8AAChCAADgQAAAMEIAAATCAAAAAAAACEIAAIDBAACcQgAA2EEAAFTCAABUwgAAiMEAAGDBAACAQgAAgEAAAATCAABUwgAAkEEAABBCAADwQQAA6MEAAFDCAACgwAAAMEEAANDBAACoQQAAgMEAAADAAAAQwQAAtEIAACxCAADQQQAAiEEAAKDBAACAPwAACMIAAIhBAABsQgAAYEEAAMDBAABUQgAAYEEAAJBBAAC4QQAAuMEAAOBBAAAIQgAA3EIAAAAAAAB0QgAAhEIAAIjCAACewgAAcMEAAGzCAABAwAAADMIAAODAAADQQQAANMIAAKBAAACIQQAAIMEAAKjBAAAYwgAAJMIAACDBAAAAwQAAfEIAADBCAABsQgAAkEEAAPpCAAAwQQAAgEAAABzCAACIQQAAmMEAACTCAABAQAAAnMIAABRCAAB0wgAAnMIAAATCAACgQgAAQEAAAETCAACAvwAA4MAAAFDBAACAwAAAQMAAAEBBAACAwAAAVEIAAKDAAAAIQgAAiMEAAEDAAACYQQAAcMEAACTCAABAQQAAEEIAADzCAAAoQgAA4EAAAMBAAACAwAAAcEEAAGBBAAAAQQAAwEEAAMDBAAAwwgAA0MEAABjCAAAQQgAAQMEAAIRCAADYwQAAgD8AALjBAAAAwAAAAEAAAL5CAAAMQgAAYEEAAOBBAADYQQAA8MEAAIrCAABAwAAAyEEAAFBCAADAwQAAgsIAAFxCAACewgAAAMIAABDCAADAQAAAXEIAAIhCAAA0wgAAiEEAABxCAAAMQgAAgEAAAOhBAACAQQAAuMEAAODBAACAwQAAjEIAAADBAACIwQAAIMEgADgTQAlIdVABKo8CEAAagAIAABC9AACovQAAjj4AAIi9AAAMvgAA4DwAABA9AACuvgAAir4AAOC8AACAOwAAfL4AAFA9AABwPQAAqL0AANi9AABMPgAAML0AABQ-AADCPgAAfz8AALI-AABwvQAAEL0AACy-AAAcvgAAML0AABA9AAD4vQAAJD4AAIg9AAAQPQAAoDwAAMg9AADovQAATL4AABw-AACYPQAAVL4AABC9AAD4vQAA4DwAABA9AAD4vQAAZL4AADA9AACYPQAAgr4AALg9AAB8vgAA2D0AAII-AACWPgAAFD4AAFC9AAC4vQAACT8AAIC7AADIPQAAvj4AAES-AAAwvQAAiD0AAHA9IAA4E0AJSHxQASqPAhABGoACAAAUvgAA6D0AAKC8AAAHvwAAED0AAEw-AAAUPgAAUD0AABS-AACaPgAAUL0AAAy-AADgvAAA-r4AABy-AAAwPQAAND4AAF0_AADovQAAnj4AAPi9AAAwPQAAiD0AAOC8AAAQvQAADD4AAEy-AAAcPgAAUD0AAEy-AABAPAAADD4AABy-AACWvgAAcD0AAOA8AAC2PgAAiD0AAIK-AAAwvQAAiD0AAIK-AACevgAADL4AAOA8AABkPgAAf78AALa-AAC6vgAAVD4AAIo-AAAQvQAA2D0AADC9AABwPQAAiL0AAHC9AACYPQAAML0AAPg9AAAwPQAAcD0AABw-AABAPCAAOBNACUh8UAEwCTgBSgBSCQgPEJICGAAwAWAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=0ioBpqDGOf0","parent-reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-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"},"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":"14","reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DATsAl_t52xY","linkTemplate":"/video/preview/5451646838122434029?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-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\":\"ErADChMzNjYzNzM5NzgxNjUyOTM2MzY3ChQxNjk3NTM4MzkxMjEyODMxNjE1OQoTNjY3ODMyNjQxNjA4MTQyNDU5OQoTMzgwNzgwODQ0ODExMjMwMzMxMwoUMTUwMzkxNjIzMjczNjM4MjQwNjEKFDExMjczNTg1Mzg5NTEzMzUzNTA3ChQxNTI4NDI0NTQwMTgwODc5ODU4OAoTMjgzMzg2MTI0NjMxNzc1MTAxMwoUMTM4ODgyODgwMDE0ODcwNzk4NDAKFDEzMjU3MTY3ODIwODYyNzQxNjU3ChM4NDc1NzkyNzk2NTA3NjU4Mjg1ChQxNzIyNDE3MzI0MjYwMzYxMDMwNgoTNTQ1MTY0NjgzODEyMjQzNDAyOQoUMTgzODczNDQ3NTE5ODQ4MDYwNjcKEzI2MDMzOTExOTc1MDg0NDY3NDYKFDE4MDU1MTYwODY3ODk0OTU5NzczChQxMDY5NjU2OTU2NjQ0NjA2NzI1OAoUMTgwNDQ1ODc2ODAyMjkyNTk5ODMKEzc2MDUxNDEzMTk4Njc0OTE3MDAKFDEyMjAzOTc3MzQwMjI1NTUwNDQ2GhUKEzU0NTE2NDY4MzgxMjI0MzQwMjlaEzU0NTE2NDY4MzgxMjI0MzQwMjlqiBcSATAYACJFGjEACipoaGJ6b3FvbGNwZnh1c2VjaGhVQzY0MHk0VXZEQWx5YV9XT2o1VTRwZkESAgASKhDCDw8aDz8Tvx2CBCQBgAQrKosBEAEaeIH2Cf71_wEA9fgGCQ4G_AEdAPz-9AMDAOUDBP0J_QIA9QH8AfUAAAABDfr9BQAAAP0OCQn2_gEADQD9A_sAAAD89Qn8-AAAAA31_vP_AQAA9P31A_UCAAAA_wAKAAAAAPoM-AP9AAAA_wcF_QAAAAAI8vkCAAAAACAALUuj0js4E0AJSE5QAiqEAhAAGvABfwfqAsoX6P8Z2-wA6gj3AJYAAf8fEOoAzQT9AKru3_8aF_cB2e74ABMRMADiF_wANvnpAALuEQAe8A7_RwUBAO8XFABX5A4BIhYEABH5-QDt8d3-F-MBAeD37P8KAAD9AhgS_vTx3_4EFusAHPoC__4HDgEd8gAB_u__APYfEQPr5_IAGyP8AO77_PvtFwcAze8LAQH7Cv0C9u7-Bv_4_RD4BgExBOYBCff8Cg3t8_r0Dg38FPf69er0BgXo9e8A_u8FBQXz7gTkDQr3H_QVAPvqEQH09QL_Dv32Bhbw-wn6B_v-AQsA-vwABg7j9ff7IAAtqRREOzgTQAlIYVACKs8HEAAawAf9FgG_WNHVPFS3hru_jX49Hq4QPTQwzbyC4Rw9T3HeOwyAJ7zYizo7G_eBPFNDFr2WXVC-kOzbvIkopjxxcrc-y6upPOgRKD3ZQ0u-Q5J2Oyl_gr1PeJG-ZxVMPanmi7pYwcQ9kZYPPUcagTw7lQI9n0Q6PCe0EztWELM9B-oUO7O8Qb214CW-PaqrvPf8Fb2tf-E8s8W_vMRPLbxg5yY-DdMNvfEe8bzPSZ89hZmRvC6qh7tDEXy9qEcEvZlq_7tp_ig-i13TO0cLKzya77s9q24_PNg7bbw1JuS9KJ0ovZSqxLtmFuE9QbUGPRPWhrzyCO49exTOvceArLyC1Du7bnjwPI4xIDw-6r896LT4PHYKj7fgoD299ZHlPLhvmjzUnjK9sGVDPHrXCzypHp88tU6BvO0PtTvEEDQ9BF7eO2f_TTxyE_e7LLmKPHMyzDy6YxY95PbLPKbVjLtTqb48wauGu-xDh7vieA6-wGr6O1T1-roneBQ9qCMbvXuRPzyz8gk7gcxuPR7GfzxcSmc9xogEvMlIrLv5ujG8iW0BPS2Bb7sxfvU7q200vUx9rDqlE0k9yDKjPe4Lx7trt929Ss8UPY1bMzvnooY8T2WHvDYCEDzPddC8lsY0PdQ_zju_a6e7OsO5PNY1f7z1dpU8Hf8JPMyiyboGMIA8nWtzvRcGk7ubfr89FHf8PPSIKzp_h5K9ssKIvPNRKbsQinc8QEJ-PZN6CbtlDlM9PU5HvXA3Ujv8ie-8YUEwPV1DYLnKCJ48az44vSSJaTmZwIg983bfPMUHirdGUJs9CYbYPJ54QDhEgBi91d7xvIAaKLk0Zac8UwxKO0QXWbm3ss25a84FPM1ssLnGJmM9S9aXvPZvzjmuwAu9pmkrvOY2wzl72qG8WUAVPFBv2bi3RE49qXsDuXu3KLjA8rs8SjscvGtkzjgAVie9WLmhvNqNoTkDRpI9Pc3uPLZH0DhB8QM9cU_Bvdc4ezkScCM9Ap40PKThZTgMKgA99gAnveRMd7guTkG9xW-ru3ozVbjqNo08DBEGvZl-cjemLhS9J-5CPbpoCbeUYDu8EWfNu5pnCjkj0bC8clPDvOMQO7iGqng9tSIAvdovAzhCKEq825N2vEmcFDhJ4aU93HcUPNS2I7mB26g6eKDKOnbHObiE-i-7ACMBvOqjXzcKNZ48GbcnvWlznTc8Rp48JTkFvTjPvLWH01M9_1EFPblQ0ziYk2U7gAvSPZjkD7nDldi8vzpYPHmbbbjUepS9KQnpva3LaDcgADgTQAlIbVABKnMQABpgE-0AFd0gA_IxNeT18vUcBPMm4gfACv_6Df_8NNTy9RzygeoV_xDB-e2pAAAA9f4Z7PQA_3fq4vEKvCMG0sH8KDRaHz79ytj_B-MIF_j88RYEI9o1AAwMoxFIvr0rJy7hIAAtSFwsOzgTQAlIb1ACKq8GEAwaoAYAADRCAABIQgAAKEIAAKrCAACgwQAAPEIAAKpCAABwwQAAVMIAAPDBAACAvwAAEMEAAFDBAABgwQAAuEEAAILCAAAoQgAA4MEAAABCAAAwwQAA0EEAACDBAAAAwQAANEIAAARCAADAQQAAeMIAALjBAAAIQgAAoMEAAFBCAACEQgAAEMEAAJjBAABAwgAANMIAAABCAAA0QgAAgMAAAJpCAACIQQAAqEEAAARCAACAPwAA4MAAABDBAABEQgAAoEEAAP5CAACIwQAAjMIAAJhBAABgQQAABEIAAOBBAACAwAAAisIAABDBAAAMwgAAAAAAABhCAACAPwAAAMIAAMhBAACmQgAAYMIAADDCAAB8wgAAkEEAAKDBAADAQQAA4EEAAHDCAACYwQAAoMAAAKTCAACqwgAAeMIAAOhBAABwQQAAtsIAAPJCAACgwgAAEEIAAKBAAABIQgAAoMEAAJZCAAB0QgAACMIAANBBAACYQgAAHEIAAPDBAACQwQAAssIAAPBBAACAPwAAaEIAAAjCAABgwQAAsEEAAEBBAACQQQAAsMIAAARCAAAQwgAAsEEAAKBAAADAQQAAKEIAAOhBAACgwAAAAAAAAFDBAAAAQQAAsEEAAAAAAADgQQAAkEEAAMDBAABQwgAA-EEAAGDCAABAwgAAwMEAADjCAAAYQgAAyMEAAKjBAACgQgAA4MAAAADCAAAsQgAAyMEAAPDBAACowQAAyMEAALjBAADIwQAAVMIAABRCAABMwgAAiMEAAKjBAACAvwAAiEEAAODBAAAAwQAAIEIAAGDBAACQQQAA4EEAABDCAABgQQAAQMAAAATCAAAAAAAAgL8AAIhBAAC4wQAAkEEAAKDBAADIwQAAMMEAAEDBAAAQwQAAGEIAAPhBAACYwQAAwkIAAATCAAAQwQAAcMEAAPBBAAAgQQAAUEEAANDBAADIwQAAkkIAAGzCAAAQwgAAAEIAABRCAAAoQgAAQMIAAJBBAADIwQAA0EEAABDBAAAUwgAAcEEAADxCAAAAQAAA-EEAAFxCAAAUQgAAmMEAAKDCAACAwCAAOBNACUh1UAEqjwIQABqAAgAAcD0AAIC7AAAMPgAAuD0AAOC8AACoPQAAoDwAAAW_AADOvgAAcD0AAFA9AADovQAAgDsAAOA8AABsvgAAEL0AAMg9AACAOwAA-D0AAOo-AAB_PwAAqD0AAJi9AAA0vgAAZL4AABA9AACYPQAAmL0AAES-AAA8PgAAXD4AAMg9AAAMvgAAPD4AAI4-AADgvAAAFD4AABC9AAAEvgAAgr4AABA9AABUvgAAEL0AAGS-AADgvAAAQDwAADw-AAA0vgAAyL0AAPK-AADYPQAAgLsAAAQ-AAAQPQAAyD0AAHC9AADyPgAAuL0AAKg9AAB0PgAAQLwAAFA9AAAQPQAA4DwgADgTQAlIfFABKo8CEAEagAIAAHS-AADgvAAAZL4AAC-_AABwvQAAbD4AAGw-AACgPAAAmL0AAOA8AACWvgAANL4AAPi9AABkvgAAmD0AADA9AABUPgAAGz8AANi9AADGPgAAor4AAOA8AAAQvQAAHD4AAFC9AAD4vQAAiL0AAKC8AABAPAAAfL4AAEC8AAA0PgAAQLwAACy-AABQvQAAgLsAAIY-AACCPgAAHL4AAIi9AAAwPQAAqL0AADy-AADYvQAAHD4AADA9AAB_vwAAHL4AAFC9AAAUPgAA5j4AAFS-AABAvAAAmD0AAJi9AAC4PQAAgDsAADw-AABwPQAAND4AAIY-AACgPAAABL4AAEA8IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=ATsAl_t52xY","parent-reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-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"},"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":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DhTbI0t7pNtM","linkTemplate":"/video/preview/18387344751984806067?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-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\":\"ErADChMzNjYzNzM5NzgxNjUyOTM2MzY3ChQxNjk3NTM4MzkxMjEyODMxNjE1OQoTNjY3ODMyNjQxNjA4MTQyNDU5OQoTMzgwNzgwODQ0ODExMjMwMzMxMwoUMTUwMzkxNjIzMjczNjM4MjQwNjEKFDExMjczNTg1Mzg5NTEzMzUzNTA3ChQxNTI4NDI0NTQwMTgwODc5ODU4OAoTMjgzMzg2MTI0NjMxNzc1MTAxMwoUMTM4ODgyODgwMDE0ODcwNzk4NDAKFDEzMjU3MTY3ODIwODYyNzQxNjU3ChM4NDc1NzkyNzk2NTA3NjU4Mjg1ChQxNzIyNDE3MzI0MjYwMzYxMDMwNgoTNTQ1MTY0NjgzODEyMjQzNDAyOQoUMTgzODczNDQ3NTE5ODQ4MDYwNjcKEzI2MDMzOTExOTc1MDg0NDY3NDYKFDE4MDU1MTYwODY3ODk0OTU5NzczChQxMDY5NjU2OTU2NjQ0NjA2NzI1OAoUMTgwNDQ1ODc2ODAyMjkyNTk5ODMKEzc2MDUxNDEzMTk4Njc0OTE3MDAKFDEyMjAzOTc3MzQwMjI1NTUwNDQ2GhYKFDE4Mzg3MzQ0NzUxOTg0ODA2MDY3WhQxODM4NzM0NDc1MTk4NDgwNjA2N2qHFxIBMBgAIkQaMAAKKWhoYnRocGlhc2NvYXFnYmhoVUNybW5uRTN5enBBeUF1WF9oUnF5TGRnEgIAESoQwg8PGg8_E5oFggQkAYAEKyqLARABGniB_w___gf4APnz_wIFBv0BI_sH9PMEBADrBfz3BgAAAPkGCAT4AQAA8Qn99fgAAAAEAfgG8f0BAPMOABADAAAAGPgR-fYAAAATAPvu_wEAAPkA7xAE_wAADPQBB_8AAAAFBv7__v8AABMJ__ABAAAACfH4AwAAAAAgAC3_AL87OBNACUhOUAIqhAIQABrwAX_1GAHJ-fT_CAEPAAAO4wGJAAH_JP_dANwF-AGg7Nv_KBISAMjpDv8TCgr_0AHx_xUE3P8fBgYAFf4FAFAFAQAWD_cBJ-kCAAsI-wDn9NsA5PjzAA75Gv8E9Bb__RL8ABsEA_zsF_4A8urr_wj9DwUIFvr-PNv5Af4RCQICHv8ECg0IBTgSCALuBvYBBCII__MI2vvwAvIF7w0F-h0O-gnx8wj_G_z8CB4L-QTxGQH35_cC-TAjC_r9A_4CGxoC99bUBP8J4P8J5wL-AyUCCAoO5RkC2AoOA-Dz7fYJ5An86AwP-fQI8wgLHggJBQQB-yAALQ9sLzs4E0AJSGFQAirPBxAAGsAH7NnzvhMhvzyK1Eo9Vdn3PBJV0zz4MCC904RtO4qCjbtepCs8m7dgPcD6uT234Lu86dM6vnabIb2l6ui8z0p6Pvbc-Dz5QUe9JuNYvhLIG7wqybo8T3iRvmcVTD2p5ou6WMHEPZGWDz1HGoE8iGVzPaVqm71wApk691a0PWSgIT0ymSC9fZeCvWVGSzstgIS8qhjdvLgJEr0NkKK7uyYEPq2Hn71Ad_i8L2_pvCGp6DthZoS8X6CPPQpher238Bw9gH8KPgL_Kj021Sw77N5KPXvFjr2IeuY8DpisvQlsbr2yDJa7P3PWPWeCPL1y-no88G5gPVtVO71W2Ge8DSmwPX2TJjw23y089bwrPs0seDz6er48eHSYvYUzKT0j2_m8OkXCvWI-aj2aL-U7WSS3O5Fj67z2HlM8feuDPCyrizfaNtI7t372O6qJVD2447C6VWSJPfaX3T2Y8ka8mQycPQhOhTsuRL080_orvmc_N70TTRM6kL2evfvn6bzAanY8XE1oPYfSuL2ZE5M7QFG0PMa-pDyHfje6CCIGvfKNUj2hzJC8BZNRvEI-iL0tdXM7YdiGvKDqf7nKxbW7kS4yO6KU9Ty3_uk74nmEvGmocb31jLe7mSnNPa0ImD3jQJW3Qz8uPV_8fj3SJdK7cuyPvImTQD1NsCw7lT4-PMiTKb1Y67y7mG9YPMOgpzwxeQc8axVYvHJKJb1-IDO7q1lsPUWVmz3Mcbi4ZKuwvJbnhr2I5Ni6QGmoO5Nx7D0SRDq5NU2OPMwieb25wpS4xuBhvAlO4DqaIy-7jGU6PWs077wk5ya5_d4DvEkYoTxvjha6i4B0PRKxd70J1TQ537syPbuv7zwrFOO3xcSLPGxU8bxV9oO53XRQPZ0AebyJcbU5Hs5SvXPshbz8GhW5avFuPciSfj2QDg446Uw1PdR9hDv9wS45cugDPduJ0j0AQCS5uh5bvTb1S7y_fyO4jEoJPFUb9zzgu-m4zfIrvOMmmT3azh-4L-2lvGCqPrzhXAy4s9NKPa2djztETPa2BpwlvIxq0b36U_c3_KDTvCv7rjzW3ZQ4AxpWvRcj97wztza3Nov8vPvb77yS-4e4AXuWPZbz_zvmDeU3hQ-AvM_gKr37TBe4CqegPEHjGbvxc424jQtnvUWjVj2e3J636xu4PU8nND2cNYW3neUovUCk_72k23q3PXOQPcivZL0ksgQ3sL-2vWxb1D3RQPS4fGKNvSED2T2BNTC5cuKGPEvUAb2ZdK82qeX9vDLGp70LIXm4IAA4E0AJSG1QASpzEAAaYBH9AAIBGumsG3Diy_e-FgEO-_knz_7_Edr_5ULi9uUV6KQ2Ev8WwCMCogAAAAnv3zj0APB__8jwJMIER7TCD0MLcAIaFtXyQvHz9_4G1-AGCy5LSgD4Fa7uPtXVPQ0C-SAALRe7Gjs4E0AJSG9QAiqvBhAMGqAGAACwQQAA-EEAANhCAAAswgAAFEIAAGBBAACQQgAA4MAAAIjCAACwwQAA4EAAAHzCAADowQAA8EEAAEBAAACIwQAAIEIAAIDCAACgQAAAIMEAAMjBAAB0wgAAgMEAAFRCAADwwQAAAAAAAIhBAACSwgAAGEIAAODAAACgwAAAOEIAAFjCAADgwAAAeMIAAFDBAACAwAAAjEIAAEDBAAAUQgAAAMAAAIBBAACsQgAAIEEAAEjCAABgwgAA8MEAAJBBAAAAwAAAQEAAAKbCAAAIQgAAoEAAAIA_AADgQQAAPEIAAObCAAAMwgAAEMEAAMBAAADgQAAAAEAAAODBAADgwAAANEIAAARCAAAwwgAAjMIAAIBBAACAPwAAWEIAAFxCAAAgQQAAgL8AANzCAADIwQAAgMEAAEBBAABAQQAAwMAAANbCAADWQgAACMIAAKZCAAC4QQAAqEEAALhBAAAYQgAAYEIAAADBAAAQQQAAMEIAADRCAACIwQAAQMEAAEDCAADIQQAANMIAAAxCAADgwQAAgMEAAIA_AACQQgAAAEEAAODAAAAQQQAAqMEAAIBBAACAwAAAAEEAAABAAAAAwgAAAEIAAKhBAAAQQQAAEEIAABDCAADAQAAA-MEAAJDBAABAQgAA4MAAABTCAABAwgAAFMIAANhBAAAQwgAAAMAAALjBAADgwQAAQEAAABDCAADgwAAAAMEAAIA_AACAPwAA4MAAAKDBAAAQQQAANMIAABBBAAA4QgAAMMEAABDBAACwQQAABEIAAPDBAADwwQAA0EEAAKhCAADIwQAAoMAAANDBAAA0wgAAkMEAAOjBAABAQQAAgMEAAAjCAACGQgAAAAAAAGBBAADYwQAADMIAAKLCAAAAwAAA2EEAAIhCAABgQQAAMMIAALjBAAB4QgAALMIAAIA_AAAIwgAAcMEAAFRCAAAgwQAASEIAAHDBAAAAwwAAMMIAAAhCAAAQwgAAMEEAAGBBAACCwgAAmMEAAABAAAAQwQAAgMIAAITCAADwQQAA0MEAAAAAAABgQgAAhsIAADjCAAC4wQAAEEEgADgTQAlIdVABKo8CEAAagAIAAAS-AADIvQAATD4AADA9AAD2vgAAcL0AAHA9AAAdvwAAC78AACS-AACOPgAAgDsAAHw-AABMPgAAUL0AADC9AACCPgAAUL0AAHQ-AAAnPwAAfz8AANi9AACYPQAALL4AABC9AAAcPgAAHD4AACS-AACKvgAAqD0AAJo-AAAMPgAAUL0AABw-AAD-PgAAED0AAIg9AABwvQAA-L0AAOC8AABMvgAA4LwAAJg9AABcvgAAiL0AAKA8AADuPgAAxr4AAAQ-AADCvgAAQDwAAKA8AAC4PQAA-D0AAMI-AACgPAAACz8AAEA8AAC-PgAA4j4AADw-AABAvAAA-D0AAFw-IAA4E0AJSHxQASqPAhABGoACAAAMvgAA2D0AACS-AAAnvwAAML0AAFw-AACYPQAA-D0AANi9AABcPgAAor4AALi9AACYvQAAbL4AABA9AACAOwAAQDwAAA8_AADgvAAA8j4AAKi9AAAkPgAA4DwAAKi9AACYvQAADD4AAAS-AAAwPQAAlr4AAFC9AACgvAAALD4AANg9AABUvgAARL4AAOi9AACCPgAAij4AABS-AADgvAAAMD0AALi9AAD4vQAAgLsAAAQ-AADgvAAAf78AAGS-AAAMvgAAlj4AAHw-AADYvQAABD4AABw-AAC4PQAAMD0AAOC8AAAsvgAAQDwAAJg9AAAsPgAAgj4AAEC8AABwvSAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=hTbI0t7pNtM","parent-reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-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"},"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/4590990/bf00819c2274bd09ce4572d230e5f172/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/a2sbhQAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"16","reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DXmpbtdmTzck","linkTemplate":"/video/preview/2603391197508446746?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-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\":\"ErADChMzNjYzNzM5NzgxNjUyOTM2MzY3ChQxNjk3NTM4MzkxMjEyODMxNjE1OQoTNjY3ODMyNjQxNjA4MTQyNDU5OQoTMzgwNzgwODQ0ODExMjMwMzMxMwoUMTUwMzkxNjIzMjczNjM4MjQwNjEKFDExMjczNTg1Mzg5NTEzMzUzNTA3ChQxNTI4NDI0NTQwMTgwODc5ODU4OAoTMjgzMzg2MTI0NjMxNzc1MTAxMwoUMTM4ODgyODgwMDE0ODcwNzk4NDAKFDEzMjU3MTY3ODIwODYyNzQxNjU3ChM4NDc1NzkyNzk2NTA3NjU4Mjg1ChQxNzIyNDE3MzI0MjYwMzYxMDMwNgoTNTQ1MTY0NjgzODEyMjQzNDAyOQoUMTgzODczNDQ3NTE5ODQ4MDYwNjcKEzI2MDMzOTExOTc1MDg0NDY3NDYKFDE4MDU1MTYwODY3ODk0OTU5NzczChQxMDY5NjU2OTU2NjQ0NjA2NzI1OAoUMTgwNDQ1ODc2ODAyMjkyNTk5ODMKEzc2MDUxNDEzMTk4Njc0OTE3MDAKFDEyMjAzOTc3MzQwMjI1NTUwNDQ2GhUKEzI2MDMzOTExOTc1MDg0NDY3NDZaEzI2MDMzOTExOTc1MDg0NDY3NDZqhxcSATAYACJEGjAACiloaGtsaXR6bmdwdGpxdWhoaFVDM3NEQ2IzbGpDZTRCT0REVWpXYXRXURICABEqEMIPDxoPPxPOHYIEJAGABCsqiwEQARp4gfYJ_vX_AQD4_vkEDQX9ASD7BvX1AwMA5QME_Qn9AgDsCQ4D_gAAAPAC9_4BAAAAAfYBBPX9AQAMEO4AAwAAAAUADfgEAAAACgfz9f8BAADt8_0MBP8AAAv1AQcAAAAA_AgBAfz_AAAFBgH2AQAAAAjy8AoBAAAAIAAtS6PSOzgTQAlITlACKoQCEAAa8AF_B-oCyhfo_xnx5QHqCPcAoxPzAA0Q3QDBDw8Bqu7f_wgi-wDW-_T_FgYbAeIX_AA45vL-Au4RACDhCgAyCf4A3BMHAFv09QAiFgQACfP9__L46f8X4wEB2ff9AQL17wH0EBIA9PHf_gsA3wId-PIACwYRAxfyDgLv8_4C8SMG__jw8_wcFe8AAgHp-_ElCQPZ9AIE6fYN_usD9QEG9Pr-JPIFAB4C7AILBfUFDe3z-v0QA_4U9_r14_8FBewO5wb-7wUFC_T5COgGDAEQAhcGAfgTCP73-wEF-vP9FwkB_wUBAPwGEwX8FQwOCfoI-fUgAC2pFEQ7OBNACUhhUAIqzwcQABrAB6w4Cb-6Fd08v0UGvO-M1j16CDk9iskbvYLhHD1Pcd47DIAnvOpRgjwRPm-8B_XIvKH1IL5hS_S8WyLXPGhezj7WHQs9SsJ0PM_AeL6TgU28iLYIvU94kb5nFUw9qeaLurzzqj2sGZ49Z_-NPC36pD17fGc8v6BgPFYQsz0H6hQ7s7xBvUPn9b1_th-9WiIBvZQuAj1AJA07UCzBvCDrCT7Fbdm8qpk1vIDeCj3Umf-7hNRtOyccgL3xQK69pSXgPOerVD7wXZQ8bMkNPOWDeT3_gD084DBRvCUXrb3bXsG8CyHOOmYW4T1BtQY9E9aGvBSu5z2kGIC9Ux5-u1s_Hb3uwwk859lRPNaCyD0CI7k8dxvKvOCgPb31keU8uG-aPNSeMr2wZUM8etcLPAuWKj1wlSe8qsw5PGM9ij0gIIQ8-UiKPCTRDbyZaCs9WJBmPHlP7zyx9wM8v5ZbO2ueQz3yYry8l7MxO5DAD77SdJG8tT8EvDoRMz1KSpW81LGQO_h1Oz2cDgk9llwku_tdqD2Hm508B8xoPAgiBr3yjVI9ocyQvJ2z6rx6b2y9HFJWPFUZQT3a_0A9Zlmku46OkL0Euys9RdQnO8HNPbwze6q8vpEQPFxPG7y7Mwk9PcIfPL9rp7s6w7k81jV_vDktk7wVgJC74GLqu4GxHbsWSgu9sdKwu2jAij21wIM8FCaIO-YqUb3Yiaa8HYqKO1MopjxuB6k9N6hcOS3nFz3Qguu83wwrO1xQxLzDqWU9F7uCOiPO9Ts2rv-8ydbIOkqhZz3pB5o88xonOdOJPz3eRwE8GHBvOirG-byIOyi9VnZMt8mJmzzhJ448u43CNxFDoTx8iJ27dTR6Og_sfT2s6yu8UsIQuR9JiTwHZqA8CHdCuiyoXrwfzo27N9cEup5Qnj3Y6Sw9mfx1uBRNNj3EtTU84v2fuWSRJjxJDXE721SoOG0IqTz4zEg8JsnjNMCVibpEY3e9XtwVuBJwIz0CnjQ8pOFlOAwqAD32ACe95Ex3uP-AHb1dhI6828OBt6_YGTzz2pa9SVoft8_g3Tn6umc9CgWHuLkX-7u9DmY8D9eSOIm247ysj4e8FNr9OLAETT0segy9VuL4N5ctA70vave8WincN-0dPz2Jgx887YjGuIHbqDp4oMo6dsc5uDX4FDxUcJk79segN0BcKD3_hv-8Y8sbuLf2GT0OVUe9bKlYuELLXz1jGrc9bpCOONvbrbxr8B4-kDkhuUyeHL0Wyrq6JN7It8J3sb2_sLG9pJ6tNiAAOBNACUhtUAEqcxAAGmBT4wAC__EA-gUt7fTd0xD_9A7HDcEH_xof_9M_yQESMvOS8wv__tD75aMAAAD79wkc6QDofwbh8hK8JCLZuvEfK0wJUyjVvxgIz_QQ_wLwEgUSCVcA6gCUGT_X2y8bPtAgAC1HWiM7OBNACUhvUAIqrwYQDBqgBgAAcMEAALBBAAC4QgAA8MEAAJBBAAAwwgAADEIAABDCAAB8wgAAaMIAAKDAAABAQAAAdMIAAAjCAAAwwQAABEIAAJBBAAAwwQAAgEAAAIzCAAAQwQAAuMEAAGDCAADaQgAAHEIAABhCAADAwAAAcMIAAIxCAAAgQQAAjEIAAJBCAADIwQAAvkIAABzCAAAEQgAAgD8AAFBCAADgwAAAAMEAAGTCAADYwQAAkMEAAEBAAABwQQAA4EAAAETCAADwwQAAQEIAAGBBAACwwQAAwMAAAIDAAADAQQAAkMEAAAzCAABgwQAAeEIAAOjBAACgwAAAwMAAAHDBAAAMwgAAiEEAANhBAADAQAAAaEIAAIDBAABswgAAMEIAANDBAAA0QgAAaMIAAFRCAACiwgAAAMAAAGBCAAAQwQAAkEEAAATCAABAQAAAQMEAADDBAAA8wgAAwEEAAFRCAAAgwgAAGMIAAFBCAAAUwgAAMMEAAAhCAAAMQgAA2EEAADDBAACUwgAAAEEAALjBAACgQQAAYMEAACjCAADwQQAAIEIAAGDCAABgwQAAGEIAALjCAAAAwQAAeMIAAMBBAAAEQgAAEMIAAMBAAADwwQAAlkIAAIhBAABIwgAAaMIAAKjBAACoQQAAAMAAADjCAADAQQAAAMIAALhBAAAwwQAAiEEAAITCAAAAQAAAiMIAALDBAACAwQAAAMAAAGRCAACgQQAAyMEAAIjBAAAAwAAAPMIAAJLCAAAQQgAAPEIAAAhCAADgQQAANMIAABRCAAC4QQAApkIAAJDBAACAwQAAHEIAANBBAAAcQgAAKMIAAKhBAAB0QgAAmMEAAITCAADgwAAAfEIAAIjCAAAgQQAAMMEAAMDAAACQQQAA4MAAAGxCAACYQQAAZEIAAOhBAABAwgAA8MEAAIDBAAAAQQAAgEAAAFhCAABgQgAA0EEAABxCAACgQgAAUMEAAMLCAABIwgAAMMEAACDBAAAYwgAAtMIAAADAAAAAQQAAHMIAAMhBAAAAQQAARMIAAOBBAABAQQAAGEIAANBBAAAAwAAAgEEAAIDBIAA4E0AJSHVQASqPAhAAGoACAAC4PQAAdL4AAEw-AACAuwAA2L0AAIC7AAC4vQAAA78AAKq-AAC4vQAAgDsAADy-AACAOwAAoDwAAIK-AAAwvQAAHD4AAJi9AAD4PQAA9j4AAH8_AABcPgAA4DwAAOi9AAAUvgAAmL0AABw-AAD4vQAAUL0AAOg9AAAsPgAALD4AAMi9AAC4PQAAZD4AAOC8AAAMPgAAmL0AAIi9AACAOwAAjr4AAMi9AAA8PgAABL4AAPi9AAAEPgAALD4AAFy-AADIvQAAxr4AAEA8AAAUPgAAiD0AADw-AACIPQAABL4AAA8_AADIvQAAmD0AABw-AABQPQAAyD0AADA9AAAQvSAAOBNACUh8UAEqjwIQARqAAgAAmL0AAHC9AADIvQAAPb8AAIg9AAAwPQAAND4AAIA7AAA0vgAA-D0AALi9AAA0vgAATL4AAKa-AACoPQAAoLwAAMg9AAAXPwAAiD0AALI-AAA8vgAAED0AAAS-AAAUPgAAoDwAACS-AADgvAAA4LwAAOA8AACIvQAAoLwAAAQ-AAAwPQAADL4AABy-AADIvQAAJD4AADQ-AAB0vgAAmD0AAKA8AACIvQAA2L0AAFC9AADYPQAAiD0AAH-_AADYvQAAyD0AAOA8AABMPgAAgr4AAIA7AAAsvgAAcL0AAFA9AACgPAAA2D0AAFA9AABEPgAAFD4AAIC7AAB0vgAAyD0gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=XmpbtdmTzck","parent-reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-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"},"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":"17","reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3Dqx-d8zZbeTI","linkTemplate":"/video/preview/18055160867894959773?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-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\":\"ErADChMzNjYzNzM5NzgxNjUyOTM2MzY3ChQxNjk3NTM4MzkxMjEyODMxNjE1OQoTNjY3ODMyNjQxNjA4MTQyNDU5OQoTMzgwNzgwODQ0ODExMjMwMzMxMwoUMTUwMzkxNjIzMjczNjM4MjQwNjEKFDExMjczNTg1Mzg5NTEzMzUzNTA3ChQxNTI4NDI0NTQwMTgwODc5ODU4OAoTMjgzMzg2MTI0NjMxNzc1MTAxMwoUMTM4ODgyODgwMDE0ODcwNzk4NDAKFDEzMjU3MTY3ODIwODYyNzQxNjU3ChM4NDc1NzkyNzk2NTA3NjU4Mjg1ChQxNzIyNDE3MzI0MjYwMzYxMDMwNgoTNTQ1MTY0NjgzODEyMjQzNDAyOQoUMTgzODczNDQ3NTE5ODQ4MDYwNjcKEzI2MDMzOTExOTc1MDg0NDY3NDYKFDE4MDU1MTYwODY3ODk0OTU5NzczChQxMDY5NjU2OTU2NjQ0NjA2NzI1OAoUMTgwNDQ1ODc2ODAyMjkyNTk5ODMKEzc2MDUxNDEzMTk4Njc0OTE3MDAKFDEyMjAzOTc3MzQwMjI1NTUwNDQ2GhYKFDE4MDU1MTYwODY3ODk0OTU5NzczWhQxODA1NTE2MDg2Nzg5NDk1OTc3M2qIFxIBMBgAIkUaMQAKKmhoc29menBmenhqZnN5cWRoaFVDQ2I5X0tuOEZfT3BiM1VDR20tbElMURICABIqEMIPDxoPPxOJHoIEJAGABCsqiwEQARp4gQb--P38BAAG8wcCBAf9AgIMAP_4__8A8QAC_P4BAAD6BQcE-QEAAPoC-_4GAAAA9wD1Avv_AAABCv8FBAAAAAj1CP8FAAAAC_r4Af8BAADrAQEA9wEAAQgEAgoAAAAA-gv4Av4AAAD_-wb-AQAAAAz59wUAAAAAIAAtpo7fOzgTQAlITlACKoQCEAAa8AF_FBIEtgIQ_Sb--gDyEvAAn_EWADEH6gDn6_4Az_nZAC0WBQHT7gv_Dxr4AM_z8gEOAPr__f0B_wD1-wBCEA__CxAaADz7-gACAPYA6_fiAPgg_f7_ABIA6QXuAAkdCv4J6wv_BfXyAPMC1QH49BYB_gYMATT2-QAEEf_9__4EBPYI7wMZC_cD8QAGAhEUCgD69Ov9EhL5BgkOEP4Z9gH_CuQI_SXv-QMTGPkI9vf6-usK9vkKKvwB8QsK_A7_8v757P__AOsIBvT8BAgF-RYEEPwWAO7pDf_uAwQCEwAS_voHAAYNFvQI-hUDCAr57wEgAC3JLVg7OBNACUhhUAIqzwcQABrABzkr-r4ZAwy8Nu-0ur-Nfj0erhA9NDDNvEkrvjxXsqO8mfLfu4rCEz20TVs9tg4QPFnAVL4EjIw5Ks_XPGdimj5OOpu8Gu9YPJ5ihb6Run09LHOEvEQYX77UZGc7pZ0_PF0CS7wTlRI9RCgCPBGDijxGcK286z3Pu7ADFz4oG0U9Q1spvHzOkr0mLaa8cY10vKoY3by4CRK9DZCiu-w0Uj7Zu_m7vn-YO3t6hj0qR7c8BCamPJVmDr0pnaO8RNsxPOerVD7wXZQ8bMkNPAp_qz2572K88K1-PAwjHT04Pbm8bzmNvN4MnT0zedY7f-Idu1-Mkj1OETu8ccG-vLlqwzyV9bY8jG0tPN1gOD4pplw94xs-OmQ7xL0VdYE8pAt7vHaeQr3hCII95cckuo3JZ71P4tg8OeqNPOcMO70f5Ks80KbZOm62I735WHA9CRLAPFVkiT32l909mPJGvAzCZj3nB6Q8J8NMPOnw0L1sejA96fORvF8Srb1mxSq6q66DPAgbkz3Qkq47Ic_JPDntST1cnAc9Rccju5twn70i06s8FgC6uoEIsTx3FVK8C-qAvPeDED3HqU47Th11vMd5Sbx1Z5o6zRsru0HYCT1CWKK95D8iug0ohT3nkLM6F9Q3PFJfFj3sarK84Yc5vHrkCr0Teyo7_xLpu4XoVT01cLG9IscZOqMNxj2Wr8s6YG69O18unb35xHW99MrBOMgykz0KtCA9MDWdOXJUiTwnBSy95BWIO4IQ2rwnvOQ9fVKIuTVDCzy2pau7hRwvuhZ2Bz2RtMC8VXCHOQxcZjllQoK7b6Yiuk9-5jsoY2m6ml97OO4EHDxSVTK8-Q0zuviZabxu3KI8VNNkuQ_sfT2s6yu8UsIQuWbpmT0ZTOw73OwquRtaLr0YHiC9xj5Ut0FtirxSDFA9CuXnuCIiaz2dpJS9qBcktwfIIbxFqwk99aDyN0BFur1zfm27eXkVODtWJD0JkYg7aHmEtuNvcjnJv6A9uf0nODooHD08C6e8fFpatqXUyjxieeO65ILiuPFZKD13loq91TXrOCK1_7zOx5A7pYl4tyq-y72osj6950aVN8c2n7xJ8h48JVpquGIvlD2taR68P3XctcWcFr20k6y9UYKDON9PvT29rjo87FdruRHmkb2w73k9IBGMuAhJtLunIP88MGaTOFCLYb2rijo8FJhrt7MxBrsIr729HH2mt0LLXz1jGrc9bpCOOPCyNb1czM89DEYKuUnTJT1hw7K7TKI_uKnl_bwyxqe9CyF5uCAAOBNACUhtUAEqcxAAGmD79QADCzXu6Dxn3t_87zAAORT3Fcn6_9UX__tLEwH-_9qk-Bz_KKwX1aIAAAAB5Asf-gD8fwa3AhrBHCOowworJHj3M_u7zvYC_ukDt8PjBAkqE1cA6hqrEjHfB1wsLPggAC1Mcxc7OBNACUhvUAIqrwYQDBqgBgAA2MEAABDCAAAgQgAADMIAACzCAACwQQAAjkIAAMDCAADAQAAAGMIAACBCAADAwAAA0MEAAIbCAACgwAAAEEIAAChCAAAwwQAAYMEAABTCAAAEQgAAEMIAAIC_AAB0QgAALEIAAFBBAACAvwAAhMIAANBBAADAQQAA2MEAAJhBAADowQAAXEIAAEjCAADIQQAAQMEAAFBBAABgQQAARMIAALBBAAAUwgAAoEAAAJhBAACAwAAAAEAAABTCAABQwQAAfEIAAEDCAACQwQAAYEIAAEBAAABgwQAAEMIAAIDAAACoQQAAgkIAAFDBAABoQgAAAAAAAKBBAAAEQgAAoMEAAFDBAACIQgAAIEEAABBBAAA8wgAAfEIAAJpCAACgwAAA4EEAALBBAAAAwQAAEEIAACBBAABEQgAAAEAAAABAAADAwAAAaEIAAADBAABQQQAAgD8AALRCAABQwgAAuMEAAJRCAABwwgAAPEIAALBBAABwQQAAuMEAAIA_AAAUQgAAgEIAAJhBAACaQgAAUMIAAFDCAABMQgAAoEIAAMDCAADgwAAAVEIAAMTCAAB8QgAAwMIAAExCAAD4wQAAJEIAAIA_AAAAQgAAQEIAAFBBAAAwwQAAPMIAALjBAAAkwgAAUMEAAKjCAABgQgAAMMIAAEBAAAAQQQAAyEEAAKDAAADQwQAAsMEAANhBAACUwgAAYMEAAIxCAACYwQAAUMIAACjCAAAMwgAAEMEAAGzCAAC4QQAAsEEAAGBCAACAQQAAuEEAALJCAABgwgAAdEIAABDBAACYQQAAmEIAAAhCAADwQQAAgMAAAIpCAABAQgAAoMEAALrCAAC4wQAAQEIAAAzCAAAoQgAAcEEAACDBAACwwQAAUMEAAIC_AABgQQAAgkIAABTCAACAPwAAIMIAAFDBAAAAwAAAMMEAAEBAAAAoQgAABEIAAAhCAABsQgAAIEEAACDCAADAQQAAMMEAAABCAABYwgAAqsIAABDBAADgQQAAgL8AAIBAAAC4wQAAkMEAAKBBAADwQQAAMEEAAPDBAAAoQgAAmEEAABBBIAA4E0AJSHVQASqPAhAAGoACAADIPQAA-L0AABw-AADIPQAA-L0AACQ-AAAEvgAAPb8AAIK-AACWvgAAUD0AAPi9AACgvAAAlj4AAOC8AABwvQAAhj4AAAQ-AACIPQAA8j4AAH8_AABcPgAAQDwAAIi9AAC6vgAALL4AAJY-AABkvgAANL4AAJY-AACmPgAAij4AAOC8AAA8PgAAjj4AAMo-AAAsPgAAXL4AAJi9AADovQAAML0AAEC8AACoPQAAqL0AABw-AAAwPQAAHL4AAMg9AADIvQAA-r4AAGQ-AADIPQAAiL0AAFw-AAC-PgAAQLwAAGk_AABwvQAAqD0AAIY-AACgvAAAyD0AAPg9AAAwPSAAOBNACUh8UAEqjwIQARqAAgAAJL4AAOi9AABAPAAAT78AAOC8AADIvQAAMD0AAMi9AACYvQAAyL0AAEy-AACKvgAAUL0AAA-_AABQPQAAED0AAGw-AAArPwAAnj4AALI-AABcvgAAND4AAJi9AADgPAAAiL0AAFC9AABQvQAAcL0AAFC9AAD4vQAAUD0AAAw-AAAMPgAAqL0AAKg9AAAwvQAAyD0AAKC8AAC-vgAAgj4AAFC9AACIPQAAgr4AAFA9AACWvgAAED0AAH-_AACSvgAATL4AAIC7AAAUPgAAir4AAKi9AACgPAAATD4AABA9AABAPAAALD4AACy-AACIvQAAgDsAAIC7AAD4vQAAQDwgADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=qx-d8zZbeTI","parent-reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-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"},"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":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DRxySTz9tHl8","linkTemplate":"/video/preview/10696569566446067258?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-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\":\"ErADChMzNjYzNzM5NzgxNjUyOTM2MzY3ChQxNjk3NTM4MzkxMjEyODMxNjE1OQoTNjY3ODMyNjQxNjA4MTQyNDU5OQoTMzgwNzgwODQ0ODExMjMwMzMxMwoUMTUwMzkxNjIzMjczNjM4MjQwNjEKFDExMjczNTg1Mzg5NTEzMzUzNTA3ChQxNTI4NDI0NTQwMTgwODc5ODU4OAoTMjgzMzg2MTI0NjMxNzc1MTAxMwoUMTM4ODgyODgwMDE0ODcwNzk4NDAKFDEzMjU3MTY3ODIwODYyNzQxNjU3ChM4NDc1NzkyNzk2NTA3NjU4Mjg1ChQxNzIyNDE3MzI0MjYwMzYxMDMwNgoTNTQ1MTY0NjgzODEyMjQzNDAyOQoUMTgzODczNDQ3NTE5ODQ4MDYwNjcKEzI2MDMzOTExOTc1MDg0NDY3NDYKFDE4MDU1MTYwODY3ODk0OTU5NzczChQxMDY5NjU2OTU2NjQ0NjA2NzI1OAoUMTgwNDQ1ODc2ODAyMjkyNTk5ODMKEzc2MDUxNDEzMTk4Njc0OTE3MDAKFDEyMjAzOTc3MzQwMjI1NTUwNDQ2GhYKFDEwNjk2NTY5NTY2NDQ2MDY3MjU4WhQxMDY5NjU2OTU2NjQ0NjA2NzI1OGquDRIBMBgAIkQaMAAKKWhobnV4ZGdhdmlnbnRhcmhoVUMzRHl0S3VfY0xVaEhROFRCMzhMWXlnEgIAESoQwg8PGg8_E7ISggQkAYAEKyqLARABGniBBAf4_PwEAAjyAP_7Bf4BEAMG-gf__wD0DQwFBgL_APQJCgQJAAAA9Qn8-gQAAAD4Bfr-9P8BABMD-wYEAAAA9_YJAQEAAAAMAQEB_wEAAOz88wgD_wAAB_z7CgAAAAD2DgEDAQAAAA0IAvwBAAAAAPH6DAAAAAAgAC0S1N87OBNACUhOUAIqcxAAGmDsCAAmBikF6y5F9cnswCAFFQHG-u8W_w0WAAM74cYCEQW3LCX_-Mb--qwAAAAd-uz65AALZzXm-gbuIUD91RMGE38YMfQhASsKMdFZ1d8FJ9weDi0ACTv-DRu37mUuE9kgAC2siio7OBNACUhvUAIqrwYQDBqgBgAAUEIAAIBBAAC8QgAA8MEAAFRCAAAUQgAAokIAAOBAAACgQQAAQMAAAODAAABwwQAA8MEAAADCAADAQQAAgMEAAIC_AAAwwgAAhEIAAEDBAAAIQgAAfMIAAKjBAADoQQAAiMEAACBBAAAkwgAAsMEAAJBBAACAwAAAwEEAAIxCAAA0wgAAEMIAAPjBAABAwAAAuEEAAHRCAAAIQgAAIEIAABhCAABQwQAAGEIAAABAAADAQAAAHMIAAEDAAADQQQAANEIAAOhBAAAwwgAA4MEAAADBAACSQgAAcEEAAIjBAAC0wgAAQMAAAHBBAABQQgAAkEEAANjBAAAEwgAAPMIAAGRCAABwwgAAAMEAAGjCAAA0wgAAgsIAALpCAAA8QgAAisIAAOhBAABAwAAAoMEAAK7CAAAUwgAAUMEAAFhCAAA0wgAAoEIAAIDBAAAQQgAAYEEAAFhCAADwQQAAwEAAANBBAACYwQAAAEEAAPpCAAAIwgAAiMEAAOBAAACywgAA4MEAADzCAADqQgAAEMEAACDCAACgwAAAQEAAAADAAABQwQAAQEEAAMDBAAAAwgAAgMAAAKJCAABoQgAAwMEAANDBAADYwQAAdMIAAABBAABkQgAAwEEAAKjBAAAQQQAAAAAAAFTCAAAIQgAA0MEAAOjBAACAwQAAsEEAAEDAAABAQAAAAEAAAIhBAABwwgAASMIAAHDBAABQwQAAGEIAALjBAACwwQAAMMIAAADBAADAQQAAkMEAAMBBAADwwQAA8EEAAEBCAADYwQAAJEIAACBBAAC4QQAA4MEAAFRCAAAAwQAAuEEAAKBBAADAwQAAisIAAIDBAACWwgAAwMAAAETCAACAPwAAAAAAANBBAADIwQAAQMEAAIDAAAC4QgAAsEEAAPhBAAC4QQAADEIAAIC_AABAQgAA-MEAAFDCAAB4QgAAJMIAAGBBAACgwQAA8MIAAFzCAAAAwAAAfEIAALBBAABwwgAA2MEAAGBBAADQQQAAyMEAAOBBAABQwQAA2EEAAAzCAAAcwgAADEIAAJhBAACgQQAA0EEAAFBBIAA4E0AJSHVQASqPAhAAGoACAACAuwAAqD0AAJ4-AACSPgAARL4AAIC7AADIPQAA3r4AAOa-AAD4vQAAVD4AAKq-AACGPgAA6D0AAIA7AACAuwAA-D0AAFQ-AADIPQAA_j4AAH8_AAAMPgAARL4AAOC8AACivgAA4DwAADA9AACyvgAAcL0AAFQ-AACOPgAAiD0AAIg9AACePgAADL4AAAw-AACYPQAAkr4AAOq-AABMvgAAXL4AAKA8AABwPQAATL4AAIC7AAB0PgAAuD0AAHS-AADGPgAAuL0AACw-AABEPgAApj4AAJI-AABwPQAAoDwAAEk_AABAvAAAvj4AAB0_AABMvgAAiL0AAEQ-AABQvSAAOBNACUh8UAEqjwIQARqAAgAAmD0AAGy-AAAUvgAAI78AAKC8AAA0PgAAmD0AADA9AAAcvgAAiD0AADy-AAA0vgAAuD0AALK-AACgvAAAQDwAABw-AAA3PwAAUL0AAIY-AAAMvgAA4DwAAPg9AAAwPQAAoDwAAIg9AAAUvgAAEL0AAAQ-AAC4vQAAQDwAADQ-AACgvAAAir4AANi9AAAwPQAAhj4AAFQ-AAAcvgAAcL0AAJ4-AACIvQAALL4AAJi9AADoPQAAiD0AAH-_AABcvgAAEL0AAAw-AACiPgAAkr4AAOA8AABAvAAAQDwAABA9AACAuwAAUD0AADy-AAAMPgAAfD4AAFA9AABcvgAA2L0gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=RxySTz9tHl8","parent-reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-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},"18044587680229259983":{"videoId":"18044587680229259983","docid":"34-7-1-ZE4D94E86295D13CD","description":"Model checking, debugging, interacting systems, complex systems, formal verification, communicating, university of glasgow...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4576353/2baed8a745924c8eed847f9b20613db4/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/eWqobwAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"19","reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D8jWzyklBlC0","linkTemplate":"/video/preview/18044587680229259983?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Model Checking: Debugging Complex, Interacting Systems","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=8jWzyklBlC0\",\"src\":\"serp\",\"rvb\":\"ErADChMzNjYzNzM5NzgxNjUyOTM2MzY3ChQxNjk3NTM4MzkxMjEyODMxNjE1OQoTNjY3ODMyNjQxNjA4MTQyNDU5OQoTMzgwNzgwODQ0ODExMjMwMzMxMwoUMTUwMzkxNjIzMjczNjM4MjQwNjEKFDExMjczNTg1Mzg5NTEzMzUzNTA3ChQxNTI4NDI0NTQwMTgwODc5ODU4OAoTMjgzMzg2MTI0NjMxNzc1MTAxMwoUMTM4ODgyODgwMDE0ODcwNzk4NDAKFDEzMjU3MTY3ODIwODYyNzQxNjU3ChM4NDc1NzkyNzk2NTA3NjU4Mjg1ChQxNzIyNDE3MzI0MjYwMzYxMDMwNgoTNTQ1MTY0NjgzODEyMjQzNDAyOQoUMTgzODczNDQ3NTE5ODQ4MDYwNjcKEzI2MDMzOTExOTc1MDg0NDY3NDYKFDE4MDU1MTYwODY3ODk0OTU5NzczChQxMDY5NjU2OTU2NjQ0NjA2NzI1OAoUMTgwNDQ1ODc2ODAyMjkyNTk5ODMKEzc2MDUxNDEzMTk4Njc0OTE3MDAKFDEyMjAzOTc3MzQwMjI1NTUwNDQ2GhYKFDE4MDQ0NTg3NjgwMjI5MjU5OTgzWhQxODA0NDU4NzY4MDIyOTI1OTk4M2qGFxIBMBgAIkMaMAAKKWhocW9nd3p4YXB5aXZ3ZmhoVUNiTHZ3bkh1RmRxSTlFN2E5d2RMeHdBEgIAESoPwg8PGg8_E2eCBCQBgAQrKosBEAEaeIH0AwL-_wEA-e0JCQYH_AEiAgcC9AQEAPUG9f31Av8A-QUIBPkBAAD89_38CQAAAP346v7-_QAAAwMEAvwAAAAP7AkG-gAAAAEB-fr_AQAAAgH6CfkBAAAM9fv__wAAAP4OBgoBAAAABfEF7wAAAAAK-PkRAAAAACAALdgy1Ds4E0AJSE5QAiqEAhAAGvABf_0iAsoN_P8R8A4AAA_iAYUAAv8JC_MApAMLALMR0P_5CxMA1-sNACMo_QDUDSIAFgTa_yb7_AAd6CEAMvQSAR_1GQAh-xcB_AERANXs3_4gC_f_LPckAcrwCwDdDeT_IxcJ_cTV9gQQ2-sDDugOAvsBAgAlwgQB-QX2Atwf6wDmAP0AQAbs_gcK9P7tCQEEyfHwAe4aAQL15-0F_gEe_QDyDAL68QgHHxME_-Xr-vfs_Pf79x8Y_h4F7wEKGwj8BPwR-wDpCvn6OP0IJu0GBfr7CfnqAQL__R32Bw3Q-vP7EBcBAyzw_-cXDQca5Q38IAAtLFUpOzgTQAlIYVACKs8HEAAawAdxIMy-1D0cvQYvVbyqC529y4G_O8D-kLzemFm9_RjOvNqrL72f1qM9IfD2PEX2nLzNISm-gf-CvQ6THz3FVYU-VDBvvZt_Krwm41i-EsgbvCrJujzLg1S-mlWpvBGakzyOzHM-abGQusZoAj1yHmk9O2pxvby0PL2vROA9OrISPQDJdLzOD-k7C1i8vIJEiTxOKvo91V4fPCHoKD1_o10-UZ8kPVKtj7wyT_i8sHZvvLmVlDzhAto8VLpFvb8enbznq1Q-8F2UPGzJDTzMJiA-JwRBvYypy7oTUSO8wYYQvFC04bxj-sQ9yd63vIrP-LtoOpA9UCBHPE5pmLy008W8OTq4PA8CWTuGVIE-GUoXvSGgzrt8kE89ox2cvOcKJTsTfZ69HbCGPNYSHD3_HYa95sqgvH5V7Lu1zIi9RdA9PLocCDyQJBC8EN-jPaZiAz32p4494gRmPWXXRTs7btu7eIKYvF10qjsqWYm9JXQ4u6a1zLq9n8Q9ap1dPKnvoTzMyaU9136XPIX-sjs6G_Y7mZRMvPEtDTw6b2g9NzutPGH2l7w3jc09lmJCvbmdRztXWBU9i1R4vZIQ3bub17K97GryPMMzGblWazy8Uq-wvWLHGDvdK749vwo1PTLmzzuhDsA98uN5PKjSA7wofqw9vXqLPH4tFju5za-8u9BBvaIAvLveZ0Y9JaOUvKiL1jtThiA91i55uz8h-boH7uA9etweu_alDroa5Mk8156-PCWYJDtqwnY8w6s2PYVMvbnVN3U9KxaPve6wyzk2dNM9F14OvXVwY7khS3A97YOnPctQXbmD4Vc9htyxvEyyFLm2QpK9lxP-vFnCLzmBryg9jC5vvSGK_LlhDNU7c0w2PbnuZrgCNCO8Tat3vSGzXjkoRAC-ayu2PLTAvrgNvAS950h4PPJLW7cZeJm9l_rcuxlCmbhhqIO8N3lgPVPB9bcBFc69TD2GPZTp-zetimu9i6bzvAKQtri_IRm9NaC5PHlXSTdracm8One7PIrCw7cIYFm9LucNPevSwLgGnCW8jGrRvfpT9zdwFqU8ypRFPFfMibgtZAe8GBCAvR-SAjnoJXA92VQnvfyfpzhMkkI93ZgeunFMBzgtYpM9FFDyuwVmJbfqH6k8pQKdPYwdi7iTQ7q9HS14PRJNbrht6tk7sA1LvD2WRjeHHQE9vqUcventzjfpnlA80LfFvB2Z_LZpxEI6-mzTPH9NzjbFv5m9czhJPV1O47jaETi9LSuoPPQiJLggs_O8rzhBPEH9_zcgADgTQAlIbVABKnMQABpg_AAAR_j0ARMva87aHOYo2PgYHwW3Sv8jFwAhGO3M7ArQxuM9ABrPC8ekAAAA8wPqHtoA-X_YnxQ37Q4Bsq3xKilUDzND8PApAfj9NgndtQ4WRQM7AO78pftR6c0sEyniIAAtfSEYOzgTQAlIb1ACKq8GEAwaoAYAADDBAABAwQAA2EEAAOhBAADIQQAAeEIAAKBBAABAwAAAcMEAAJjCAACIwQAAwMAAAJjBAACwQQAAgMAAAABCAABMwgAAQMEAADBBAACSwgAAAAAAAATCAADYwQAAskIAAPhBAABsQgAAmMIAALzCAAB0QgAAOEIAAPBBAAAgwQAAgMAAAPhBAADYwQAA0EEAAK7CAACAvwAASMIAAJBBAABwQQAAoMAAABBBAAAEQgAAIMEAABRCAADgQAAA4MEAAGBBAACYQQAAAMEAAChCAAD4wQAA8MEAALTCAAAYwgAANMIAALhBAACAwQAAHEIAAGDBAADIwQAAsMIAAODAAAAEQgAAmEEAALhBAABAwQAAMEEAACDBAAAswgAAvkIAAKzCAAB0QgAAoEAAAMDBAADgQQAAmEIAANjBAAAgwgAAwMAAAJjBAAA4wgAAoEEAAIDAAABAwQAARMIAAKjBAABwQgAAwMAAABjCAAAAQQAAkkIAAFDBAABAwQAAqMIAABzCAABAwAAAEEEAAADBAACgQAAAgMAAAJjBAACowQAAwEAAAODAAAA8wgAAAMEAABjCAACsQgAAwEAAABDBAABQQQAAYMEAALhBAAAIQgAATMIAAKDBAABgwQAATEIAAMDBAAAgwQAAwMEAABDBAACMQgAA-MEAAPBBAADAQAAAOEIAAK7CAAAUQgAAKMIAAOjBAADgQAAADEIAABxCAAA8QgAABMIAAPTCAAC4wgAAIEEAAP5CAADAQQAAZEIAAODBAACoQQAAgkIAAKDBAADAwAAAUEIAABBBAACEwgAAAMEAABDBAABwQQAARMIAAIjBAACWwgAA0MEAABRCAADAwQAAsMEAAFDCAADgwAAAIEEAAKBAAAAgQgAADEIAAKDAAACgwAAAmEEAAHDBAAAAQgAAsMEAAARCAAD4QQAAYMEAABBCAAAgQgAAIMEAAABCAAAMwgAAAEEAADjCAADgwQAAPEIAAFDBAACEQgAAAEIAAPBBAADAQAAAgEEAAAjCAADgQAAAiEEAAAjCAAA0wgAA8MEAAODBAACgwSAAOBNACUh1UAEqjwIQABqAAgAAJL4AABA9AABMPgAA2D0AAFy-AAAwPQAADL4AAPa-AACGvgAAmD0AAAw-AADIvQAAoLwAAGw-AABMvgAAiL0AACQ-AABQPQAAgj4AAIo-AAB_PwAAoLwAAJi9AAAkvgAAlr4AACS-AADIPQAAfL4AAOi9AACWPgAAcD0AABQ-AAAEvgAAgj4AAFA9AACIPQAAND4AACS-AAAsvgAAfL4AAEy-AABwvQAAED0AADA9AADgPAAAUL0AAIg9AACAOwAAUD0AALi9AACePgAA-D0AAHA9AADoPQAAmL0AADC9AAATPwAAUD0AABw-AABkPgAA-L0AAJi9AADYPQAARL4gADgTQAlIfFABKo8CEAEagAIAAOA8AACoPQAAUL0AAC-_AADgvAAAuD0AAIg9AABAvAAAoDwAAJg9AACCvgAAsr4AABQ-AADWvgAAEL0AAFC9AACAOwAADz8AAKC8AAAkPgAAMD0AALi9AABEPgAAMD0AABA9AAD4PQAApr4AAEA8AACgvAAAmL0AAHC9AAAsPgAAgDsAAMi9AACCvgAA2L0AAM4-AABQvQAAmL0AAMg9AADIPQAAyL0AANi9AACIPQAAcD0AAAw-AAB_vwAAcL0AADy-AACePgAARD4AAKa-AAAEPgAAUD0AABS-AAAwPQAAML0AACy-AAAEvgAAUD0AAJg9AACAuwAAdL4AAIA7IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=8jWzyklBlC0","parent-reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1920,"cheight":1080,"cratio":1.77777,"dups":["18044587680229259983"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false,"videoContentId":"3036924605"}},"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":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","duration":2772},"parentClipId":"3663739781652936367","href":"/preview/3663739781652936367?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking","rawHref":"/video/preview/3663739781652936367?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking","isEmbedOnly":false,"shouldPlayInstreamPreroll":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":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","duration":1824},"parentClipId":"16975383912128316159","href":"/preview/16975383912128316159?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking","rawHref":"/video/preview/16975383912128316159?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking","isEmbedOnly":false,"shouldPlayInstreamPreroll":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":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","duration":3406},"parentClipId":"6678326416081424599","href":"/preview/6678326416081424599?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking","rawHref":"/video/preview/6678326416081424599?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking","isEmbedOnly":false,"shouldPlayInstreamPreroll":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":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","duration":228},"parentClipId":"3807808448112303313","href":"/preview/3807808448112303313?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking","rawHref":"/video/preview/3807808448112303313?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"15039162327363824061":{"videoId":"15039162327363824061","title":"\u0007[model\u0007] \u0007[checking\u0007] using smv","cleanTitle":"model checking using smv","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=_uZt9vwOSjA","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/_uZt9vwOSjA?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":"d3d3LnlvdXR1YmUuY29tO1VDZ1NyZkJwbDhxSUlHN1VqX3k2Z3ZTdw==","name":"Islam El-Maddah","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Islam+El-Maddah","origUrl":"http://www.youtube.com/@MrImaddah","a11yText":"Islam El-Maddah. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":3238,"text":"53:58","a11yText":"Süre 53 dakika 58 saniye","shortText":"53 dk."},"date":"29 ara 2020","modifyTime":1609200000000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/_uZt9vwOSjA?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=_uZt9vwOSjA","reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","duration":3238},"parentClipId":"15039162327363824061","href":"/preview/15039162327363824061?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking","rawHref":"/video/preview/15039162327363824061?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking","isEmbedOnly":false,"shouldPlayInstreamPreroll":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":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","duration":147},"parentClipId":"11273585389513353507","href":"/preview/11273585389513353507?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking","rawHref":"/video/preview/11273585389513353507?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking","isEmbedOnly":false,"shouldPlayInstreamPreroll":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":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","duration":50},"parentClipId":"15284245401808798588","href":"/preview/15284245401808798588?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking","rawHref":"/video/preview/15284245401808798588?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking","isEmbedOnly":false,"shouldPlayInstreamPreroll":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":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","duration":723},"parentClipId":"2833861246317751013","href":"/preview/2833861246317751013?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking","rawHref":"/video/preview/2833861246317751013?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking","isEmbedOnly":false,"shouldPlayInstreamPreroll":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":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","duration":191},"parentClipId":"13888288001487079840","href":"/preview/13888288001487079840?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking","rawHref":"/video/preview/13888288001487079840?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking","isEmbedOnly":false,"shouldPlayInstreamPreroll":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":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","duration":769},"parentClipId":"13257167820862741657","href":"/preview/13257167820862741657?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking","rawHref":"/video/preview/13257167820862741657?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking","isEmbedOnly":false,"shouldPlayInstreamPreroll":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":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","duration":137},"parentClipId":"8475792796507658285","href":"/preview/8475792796507658285?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking","rawHref":"/video/preview/8475792796507658285?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking","isEmbedOnly":false,"shouldPlayInstreamPreroll":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":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","duration":2773},"parentClipId":"17224173242603610306","href":"/preview/17224173242603610306?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking","rawHref":"/video/preview/17224173242603610306?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking","isEmbedOnly":false,"shouldPlayInstreamPreroll":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":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","duration":3775},"parentClipId":"5451646838122434029","href":"/preview/5451646838122434029?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking","rawHref":"/video/preview/5451646838122434029?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking","isEmbedOnly":false,"shouldPlayInstreamPreroll":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":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","duration":666},"parentClipId":"18387344751984806067","href":"/preview/18387344751984806067?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking","rawHref":"/video/preview/18387344751984806067?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking","isEmbedOnly":false,"shouldPlayInstreamPreroll":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":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","duration":3790},"parentClipId":"2603391197508446746","href":"/preview/2603391197508446746?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking","rawHref":"/video/preview/2603391197508446746?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking","isEmbedOnly":false,"shouldPlayInstreamPreroll":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":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","duration":3849},"parentClipId":"18055160867894959773","href":"/preview/18055160867894959773?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking","rawHref":"/video/preview/18055160867894959773?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking","isEmbedOnly":false,"shouldPlayInstreamPreroll":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":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","duration":2354},"parentClipId":"10696569566446067258","href":"/preview/10696569566446067258?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking","rawHref":"/video/preview/10696569566446067258?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"18044587680229259983":{"videoId":"18044587680229259983","title":"\u0007[Model\u0007] \u0007[Checking\u0007]: Debugging Complex, Interacting Systems","cleanTitle":"Model Checking: Debugging Complex, Interacting Systems","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=8jWzyklBlC0","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/8jWzyklBlC0?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":"d3d3LnlvdXR1YmUuY29tO1VDYkx2d25IdUZkcUk5RTdhOXdkTHh3QQ==","name":"University of Glasgow","isVerified":false,"subscribersCount":0,"url":"/video/search?text=University+of+Glasgow","origUrl":"http://www.youtube.com/@UofGlasgow","a11yText":"University of Glasgow. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":103,"text":"1:43","a11yText":"Süre 1 dakika 43 saniye","shortText":"1 dk."},"date":"15 mayıs 2017","modifyTime":1494806400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/8jWzyklBlC0?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=8jWzyklBlC0","reqid":"1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL","duration":103},"parentClipId":"18044587680229259983","href":"/preview/18044587680229259983?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking","rawHref":"/video/preview/18044587680229259983?parent-reqid=1773625488835817-2923314977682719717-balancer-l7leveler-kubr-yp-sas-171-BAL&text=Model+Checking","isEmbedOnly":false,"shouldPlayInstreamPreroll":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":"9233149776827197177171","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"}}}