{"pages":{"search":{"query":"formal methods","originalQuery":"formal methods","serpid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","parentReqid":"","serpItems":[{"id":"17308930264063994630-0-0","type":"videoSnippet","props":{"videoId":"17308930264063994630"},"curPage":0},{"id":"2628910865277908379-0-1","type":"videoSnippet","props":{"videoId":"2628910865277908379"},"curPage":0},{"id":"7785765356608915025-0-2","type":"videoSnippet","props":{"videoId":"7785765356608915025"},"curPage":0},{"id":"2030954913821069279-0-3","type":"videoSnippet","props":{"videoId":"2030954913821069279"},"curPage":0},{"id":"R-I-113683-5-0-4","type":"direct","props":{"advRsyaActivateParams":{"pcodeParams":{"blockId":"","renderTo":"","pageNumber":4,"grab":"dGZvcm1hbCBtZXRob2RzCg==","statId":4,"darkTheme":false,"lazyLoad":false,"extParams":{"reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","ui":"desktop","yuid":"7565788601774696067"}}},"isAdult":false,"position":4,"placement":"empty"},"curPage":0},{"id":"12185199955537082929-0-5","type":"videoSnippet","props":{"videoId":"12185199955537082929"},"curPage":0},{"id":"351848497348767534-0-6","type":"videoSnippet","props":{"videoId":"351848497348767534"},"curPage":0},{"id":"15626964343786985602-0-7","type":"videoSnippet","props":{"videoId":"15626964343786985602"},"curPage":0},{"id":"8191291429094430134-0-8","type":"videoSnippet","props":{"videoId":"8191291429094430134"},"curPage":0},{"id":"6898767806859019962-0-9","type":"videoSnippet","props":{"videoId":"6898767806859019962"},"curPage":0},{"id":"1205307395340842754-0-10","type":"videoSnippet","props":{"videoId":"1205307395340842754"},"curPage":0},{"id":"R-I-113683-5-0-11","type":"direct","props":{"advRsyaActivateParams":{"pcodeParams":{"blockId":"","renderTo":"","pageNumber":11,"grab":"dGZvcm1hbCBtZXRob2RzCg==","statId":11,"darkTheme":false,"lazyLoad":false,"extParams":{"reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","ui":"desktop","yuid":"7565788601774696067"}}},"isAdult":false,"position":11,"placement":"empty"},"curPage":0},{"id":"5775674466248872599-0-12","type":"videoSnippet","props":{"videoId":"5775674466248872599"},"curPage":0},{"id":"14252056318998965123-0-13","type":"videoSnippet","props":{"videoId":"14252056318998965123"},"curPage":0},{"id":"9400085917546928345-0-14","type":"videoSnippet","props":{"videoId":"9400085917546928345"},"curPage":0},{"id":"6256031593111468135-0-15","type":"videoSnippet","props":{"videoId":"6256031593111468135"},"curPage":0},{"id":"504152810977456857-0-16","type":"videoSnippet","props":{"videoId":"504152810977456857"},"curPage":0},{"id":"601280156422825341-0-17","type":"videoSnippet","props":{"videoId":"601280156422825341"},"curPage":0},{"id":"13669249159817713182-0-18","type":"videoSnippet","props":{"videoId":"13669249159817713182"},"curPage":0},{"id":"18043615787583097453-0-19","type":"videoSnippet","props":{"videoId":"18043615787583097453"},"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":"dGZvcm1hbCBtZXRob2RzCg==","darkTheme":false,"lazyLoad":false,"extParams":{"reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","ui":"desktop","yuid":"7565788601774696067"}}},"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%3Dformal%2Bmethods","pages":[{"reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","start":0,"end":20,"pageNumber":0,"isCounterSent":false}]},"main":{"_isInitial":true,"snippets":[],"serpFooter":{"linksGroups":[]},"isLoggedIn":false,"tags":[]}},"internal":{"nonce":"0237884746851250977113","expFlags":{"video_settings_toolbar_redesign":1,"velocity_delay_drawer":1,"video_feedback_in_d2d":1,"video_search_toggle_with_text":1,"video_viewer_show_placeholder":1,"velocity_disable_suspense":1,"video_viewer_desktop_smart_layout":1,"dark_theme_desktop":"cookie","video_viewer_check_sandbox_origin":1,"video_font_yandex_sans":1,"video_adv_new_show_rules":1,"video_adv_config_desktop":{"search-list":{"adult":{"default":"R-I-474674-135","mail":"R-A-13426421-23"},"regular":{"default":"R-I-48058-751","mail":"R-A-13411721-23"}},"search-grid-inplace":{"adult":{"default":"R-I-474674-126","mail":"R-A-13426421-16"},"regular":{"default":"R-I-48058-742","mail":"R-A-13411721-16"}}},"video_search_page_no_islands":1,"video_vh_player_js":0,"video_masthead_ratio":"180,4","video_searchdata_scheme":1,"video_viewer_related_fail_error_screen":1,"velocity_delay_metrika":1,"video_viewer_channel_link_mode":2,"video_partner_label":1,"int_tr":1,"mmui_extended_escape_scheme":"searchdata.clips.0.authorname","tabs_order_version":"search,images,video,newstr,maps,translate,tr_ecom","spok":"id","video_suggest_use_serp":1,"video_search_grid_direct_repeat":6,"video_direct_config_desktop_search":"search-grid-row:R-I-48058-718:R-I-474674-109,search-grid-head:R-I-2120168-7","init_meta":{"enable-yabs-distr":1,"ask-user-purchase-history":1,"use-src-videoquickp":1,"enable-begemot":1,"enable_masthead":1,"use-src-videop":1,"use-src-videoquickp_misspell":1,"enable_blackbox_multisession":1,"begemot-enable-cancelled-misspell-rtmr":1,"enable_video_iron_fetcher":1,"use-related-only":1,"ask-yandex-io-devices":1,"use-images-device-setup":1,"use-src-imagesp":1,"images-apphost-collections-front":1,"enable_aab_apphost":1,"graph-is-video-search":1,"bg-bert-video":1,"use-src-imagesp_misspell":1,"use-src-imagesultrap":1,"use-video-apphost-pre-templates":1,"use-src-videop_misspell":1,"use-video-apphost-post-templates":1,"use-src-imagesquickp":1,"enable_video_carousels":"1","restrict-max-docs":"1000","use-images-region-setup":1,"use-post-auto2":1,"use-images-settings-setup":1,"use-src-ugc_favorites":1,"video_vitrina_disable":"0","use-images-user-setup":1,"use-video-pre-search-data":1,"begemot-no-suggest-history":1},"video_depot_viewer_masthead_ssr_only":1,"video_blender":1,"video_kebab_advanced_actions":1,"video_search_grid_enable":0,"video_viewer_desktop_fix_d2d_scroll":1,"video_depot_viewer_legacy_counters":1,"video_search_grid_direct_start":3,"video_adv_new_show_rules_docs_count":1,"video_related_suggest_enable":1,"video_redirect_plug":2,"video_adv_grid_inplace":1,"dark_theme_desktop_default_pref":"system","video_search_toggle_enable":1,"video_depot_viewer_related_adv_margin":400,"velocity_split_hydration":4,"video_duration_counter_new_format":1,"video_force_grid_on_premordie":1,"int_online_summarization_video_snippet":1,"video_morda_header_nav":1,"video_nohost_full_filter":0,"video_baobab_blockstat":1,"video_thumb_poster_full":1,"video_scrollpages":2,"video_serp_desktop_block_design":1,"video_nohost_youtube_filter":0,"video_viewer_host_link_mode":1,"video_comments_smart_nonstop":1},"slots":["1414494,0,81;1193316,0,3;66285,0,11;1500299,0,68;1518678,0,82;1522694,0,64;1519977,0,41;1519678,0,77;1511956,0,19;1516125,0,28;1515353,0,24;1519859,0,33;1523262,0,98;1522711,0,44;1282205,0,27;1513371,0,2;1518186,0,19;1521357,0,9;260562,0,39;1514438,0,32;88928,0,38;1520100,0,86;724556,0,63;724636,0,63;40255,0,38;30277,0,21;298,0,41;961010,0,38;1512853,0,64;1515119,0,49;1516615,0,74;151171,0,3;126339,0,95;1281084,0,20;287509,0,57;1447467,0,22;1482975,0,68"],"isYandexNet":false,"platform":"desktop","isEnLogo":true,"retpath":"https%3A%2F%2Ftwitter.yandex.com.tr%2Fvideo%2Fsearch%3Ftext%3Dformal%2Bmethods","mordaUrl":"//yandex.com.tr/","videoSearchUrl":"https://twitter.yandex.com.tr/video/search?text=formal+methods","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":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","backUrl":"//ya.ru","url":"https://twitter.yandex.com.tr/video/search?text=formal+methods","isIntegrationTest":false,"isEndToEndTest":false,"shouldDropLogs":false,"seo":{"title":"formal methods: Yandex'te 2 bin video bulundu","description":"Результаты поиска по запросу \"formal methods\" в Яндексе","keywords":"яндекс видео, поиск видео, смотреть онлайн, сериалы, фильмы, клипы","shareTitle":"formal methods — Яндекс — поиск по видео"},"isEmbedded":false,"isPumpkin":false,"sessionCsrfToken":"yb688f926529fa6f8ebdf5253e237d82f","reportFeedbackBaseProps":{"initEmail":"","metaFields":{"userAgent":"Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)","userTestids":"1414494,1193316,66285,1500299,1518678,1522694,1519977,1519678,1511956,1516125,1515353,1519859,1523262,1522711,1282205,1513371,1518186,1521357,260562,1514438,88928,1520100,724556,724636,40255,30277,298,961010,1512853,1515119,1516615,151171,126339,1281084,287509,1447467,1482975","queryText":"formal methods","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","userRegionName":"","userRegionId":"id() {\n return this._region.id;\n }","yandexuid":"7565788601774696067","uid":"0","isChildAccount":false}},"userTestids":"191768,238743,246500,253288,265553,270072,277807,274239,294077,278842,331010,338398,359879,415420,644350,652605,645301,679708,689693,690449,696466,696473,722746,740796,776165,771230,781521,790415,801982,851450,886706,883477,900639,931367,937268,969063,935488,945314,989988,982463,991363,990185,1015567,1011895,1035320,1033956,1035241,1036046,1087297,1060131,1071879,1078818,1077703,1116602,1045814,1131637,1144233,1151726,1156933,1174275,1173000,1167408,1202006,1194718,1221235,1228280,1239596,1226860,1246754,1276447,1289213,1316370,1313283,1321224,1300570,1320679,1352408,1342688,1344637,1341968,1345362,1343279,1367583,1336673,1348424,1382036,1391511,1384451,1402882,1407422,1417605,1424780,1429092,1438908,1444206,1449283,1452713,1457995,1459585,1461130,1492788,1495633,1511916,1514845,1523309,1299604","regionId":20815,"isYaRu":false,"shouldUnmountSearchPageInViewer":false,"videoGlobalContext":{"platform":"desktop","isPumpkin":false,"language":"tr","user_time":{"epoch":"1774696104","tz":"America/Louisville","to_iso":"2026-03-28T07:08:24-0400","__is_plain":1},"isHermione":false,"shouldStubImages":true,"enableVideoPreviewInHermione":false,"reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-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":"1414494,1193316,66285,1500299,1518678,1522694,1519977,1519678,1511956,1516125,1515353,1519859,1523262,1522711,1282205,1513371,1518186,1521357,260562,1514438,88928,1520100,724556,724636,40255,30277,298,961010,1512853,1515119,1516615,151171,126339,1281084,287509,1447467,1482975","queryText":"formal methods","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","userRegionName":"","userRegionId":"id() {\n return this._region.id;\n }","yandexuid":"7565788601774696067","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":"0237884746851250977113","disableDoc2DocHostLink":false,"shouldHideChannelLink":false,"disableChannelLink":false,"userConnectionRtt":153,"animated":false,"isDoc2DocScrollFix":true,"smartDesktopLayout":true,"enableVIImprovements":false,"enableLazyPoster":false,"isAdvDisabled":false,"isVideoTranslationSupported":false,"isSummaryDisabled":false,"isSummaryOnlineEnabled":true,"shouldRenderBroSummaryApiContainer":false,"shouldDropLogs":false,"shouldUseBeacon":false,"hasAdBlock":false,"rknWarnHosts":[""],"relatedAdvRootMargin":400,"postInstreamScreenDuration":2000,"minVideoDurationForInstream":120,"isInstreamEnabledInTesting":false,"wildcard":false,"isAdvUnderPlayerRedesign":false,"disableEarlyEventsUnsubscribe":false,"showDebugRelatedURL":false,"shouldUseBetaErrorLogging":false,"shouldShowMetaUnderPlayer":false,"isVideoViewerMetaTitleHidden":false,"isStickyPlayerDisabled":false,"headerNoFavicon":false,"headerBranded":false,"shouldCensorSensitiveContent":false,"shouldCensorShockContent":false,"isAdvUnderPlayerTransparent":false,"isDoc2DocGridLayoutEnabled":false,"detailsRedesignEnabled":false,"detailsRedesignV2Enabled":false,"detailsRedesignV3Enabled":false,"isD2DEmptyLoadFixDisabled":false,"isRoundedPlayerEnabled":false,"isSettingsToolbarRedesign":true,"isDoc2DocEmptyRetryEnabled":false,"isAdvUnderPlayerWithBackdrop":false,"isTouchAdvWithBackdrop":false,"isDoc2DocErrorScreenEnabled":true,"isDoc2DocFeedbackKebabEnabled":true,"isCommentsEnabled":false,"isCommentsCountOnSnippetsEnabled":false,"isCommentsSmartNonStopEnabled":true,"isVideoMainButtonInitiallyCollapsed":false,"isAdvUnderPlayerWithInnerPadding":false,"isKebabAdvancedActionsEnabled":true,"isKebabOnTouchVideoSearchEnabled":false,"isAdvVideoListLikeUnderPlayer":false,"isSummaryInMetaButtons":false,"isSummaryInMetaButtonsDesktop":false,"isMetaCommentsButtonEnabled":false,"isCommentsAuthPopup":false,"preventAdvHideOnEmpty":false,"isPlayerChangeCounterEnabled":false,"isSmallTitle":false,"shouldRestoreMuteState":false,"isAdvUnderPlayerWithSlider":false,"isAdvUnderPlayerCommentsAligned":false,"isSerialNavigatorDisabled":false},"shouldShowAdvId":false,"isAdultQuery":false,"isSensitivePage":false,"showSensitive":false,"showShock":false,"shouldReplaceHref":false},"user":{"tld":"com.tr","isEuDomain":false,"login":"","passportId":"","isLoggedIn":false,"locationName":"Columbus","isFamily":false,"yandexuid":"7565788601774696067","ugcCsrfToken":"","family":1,"isChild":false},"config":{"skinMode":"system","skin":"light","version":"releases-frontend-video-v1.1795.0__4f54f30c0556aec0594fd8e6b260a17234f66a22","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":{"17308930264063994630":{"videoId":"17308930264063994630","docid":"34-10-2-ZE7EA44961D33713B","description":"In this podcast, we cover the rich history of formal methods, explaining the basics of formal verification covering theorem proving, model checking and equivalence checking. We explain why formal...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3132311/84a793fb387319d3dd356796017b19b7/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/88wHCwEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"0","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DDKzvhyxNGao","linkTemplate":"/video/preview/17308930264063994630?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"4: History of formal methods","related_orig_text":"formal methods","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"formal methods\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=DKzvhyxNGao\",\"src\":\"serp\",\"rvb\":\"EqgDChQxNzMwODkzMDI2NDA2Mzk5NDYzMAoTMjYyODkxMDg2NTI3NzkwODM3OQoTNzc4NTc2NTM1NjYwODkxNTAyNQoTMjAzMDk1NDkxMzgyMTA2OTI3OQoUMTIxODUxOTk5NTU1MzcwODI5MjkKEjM1MTg0ODQ5NzM0ODc2NzUzNAoUMTU2MjY5NjQzNDM3ODY5ODU2MDIKEzgxOTEyOTE0MjkwOTQ0MzAxMzQKEzY4OTg3Njc4MDY4NTkwMTk5NjIKEzEyMDUzMDczOTUzNDA4NDI3NTQKEzU3NzU2NzQ0NjYyNDg4NzI1OTkKFDE0MjUyMDU2MzE4OTk4OTY1MTIzChM5NDAwMDg1OTE3NTQ2OTI4MzQ1ChM2MjU2MDMxNTkzMTExNDY4MTM1ChI1MDQxNTI4MTA5Nzc0NTY4NTcKEjYwMTI4MDE1NjQyMjgyNTM0MQoUMTM2NjkyNDkxNTk4MTc3MTMxODIKFDE4MDQzNjE1Nzg3NTgzMDk3NDUzChM5NzIzOTk2NzI4OTA3NTE1MDI5ChQxMjQ2OTAxMzYzMDc0ODg1MjI3NRoWChQxNzMwODkzMDI2NDA2Mzk5NDYzMFoUMTczMDg5MzAyNjQwNjM5OTQ2MzBqtg8SATAYACJFGjEACipoaHllcm10cGt2cW1jeXBjaGhVQzh3SG0tQzJYbDBYQzMtcHh5U0xtbkESAgASKhDCDw8aDz8TywaCBCQBgAQrKosBEAEaeIEH-_QJBvkA5gUH-A3_AQD_Bwn_9_7-AN4P9QQD-wIA9QH7DggAAAAUBQn-_wAAAAQB-Abx_QEAC_EB-gMAAAAf7gIB-gAAAA4H__n-AQAA__wK-wMAAAAMFgHz_wAAAAQJAAIH-gL_-hQLDgAAAAAT9P39AAEAACAALcKxwzs4E0AJSE5QAiqEAhAAGvABVQsN_5oa-fp_9u8B3ebuAb0W8f8Q-RIA9hEGAA3_BwEXFegA8fELANkN3_8f9f0A-_H9_w_49gD39O0A6ucHAATzBQD1_QcBGgbjAAoPEwD07hL_6fYL_xrv9wAa9QwAIvj4_AoI5QAU9AAA8NYFAvrsCwPzBgYE5wUSAhr8AAUTAAL48gL_AwcT9__0A_YC-gzx-wH8Cv7sBA7_GOkGAeAYAv_2_Ar88wfmBuoE5Pzi_vMA_eoHCgT0AAf3Ae37Be3p_xf4BwIAFg4B6wYVAgkaEgYHBBQJA_r-AhMAEv4E7Qf3EuMK-wPu7_8N7ADxIAAtuNpWOzgTQAlIYVACKnMQABpgFwwAL-sY77jvKvn7AOgE7ucwI-yn3QDf2wDmNAbdFwv35BAuABC1AhO3AAAAEPkSFRUAxmT_6eos8_Pb8Qb37zZ_B0_O6RkS_Mv10_XH_scy6EQWAPDbzQQ3BOcXEzoPIAAtDDk0OzgTQAlIb1ACKq8GEAwaoAYAACBCAAAUwgAAsEEAACxCAAA0wgAAkMEAAKhBAACIwQAAmMIAAADAAACAvwAAgD8AAETCAADAwQAAgEIAABzCAAAwQgAAoEAAAEzCAADIwgAAYEIAAABBAABQQQAAJEIAAGBCAAD4wQAAuMEAAJbCAABkQgAAKEIAAPhBAACAvwAANMIAAADAAADgwQAADMIAAABCAACkQgAAAEEAAARCAACAQQAAIEIAAMBAAAAwQQAAQMEAAIDBAABowgAAQMEAAJBCAAB8wgAAgMAAACjCAABkwgAAeEIAALBBAABAwgAAAMMAAABBAACgQAAAEEEAAOhBAACAvwAAAMEAAHDCAABwwQAAgL8AABRCAABQwgAAoMIAAKBBAAAAAAAATEIAADRCAACQQQAAMMEAAADBAACoQQAAEEEAAIhBAAB8wgAA4MAAACRCAACgwAAAyMIAAEDAAAAcQgAApsIAAHBBAABwQQAAgD8AADjCAAAYwgAAIEIAAFTCAAAwQgAAuMEAAEDBAABAQQAAoMAAAKBAAAAAwAAA6EEAAGBCAAC4wQAAssIAAEhCAAAwQgAAHEIAAMjBAADYQQAATEIAAAxCAAC4QQAAMMIAADhCAABwQgAAoEEAAJDCAABkwgAAUEEAADBBAACQwQAAqMEAAFxCAABAwAAAgMEAAEjCAAAAwAAAgMIAACDBAAAQQQAAuMEAAHRCAAA8QgAAMMEAAGDBAAAgwQAAEMEAABDCAACgwQAA0MEAADxCAABAwQAACEIAAPxCAABQQQAAcMEAACDBAABAwAAAREIAAJBBAAAwwgAAUEEAAAAAAAB0QgAAMEIAAMBAAABwwgAAAEAAACRCAACgwAAAwEEAAJDBAAC4QQAAcMEAADjCAAAAQgAAMMEAAFxCAABwwQAAYEEAAMBBAAAAwAAAIEIAAHDBAAAAwAAAqEEAAIDBAAA8QgAAyEIAAGRCAACAwQAAoMIAAJDBAAAgQQAAVMIAAFDBAAAYQgAAAAAAAKhBAABcwgAAgMAAAFDBAADwwQAA0MEAAFDBAADgwAAAQMIAACjCAACGwiAAOBNACUh1UAEqjwIQABqAAgAAyL0AADC9AABwvQAAgDsAAJi9AADCPgAA4DwAAAu_AAB0vgAAVD4AAOg9AACYvQAAcD0AAIg9AADovQAAvr4AAKI-AADIvQAAQLwAAJ4-AAB_PwAAcL0AAMo-AAD4PQAAEL0AAIg9AAA8vgAAHD4AAIA7AACoPQAATD4AAFy-AAAEvgAABD4AAIC7AAD4vQAAmj4AAL6-AACSvgAAyL0AAKi9AABAvAAA1j4AAOA8AAC4vQAAyD0AABy-AABsvgAAmr4AALa-AAC2vgAAMD0AAII-AAAMPgAAUD0AAEA8AAA3PwAAiL0AABw-AAA0PgAAHL4AABC9AAAwPQAAuD0gADgTQAlIfFABKo8CEAEagAIAAFS-AABwvQAAyL0AAFG_AABUvgAAHL4AAJo-AADYvQAAQDwAAKo-AACKPgAAiL0AANg9AADIvQAAcL0AADC9AABEPgAAFz8AAMg9AADKPgAAML0AABw-AABAPAAA-L0AAIC7AACIPQAAgLsAACQ-AAAQvQAAQLwAAMg9AADoPQAAgLsAAMg9AACePgAAjr4AALo-AADOPgAAor4AADC9AAD6PgAAED0AAGy-AACAuwAAJL4AAAQ-AAB_vwAAbD4AAAS-AACIvQAAij4AAFA9AADoPQAAND4AAHA9AAAUPgAAQDwAAOA8AAAUPgAAsr4AABA9AACovQAAgr4AAAw-IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=DKzvhyxNGao","parent-reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["17308930264063994630"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false},"2628910865277908379":{"videoId":"2628910865277908379","docid":"34-1-9-Z10C7829D46F3D88C","description":"Lecture# 01 \"Formal Methods in Software Engineering\" BS in Software Engineering , Course Code 304...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4215435/6f94ffcdf0eb8ddb26a8298085e95053/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/iXcuCgEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"1","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DD1frcipfi50","linkTemplate":"/video/preview/2628910865277908379?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Lecture# 01 \"Formal Methods in Software Engineering\"","related_orig_text":"formal methods","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"formal methods\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=D1frcipfi50\",\"src\":\"serp\",\"rvb\":\"EqgDChQxNzMwODkzMDI2NDA2Mzk5NDYzMAoTMjYyODkxMDg2NTI3NzkwODM3OQoTNzc4NTc2NTM1NjYwODkxNTAyNQoTMjAzMDk1NDkxMzgyMTA2OTI3OQoUMTIxODUxOTk5NTU1MzcwODI5MjkKEjM1MTg0ODQ5NzM0ODc2NzUzNAoUMTU2MjY5NjQzNDM3ODY5ODU2MDIKEzgxOTEyOTE0MjkwOTQ0MzAxMzQKEzY4OTg3Njc4MDY4NTkwMTk5NjIKEzEyMDUzMDczOTUzNDA4NDI3NTQKEzU3NzU2NzQ0NjYyNDg4NzI1OTkKFDE0MjUyMDU2MzE4OTk4OTY1MTIzChM5NDAwMDg1OTE3NTQ2OTI4MzQ1ChM2MjU2MDMxNTkzMTExNDY4MTM1ChI1MDQxNTI4MTA5Nzc0NTY4NTcKEjYwMTI4MDE1NjQyMjgyNTM0MQoUMTM2NjkyNDkxNTk4MTc3MTMxODIKFDE4MDQzNjE1Nzg3NTgzMDk3NDUzChM5NzIzOTk2NzI4OTA3NTE1MDI5ChQxMjQ2OTAxMzYzMDc0ODg1MjI3NRoVChMyNjI4OTEwODY1Mjc3OTA4Mzc5WhMyNjI4OTEwODY1Mjc3OTA4Mzc5aocXEgEwGAAiRBowAAopaGhlamRqYmJlZXZhaml1aGhVQ3FCRWo5QjFoTnhiemw3NU9wSjZLX0ESAgARKhDCDw8aDz8TtgiCBCQBgAQrKosBEAEaeIEIBvkMAAAA8Qn9CRAE_AETAgT59gEBAOYDBP0J_QIA8fr1-v8AAAAT_vsFAAAAAAMA8wD9_QEAE_UBAAMAAAAaAv0A9wAAAAoPAwD-AQAA__H7AQP_AAATBAH9_wAAAPoM-AP9AAAA9AMJAgAAAAAA9fT-AAAAACAALZlA1Ts4E0AJSE5QAiqEAhAAGvABZfsDAtcCMgEF9-UA_hz3AYEFC_8r8dUBze_2AKzu3__yKwX_0PP_ABAqHgDmAPP_G_Hi_1EBAAD_EAcAHR76AQAKCgBG7wAAFBDyAOr67ADyBAcAEvkLABP3EwDzEvz-IfsBAAb84wHxEPsB9_MYAgojBAIuBxEA7_P-AvUFBgDt9gwDHBTvAOb86v4KDwIJ7ALoAQEF_gb75QIG8Pb3BwP28gER-_L9Kf4BAwXs-_8CGgf9CwAIAf7x9gQHGxv78PIHAP35Bv3qAv4CEeoW-wjTDwTo7wUF6uzvBvft9_P7_wT20Qn7BPr6Dgr6CPn1IAAtbidIOzgTQAlIYVACKs8HEAAawAeM9vi-XgImPPEN6rxzHC68g3Z9PfTspLuXLLg8tw3-PDF1fLzRYO48VxIvPT4Ue72z8HW-x9CWvEVkQDnGa6Y-yKpSPOmXLbwX8V2-xxrkPEQ_iTz1oYO-PHfxOy7FlztEo2s-04U4PWQU1TxHzp092L-GPHQjLLypqsi7sl0mvV_BDL3OjE6-KyxdvUAIFrxuMLk82QVIvWqhxztg5yY-DdMNvfEe8byT1JO91SqVPDzhnbtP97C87z03vJbYKz1882s-4wsJvUd4GrzDgfA9Tj9NPMDTPzvyA_w7QU0IvbOJgrxvH4M8rgzqPJ99gDwUruc9pBiAvVMefrsSLoU7rg9LPTVd8Dtn5hM9BqoSvFZBEDsSHTi8SUCWvG-Przz_mTy9oRsQPde3ODxi4JQ80UESvdiygLuZ4mA8Nek7PTmfEzwErNU8M6KZPPTzSzzwoJu7LTlTPa70Wjzd83Q77w7fPDXx0Tko1d69aAr4vO0Dubs7xQo-VoMrvV_w5TunB2U9W5TZPNjCYjxC5q88yh0xPRGhVzu1Ri69FBlHvQbrazoqxQQ6LUsKvWSr8Dt2oX49ognUPNISIDoMshW-dFKpvO_rWbpbcgY9B1NePKTwyTtt3p09jsAFOQQNS7u1xbE7FFglvC450bsgvby8gmh3vX_LlDtxybG8l_wVPNG9WjuYb1g8w6CnPDF5Bzw8PpA8eme-vE1MULq7XEk9HJXbPNZU9TojKjk9rSUOvSQ2TDvRYC49jV1nPVxzNbemL5-8h30svY_i8TkcYnc9565ju9YUtLk1aQk9kI32vFh-AzrlQmW8pG_SvIY_DrhwStQ8yFFKvc2Firnl9kO7_AMAvazrCrk7mAM9zgr7u70x67pjdGq94BlovVlv_bfM--68Vj0JO7u7lrnxRZA9Uq1PPJ6yvziwZWg9RTcRPQBDfTiOuQQ8jQsHPc44CTlleKa7AJQaPTZx0DgdgrS8Vez5vEddI7hfssG96wBIPashNLi1ITW8L8vwulxEnrgfNVK6FRvzPGYSyLipg-E8zysDvfst4zXoThA916XGPGkihDj_DEq70D-kux4TRzjfn1c90cdhve53qjinJOs96XUYuuJaRbi0Va487jFHvIBMn7fb1VU970GJOb4mHbiOqsu8cRb-u5mnn7YR7y89gvxPu13qBDfi0xe9mT4FvXTG1rZTZU48e1yVvV51vLe5wXU8LewJPoYn5zhxfGO9-iUCPqmBLLn7NxS9ic43Pa8Nj7e9tBK6WZ-XvfJmM7ggADgTQAlIbVABKnMQABpgNP8AJdsfEtLpOu76-OAlCfI-_P--9_8ZxQAdQRr69CLZvTAU_zzaPhmkAAAAKu3IBdgA5X_0w_o11ygXxr4C7QJ3wR8sxQMy8brSA_be4N4bEjJpAPzooew7_aQXIxnkIAAtAUIYOzgTQAlIb1ACKq8GEAwaoAYAACTCAADgQAAAoEIAAODBAABoQgAAgEAAAEDBAABwwQAAcEEAAJDBAAA0QgAAgsIAABBBAACqwgAAwMAAACjCAACAQgAAYMIAAEBAAAAAQQAAFEIAAOBAAADAQAAAsEEAAKRCAADgQAAAiMIAANDBAADwQQAA0EEAAGDBAADQQgAAgMAAACBCAACKwgAAqMEAAEBAAAC4QQAA8EEAAJBBAACAwQAAmEEAACBBAAC4QQAAEMEAAJjBAAB8wgAAgMEAAKBAAAD4wQAALMIAAAzCAAB8wgAA0EEAAHhCAACAwAAAAMMAAExCAABwQQAAoEEAAOBAAABQQgAAEMEAAI7CAAAAQQAA6MEAAFDCAAC8wgAAWEIAAEBBAAAQwgAAXEIAAJLCAABQQgAA2EEAAGzCAAAwwQAAkMIAAAzCAAAUQgAAmMIAAJZCAAAQQQAALEIAADDBAADIQQAAGMIAAKZCAAD4QQAACMIAAIBBAACWQgAANEIAADDBAAAIQgAAWMIAAARCAABgwQAAREIAAEDBAADQwQAALEIAAHBCAAAwwQAAaMIAAAAAAACiQgAAqMEAAEDBAAAkQgAAwEEAAGDBAABswgAAHMIAABBCAACYQQAAlkIAALhBAAAAwgAAKMIAAIA_AACAwQAAUMIAAEDCAACIQQAAAAAAAIA_AACgQAAAEMEAAHjCAAAgQQAACMIAADjCAAAAwAAAKEIAAABAAAAAQQAAoEEAALjBAADgwQAAoMAAANhBAAAAwAAA4MAAAIC_AADgwAAAMMEAAIA_AACwQQAAgMEAAOBBAACYwQAAoMEAAFDBAACwQQAArEIAAEBBAACSwgAAgEEAAMBCAAAgwgAAUEIAACBCAACowQAA4MEAADDCAADAwAAAUEIAACTCAACAPwAAQMAAACxCAAAAQQAAEEEAAFDBAAAYwgAAMEEAACjCAAAIQgAAFEIAADBBAAAwwQAARMIAAJjBAAAAAAAACMIAABzCAADwQQAAYEEAAABBAACIwgAALMIAAFRCAACAQAAACEIAAKpCAAAwwQAARMIAAKDBAAAQwSAAOBNACUh1UAEqjwIQABqAAgAARL4AALi9AAAEPgAA6D0AAJi9AACIvQAAUL0AAAe_AACSvgAA6D0AAHA9AAAcvgAAUD0AADA9AABQvQAAML0AAKI-AADIvQAA-D0AAKY-AAB_PwAAEL0AADC9AAAcvgAAjr4AAEA8AACYPQAAqL0AAIa-AACoPQAALD4AAIC7AAAMvgAA2D0AALg9AACgPAAA2D0AAPi9AACIPQAAqD0AAIq-AABAvAAAsj4AABA9AAAkPgAAuD0AAOg9AABcvgAAhr4AAMK-AADgvAAAcL0AAEw-AABAvAAAcD0AAFC9AAATPwAATL4AAOA8AAAwPQAAcD0AAOg9AACgPAAAgDsgADgTQAlIfFABKo8CEAEagAIAAES-AABAPAAAdL4AABO_AAAQvQAAiD0AAHA9AAD4PQAAHL4AAI4-AACAuwAA4LwAALi9AAD4vQAAyD0AAFC9AAAwPQAAFT8AADy-AAC6PgAA2L0AAAQ-AACYvQAA4LwAAEC8AACgPAAAoDwAAFA9AABAvAAAEL0AAHA9AAAwPQAAMD0AAOC8AABwPQAAUL0AACw-AAAHPwAAPL4AAKi9AACCPgAABL4AAKC8AADovQAAED0AAKA8AAB_vwAAqD0AAHC9AAAQvQAALD4AAPi9AABsPgAAoDwAADA9AAAwPQAAQDwAADA9AABQPQAAUD0AAIC7AACIPQAAqL0AAMg9IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=D1frcipfi50","parent-reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1920,"cheight":1080,"cratio":1.77777,"dups":["2628910865277908379"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false,"videoContentId":"1127836260"},"7785765356608915025":{"videoId":"7785765356608915025","docid":"34-6-5-Z5667AC6BAE17D4C8","description":"Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/775920/023d7c08c446accac617149a74dded1c/564x318_1"},"target":"_self","position":"2","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DtJKybJz-mFo","linkTemplate":"/video/preview/7785765356608915025?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Formal Method: Introduction to Z Language Schema","related_orig_text":"formal methods","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"formal methods\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=tJKybJz-mFo\",\"src\":\"serp\",\"rvb\":\"EqgDChQxNzMwODkzMDI2NDA2Mzk5NDYzMAoTMjYyODkxMDg2NTI3NzkwODM3OQoTNzc4NTc2NTM1NjYwODkxNTAyNQoTMjAzMDk1NDkxMzgyMTA2OTI3OQoUMTIxODUxOTk5NTU1MzcwODI5MjkKEjM1MTg0ODQ5NzM0ODc2NzUzNAoUMTU2MjY5NjQzNDM3ODY5ODU2MDIKEzgxOTEyOTE0MjkwOTQ0MzAxMzQKEzY4OTg3Njc4MDY4NTkwMTk5NjIKEzEyMDUzMDczOTUzNDA4NDI3NTQKEzU3NzU2NzQ0NjYyNDg4NzI1OTkKFDE0MjUyMDU2MzE4OTk4OTY1MTIzChM5NDAwMDg1OTE3NTQ2OTI4MzQ1ChM2MjU2MDMxNTkzMTExNDY4MTM1ChI1MDQxNTI4MTA5Nzc0NTY4NTcKEjYwMTI4MDE1NjQyMjgyNTM0MQoUMTM2NjkyNDkxNTk4MTc3MTMxODIKFDE4MDQzNjE1Nzg3NTgzMDk3NDUzChM5NzIzOTk2NzI4OTA3NTE1MDI5ChQxMjQ2OTAxMzYzMDc0ODg1MjI3NRoVChM3Nzg1NzY1MzU2NjA4OTE1MDI1WhM3Nzg1NzY1MzU2NjA4OTE1MDI1aq8NEgEwGAAiRRoxAAoqaGhjbXZyamt4cWVtY3Z6Y2hoVUN1ajBqRi00SzZoYnNZSXJTbkVaT0V3EgIAEioQwg8PGg8_E-sNggQkAYAEKyqLARABGniB-wQBAv4DAO8DBgYAA_8BDP77CPf__wD4_f4DBQL_AAH5APf6AQAABgz_BQMAAAD38_0J-P8BAAQG-wf5AAAAFwT8Cv8AAAAOA_j-_gEAAPLzAQH2AgABEggC9P8AAAD6FQj8_v8AAP4PBQAAAAAA--z-_wAAAAAgAC2ddds7OBNACUhOUAIqcxAAGmAuDwALA_D1zi393Q322_3w3hv3-pXhABnT_zAp9tcAKwSBLP__CQYcB6kAAAD7CgEdEgDuZhP_yS8HCw0O7eQ-HG5PJO8N8fMR0un6-jbXLPj0K_8AFgAJCTbszDoiagogAC2FQy07OBNACUhvUAIqrwYQDBqgBgAAAMEAABxCAAC-QgAACMIAAGhCAACwQQAAIEIAAOBAAAB4wgAAkMEAAGxCAABUwgAAQMIAAKjBAACsQgAAqMEAAIA_AACmwgAAQEEAANDBAACQwQAAksIAAJBBAAAEQgAAsMEAAADAAABkwgAAzMIAAJRCAAAAQgAASMIAALBBAACcwgAAIMEAAEDCAACAwQAAAMAAAABCAAAIQgAAmEEAALjBAABQQgAAgD8AAKhBAAAAwgAABEIAAJbCAADowQAAYEIAACDBAACQwgAAFMIAAKDAAACAQQAAjkIAAHDBAACMwgAAwMAAAEBBAADgQQAA2MEAAKhBAACIwgAA4MEAADBCAACowQAAwMAAAIBAAACawgAAkEEAAKBBAAAIQgAANMIAAFBBAAA4wgAAgMEAAETCAAAwwgAANEIAAIBBAACkwgAA_kIAAPDBAAA0QgAAgsIAABTCAAAAwgAA4MAAAIBBAACgwQAAKEIAAIBBAADgwAAAoMEAAJhBAACMwgAATMIAAADCAAAQQgAAoMIAAPDBAAAMwgAAWEIAAPjBAADIwQAAoMEAAOhBAAAAwAAA4EAAAABAAADYwQAA2MEAAIDAAAD4wQAA4EEAACBBAADAwQAAJMIAACBBAACwwQAAIEEAAOjBAACIwQAALMIAACzCAAD4wQAAgD8AAKhBAAC4wQAAVMIAACBBAABAwgAAGMIAAADBAADYwQAAJMIAACBCAADIwQAAwMEAAFjCAABAwAAAmEEAABTCAAA4wgAAwEEAAABBAACgwQAAoEEAACRCAAAwQQAAoMIAAFDBAACgwAAA0MEAALDBAABQwQAAXMIAADDBAACowQAA4EEAAMBAAAA4QgAANMIAAIpCAADCwgAADMIAAAhCAAAwQgAAAEIAAKjBAACAQQAAgEEAAEBAAADYwQAAIEEAAOBAAAAgQQAATMIAABhCAABEQgAAKMIAAGjCAADwQQAAPMIAABBBAACAPwAAcMEAAKDBAAB4QgAAQMEAABDBAAAgwQAAGEIAAABBAAAQQgAAbEIAAAzCAAAAQgAAQEAAALDBIAA4E0AJSHVQASqPAhAAGoACAACAOwAABL4AAI4-AAAkPgAAuD0AAHA9AACgPAAAvr4AAJa-AAAEPgAAQLwAAKC8AABQPQAAJD4AAPi9AABQvQAAND4AAHC9AACAOwAAkj4AAH8_AACIPQAA4DwAAEw-AAAUvgAA4DwAAKg9AADIvQAAcL0AABA9AACAOwAAmD0AAKi9AADgPAAAmD0AALi9AABsPgAATL4AAHy-AABwPQAAfL4AAJi9AABAPAAAMD0AAAS-AAAQPQAAPD4AAEy-AADovQAAmr4AAIC7AAAQPQAAFD4AAOg9AABMvgAAcL0AANY-AABwvQAAmD0AAMY-AADovQAAcD0AADA9AADIPSAAOBNACUh8UAEqjwIQARqAAgAAmr4AAOC8AAAMvgAAF78AAEA8AABAvAAAqD0AABA9AACIvQAAND4AAKg9AADIvQAAQDwAALi9AACoPQAAmL0AAIg9AAA3PwAAqL0AAKI-AAB8vgAAMD0AAFA9AACYvQAAiD0AAJi9AAAsPgAABD4AAEQ-AABAvAAAUD0AAAQ-AACWvgAA6D0AAIY-AAB0vgAAsj4AALY-AACKvgAAcL0AAGQ-AAAkvgAAmr4AAKg9AABEvgAAgLsAAH-_AABQvQAALL4AAEQ-AACYPQAAcL0AAOC8AACIPQAAbD4AABA9AABAPAAAdD4AAJg9AACAuwAAJD4AAAw-AACgPAAALL4gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=tJKybJz-mFo","parent-reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":640,"cheight":360,"cratio":1.77777,"dups":["7785765356608915025"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false},"2030954913821069279":{"videoId":"2030954913821069279","docid":"34-3-17-Z5F89F6E9E1114059","description":"Formal Methods in Software Engineering Video lecture series 2 Circle and 3 Circle Venn diagram Word problems Lecture # 5 link : • Lecture# 05 \"Formal Methods in Software En... Google classroom...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/2900913/8b534bbb6f7292694a13bf371c85098a/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/5cWLNgEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"3","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D7SFELYKx44E","linkTemplate":"/video/preview/2030954913821069279?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Lecture# 06 \"Formal Methods in Software Engineering\"","related_orig_text":"formal methods","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"formal methods\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=7SFELYKx44E\",\"src\":\"serp\",\"rvb\":\"EqgDChQxNzMwODkzMDI2NDA2Mzk5NDYzMAoTMjYyODkxMDg2NTI3NzkwODM3OQoTNzc4NTc2NTM1NjYwODkxNTAyNQoTMjAzMDk1NDkxMzgyMTA2OTI3OQoUMTIxODUxOTk5NTU1MzcwODI5MjkKEjM1MTg0ODQ5NzM0ODc2NzUzNAoUMTU2MjY5NjQzNDM3ODY5ODU2MDIKEzgxOTEyOTE0MjkwOTQ0MzAxMzQKEzY4OTg3Njc4MDY4NTkwMTk5NjIKEzEyMDUzMDczOTUzNDA4NDI3NTQKEzU3NzU2NzQ0NjYyNDg4NzI1OTkKFDE0MjUyMDU2MzE4OTk4OTY1MTIzChM5NDAwMDg1OTE3NTQ2OTI4MzQ1ChM2MjU2MDMxNTkzMTExNDY4MTM1ChI1MDQxNTI4MTA5Nzc0NTY4NTcKEjYwMTI4MDE1NjQyMjgyNTM0MQoUMTM2NjkyNDkxNTk4MTc3MTMxODIKFDE4MDQzNjE1Nzg3NTgzMDk3NDUzChM5NzIzOTk2NzI4OTA3NTE1MDI5ChQxMjQ2OTAxMzYzMDc0ODg1MjI3NRoVChMyMDMwOTU0OTEzODIxMDY5Mjc5WhMyMDMwOTU0OTEzODIxMDY5Mjc5arUPEgEwGAAiRBowAAopaGhlamRqYmJlZXZhaml1aGhVQ3FCRWo5QjFoTnhiemw3NU9wSjZLX0ESAgARKhDCDw8aDz8T_QyCBCQBgAQrKosBEAEaeIEGB_kEA_0A8An9ChEE_AEQ_QYC9gEAAOUP_PgI_QEA8Pr1-f8AAAAYCf0B_QAAAAQA8wD9_QEAFPUBAAMAAAAU-AL-9wAAABEJBgP-AQAA__H7AQP_AAAQAAj6_wAAAPoM9wP9AAAA9ggBAAAAAAAC_OoEAP8AACAALTGCyjs4E0AJSE5QAiqEAhAAGvABfwMUA8wN_P_dBNEAAQjLAbL4Iv8vEc8A1A4D_6726gD4IvMB0Prz_wYZEADL5f3_BPni_yX7_AAb5v__6wLrAfEPDAAkxPYBIRYXAP4E7P_THBj-1ekNAA_h-QAIJvAADAwO_iwi4_828tcCDf41AQYdJggF7Af_5xDsA_UYCP8LBOX9_PcGBvvnCf758A0F6wryAwojBvrr_uQDGvLc_wjr_wUu7PcEMB39AugKCfry-f4E_Ob4Bej5GwEJDe7_4f8K9ezDDQP__xP7C-sH_QbiCwb0CPMO8vL_9P7TCPj4CAAH3v_4BAEC_gAEDPgCIAAt310uOzgTQAlIYVACKnMQABpgYOsAMPciDNT7HuT6zOso4-kmDwrN2_8SwgAFRxH5DS0HtiwPADLsLP6mAAAAIOrN_9oA5nb5ywMs8Q4Sy8nn-AF_6xoH2t5BFNvb6PDPy-87BmRYAODkrw005ZYaJwsaIAAtmDUbOzgTQAlIb1ACKq8GEAwaoAYAAFhCAADQwQAAgMAAAKjBAAAcwgAAcEEAAADCAACAwQAAAEAAAEzCAAAYQgAAQEEAAIjCAADIwQAAHEIAAPDBAACAQAAA-MEAAHzCAABQwQAASEIAANBBAAC4QQAAEMEAAADAAAAAQgAApMIAAGDBAABoQgAAVEIAAEjCAAA0QgAAZMIAAKBCAAAAQQAANMIAAIA_AADMQgAA0EEAADzCAABAwQAAgMEAAEBAAACcQgAAcEEAAODBAACYwQAAXMIAAJ5CAABAQAAAkMIAAIBBAABAwAAAAMIAADBBAABgwQAArMIAAGTCAACQQQAAQMAAADBCAABAQQAAQMEAAIDBAAAAQQAAgkIAAOhBAACAQAAA8MEAAJTCAACgQQAACEIAADDBAAAwwgAAoEAAAJjCAADIwQAAkMEAACBBAAAgQQAAAAAAAFDBAACkQgAAIEEAAFjCAADgwAAAEEEAAADCAADoQQAAsEIAAJDCAAAAQQAAAEEAANjBAACAwQAAyMEAAFDCAADgQAAAIEEAAADAAADgwQAAwEEAAJjBAACQwQAANMIAAABAAABgQQAAFEIAABzCAACQQQAAwEIAAKDBAAAAwgAAwEEAAABAAADIQQAAgEIAAHzCAABwwQAA8EEAAHBBAAD4wQAApMIAAEDBAACQQgAAsMEAAABAAAC4QQAAAAAAACTCAABwQgAAkEEAAIDBAAAgQgAA-EEAAOhBAACUwgAAIMEAACjCAADAwQAADMIAADDBAAAowgAA2EEAADBCAACAQQAAgL8AAIBBAADEQgAA6EEAABRCAACGwgAA2EEAALBBAADAQQAAiEEAAPDBAAAAwgAAgMAAAARCAAAwwQAAGEIAADzCAACAwQAAuMEAAKjBAAAwQQAAmEIAALhBAACIwQAAXMIAAIBCAABAwgAAGMIAAABAAAAAAAAAEEEAALrCAAA8QgAAbEIAAIjBAAAwwgAAksIAAMBAAACQQQAAaMIAAIC_AACoQgAALMIAABhCAABgwgAAisIAAAhCAABQwQAAIMEAAADAAAA4QgAA8MEAAL7CAADgQCAAOBNACUh1UAEqjwIQABqAAgAATL4AAIi9AACIPQAAfD4AAIC7AACYvQAA4LwAAAO_AACCvgAAED0AAHA9AADYvQAAFD4AADQ-AADgPAAAcL0AAIo-AACAuwAAJD4AAI4-AAB_PwAA2L0AAIg9AAAMvgAAnr4AABA9AACgvAAARL4AAJq-AACgvAAAXD4AAIi9AAC4vQAAoDwAAIg9AAAEPgAAoLwAAOi9AAAcvgAA-D0AABy-AAAQPQAAND4AAAw-AACIPQAAHD4AAFw-AACivgAA-L0AAJq-AAAMvgAAEL0AAJo-AACIvQAAuL0AAIC7AADSPgAABL4AAEC8AABMPgAAQLwAAJg9AABAvAAAQDwgADgTQAlIfFABKo8CEAEagAIAAMi9AADoPQAAlr4AAAe_AAAkvgAAML0AADA9AAAwPQAA2L0AALo-AACAuwAAiL0AAHC9AABEvgAAQDwAAFC9AABAPAAAAT8AABS-AADGPgAAQDwAABQ-AACovQAA4LwAABC9AAAQPQAAML0AAJg9AAD4vQAAoLwAAFA9AADYPQAAQDwAAKC8AABwvQAAyL0AAHw-AADmPgAAZL4AAFC9AAA0PgAAqL0AANi9AACovQAAHD4AAKg9AAB_vwAAiD0AAKi9AACIvQAAND4AAAS-AAAcPgAAMD0AABA9AABwPQAAgDsAAKA8AABAPAAA2D0AADC9AACoPQAAiL0AAHA9IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=7SFELYKx44E","parent-reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1920,"cheight":1080,"cratio":1.77777,"dups":["2030954913821069279"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false,"videoContentId":"1328494624"},"12185199955537082929":{"videoId":"12185199955537082929","docid":"34-8-1-Z297EFF6EACA0A0D5","description":"Propositional and Predicate Logic in formal methods using VDM-SL...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/466472/01be78353e66786a18474f8ebe22e5cf/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/guBE0wEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"5","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D10guYFvVsks","linkTemplate":"/video/preview/12185199955537082929?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Propositional and Predicate Logic formal methods in software engineering lecture 2","related_orig_text":"formal methods","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"formal methods\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=10guYFvVsks\",\"src\":\"serp\",\"rvb\":\"EqgDChQxNzMwODkzMDI2NDA2Mzk5NDYzMAoTMjYyODkxMDg2NTI3NzkwODM3OQoTNzc4NTc2NTM1NjYwODkxNTAyNQoTMjAzMDk1NDkxMzgyMTA2OTI3OQoUMTIxODUxOTk5NTU1MzcwODI5MjkKEjM1MTg0ODQ5NzM0ODc2NzUzNAoUMTU2MjY5NjQzNDM3ODY5ODU2MDIKEzgxOTEyOTE0MjkwOTQ0MzAxMzQKEzY4OTg3Njc4MDY4NTkwMTk5NjIKEzEyMDUzMDczOTUzNDA4NDI3NTQKEzU3NzU2NzQ0NjYyNDg4NzI1OTkKFDE0MjUyMDU2MzE4OTk4OTY1MTIzChM5NDAwMDg1OTE3NTQ2OTI4MzQ1ChM2MjU2MDMxNTkzMTExNDY4MTM1ChI1MDQxNTI4MTA5Nzc0NTY4NTcKEjYwMTI4MDE1NjQyMjgyNTM0MQoUMTM2NjkyNDkxNTk4MTc3MTMxODIKFDE4MDQzNjE1Nzg3NTgzMDk3NDUzChM5NzIzOTk2NzI4OTA3NTE1MDI5ChQxMjQ2OTAxMzYzMDc0ODg1MjI3NRoWChQxMjE4NTE5OTk1NTUzNzA4MjkyOVoUMTIxODUxOTk5NTU1MzcwODI5MjlqhxcSATAYACJEGjAACiloaG90ZGF4dWJpeG9zYWhoaFVDdmppa0RpRUstUW92NXVDb2RrVGhjURICABEqEMIPDxoPPxP_BIIEJAGABCsqiwEQARp4gQf79AkG-QDuBQ0GEgT9ABgGBgL0AgIA4AH2_wr8AgD38_Xt_wAAAA0N_wD5AAAA-vzz-fT-AQAEBfcIBAAAABwC_QD3AAAABh0GBv4BAAD-7QYBA_8AABr7A_P_AAAA8Qz__vr_AAD4Aw37AAAAAAX9AvgAAAAAIAAtwrHDOzgTQAlITlACKoQCEAAa8AF_AfEDshUG_DX04QD7BPkBo_IVACQEDwDMCvEA4hDzAQAJ6wDq8RP_8f4QAewSE___6ugAE-z-ABT6EwA5EwAA_hAeABnj-AEY_QUB_wPw_wEFCv8Y8xH_EfEIADILFgIJDBb_3xnj_g0BGP0PAhQAFP8VBP0MDgAS-Qf_8_kJBP0HAgIM5woD6fzs_vEFGQH3DAb-6w0Q_fzoAgUVIdz--gX4AAAL9Pr_5gQHDA32-u_x_v3-Be_2FPwXBOv7BAcR7fkH_vb1_Pb5_wAN2AUE6vkH-vb7A_cBJPME__EF9_MSBfEFAv73AA0HD_T5-v8gAC1TwWA7OBNACUhhUAIqzwcQABrABxcrCr8jP461PNWIO3vCjT2Wr-w7lIeFvMcihz19ESO8FQMkvB-BP7xNLNU8jVLXu7Iv4b6OiHM8gsDSurXhkD66ETa9GokwPcnuXb3ifvY8GNZIveC7bb5eipY9FrlMvNJIlT3-Is28Hu0JPREXxT06wxk9sN-4PCGys71NO627qzFXvA9YQ70_GWO8bInmvB5w_T13gKu70e8Yu-vgsD1_eIy8fBVPvK31ar07URI9JcmYvL-1g715ioE8WmkMuyvZ8T09fQS9LwFTPDysJjzg1p08_noqvFTDXj3_cec8nu4cPR9n2r0Mko49dQahPNKjjj2ZpA29UN-yPIATZb3IjFY6f_2rPBpCjz328MA8ZzGpOnXvhz2NPzY94rmtPLNN4LyC_4w76gWCu1wdAD6QZpE8M1eCO2tzrbtc4zg9A50kvLd-9juqiVQ9uOOwugFvnrsmrI09Trj5OfM5h73pWO-83VClujZDw7sD7z898Bv8ug-22D1co2-9sO2IPD-8-Dx5RYs8DrNhPK7evLyqGvM8hX9_uRsbsDw0AMo8JP6XvLWRJj1_qzA9ux3Mu5aLgjyPeZM8tOJAvNh1Gb0cako8M1Elu74KWj3XJ8q8RQdqO0F4fryynAS7OLTQO3DBiDwHlZ288HAavOOAJ71ovY481Hw6vMiAh7yd8qi8PJj7O9W8eT2bffo5gtA0O4sx1TzXQyW9qOOCupVFoTz9uwO9smg2uwnrErwRgXS9dWH_umYVtjxeb3E9PpKzOXgptbxKtlq9aOf_udUI_Ty9vfU8IqyOuZsynDw7MKW8tW4kuaeHUj05uV-9rEGGuAHgM7yGXOO7FuxQOs-B5b3VaKg8FqYoOWKqzzxWMOi6qSNcOITTpzx7MOm8eLIGuNNdY7275wo9LrqPOPrESzwtHHS62_9It7KvhrwoTzS97ZICOm2dyTyioC-9f6OmuauzmrxN-0E8WKtDt7fJcjxtLR29y6PCuEYu07z2ARI9aAvxOOKJKj1zVno9ZNmpN4lTV72xoga9RjtHuBLRt7sM_Yi9UGX6N9pO5TxkLIk8fJqYuMov6LyPD4S8Eqb0N0hISbzZDEu86IkluPsHET0GxpM7gHIKuDChgj24UY694oREuJqqAD3J3Uw9MI5GuNAxezxpWZI8UdpGOFcgHz19fYg8ao2NtpqQALnAxGm8qAGHuLf2GT0OVUe9bKlYuIqWVz0QWPk9jRdAONiioLx1La07g7vruOEti72bf8s65gAKOG_4ODxnZoG9EXjhtiAAOBNACUhtUAEqcxAAGmBJAABABxv42-cr0ekN3xX84UgWGcjz_x_c_xo_Bd8B__LnJRb_TLQU7qYAAAAs29McAgDef-rGvx3q5vbCxPTvFHjcJhbn8CvUrK_SCPfN6hsMPloA6-CrIj_5vhshFwMgAC1paxo7OBNACUhvUAIqrwYQDBqgBgAAREIAAFhCAACOQgAAuEEAAATCAACAvwAABMIAAJDCAAC4wQAAiEEAAIC_AACoQQAAQEEAAEDCAAAEQgAAisIAAJhBAADgQAAABMIAAODAAACIwQAAAAAAAGDBAAAAQgAAbEIAAJhBAADYwQAA-EEAAFxCAACgQQAAgD8AAFRCAAAkwgAAFEIAACBCAACCQgAAEMIAAP5CAAC4wQAAyEEAAMhBAAA8wgAAAEIAAMDAAACgQAAAyEEAADDCAADAwQAAGEIAAKDBAACgwQAAPEIAAAAAAAC4wQAAUMEAAExCAACcwgAAuMEAAPBBAAAsQgAAiEEAAPBBAADwwQAAMMEAAIBAAADgQAAAMEEAAAhCAABUwgAA8MEAAGBBAAAkQgAAQMIAAAxCAACgwAAAksIAAAhCAABwQQAALEIAAAzCAAAEwgAAFEIAADDBAAAUQgAAQEAAAFDBAAAAQgAAqMEAAMhBAADAQQAAosIAAEBBAADYwQAA0MIAAIhBAAAkwgAAUEIAAHxCAADgQAAAYMEAAAhCAABEwgAAaEIAAJTCAACgwAAA4EEAABDBAAC4QQAAAMEAAIjBAAAwQQAAQEAAAJzCAAAYwgAAjEIAAFRCAACgQQAAtMIAAIA_AACQwQAAPMIAAEBBAABgwQAAaMIAABBCAAAgQgAAqEEAALLCAAAQwQAAosIAAGxCAACAQAAAiMEAAJZCAABAQQAAYEEAAGhCAABAwQAAgEEAAILCAACQwQAASEIAAIDBAABgwQAAAEIAAEDBAAAAwQAAXEIAAKBAAACYQQAAsEEAAIBBAABcwgAAZMIAANjBAACoQQAAiMEAAATCAABwwgAAiEEAAKhBAABAQAAAVMIAAIDBAACAQAAA4MAAAIhBAABQQQAANEIAAABBAAB4wgAAEEIAACzCAADAwQAAJMIAAAhCAAC2wgAAaMIAAIhBAADkQgAA-MEAALjBAADwQQAAHMIAAJRCAACgwAAAkMEAALBBAABwQQAAOEIAANhBAACewgAAuEEAANhBAACowQAAUEIAAHDCAAAUwgAAaMIAAADAIAA4E0AJSHVQASqPAhAAGoACAAB0vgAA4DwAANg9AAAwPQAANL4AAPg9AAAkPgAAM78AACy-AACAOwAAMD0AAIq-AADIPQAABD4AAKi9AABwPQAAXD4AAJi9AACCPgAA-j4AAH8_AAAQvQAAUD0AAHC9AACGvgAAPD4AABC9AAAUvgAA-L0AAPg9AABUPgAAJL4AAFy-AAC4PQAAqD0AACQ-AAAwPQAA2L0AAOi9AAAUvgAAkr4AAKg9AAAsPgAAcD0AAFA9AAAQPQAAZD4AAKK-AACovQAAkr4AADC9AAAcvgAAPD4AANg9AACAOwAAQLwAABs_AAD4vQAAmL0AAMI-AADIvQAADD4AAHA9AAAEPiAAOBNACUh8UAEqjwIQARqAAgAAJL4AANg9AAAkvgAAE78AANi9AACIvQAAuD0AAPg9AAAEvgAA1j4AANg9AACgvAAAoDwAACy-AACgvAAAiL0AABA9AAATPwAAqL0AALY-AAAQPQAALD4AAKC8AAAMvgAAQLwAAFA9AACAOwAARD4AACS-AACAOwAAuD0AAFA9AABAvAAAmD0AAJg9AAA8vgAATD4AABE_AAB8vgAAEL0AANo-AAAsvgAAcL0AALi9AACAOwAAED0AAH-_AAA8PgAA-L0AAEC8AAAUPgAAMD0AAFQ-AADIPQAA6D0AADA9AACgvAAAUD0AAFA9AADYvQAA-L0AAFA9AADIvQAA2D0gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=10guYFvVsks","parent-reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":854,"cheight":480,"cratio":1.77916,"dups":["12185199955537082929"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false,"videoContentId":"3905235475"},"351848497348767534":{"videoId":"351848497348767534","docid":"34-4-6-Z54060D4201699164","description":"Software, Software Development Lifecycle, Formal Methods in Software Engineering, Critical Software...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3244157/8a6074d9850f4960670230296fd268fe/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/6DnjBQIAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"6","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DyYxmxo7wiwY","linkTemplate":"/video/preview/351848497348767534?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Introduction to Formal Methods, Lecture 1 [Urdu/Hindi]","related_orig_text":"formal methods","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"formal methods\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=yYxmxo7wiwY\",\"src\":\"serp\",\"rvb\":\"EqgDChQxNzMwODkzMDI2NDA2Mzk5NDYzMAoTMjYyODkxMDg2NTI3NzkwODM3OQoTNzc4NTc2NTM1NjYwODkxNTAyNQoTMjAzMDk1NDkxMzgyMTA2OTI3OQoUMTIxODUxOTk5NTU1MzcwODI5MjkKEjM1MTg0ODQ5NzM0ODc2NzUzNAoUMTU2MjY5NjQzNDM3ODY5ODU2MDIKEzgxOTEyOTE0MjkwOTQ0MzAxMzQKEzY4OTg3Njc4MDY4NTkwMTk5NjIKEzEyMDUzMDczOTUzNDA4NDI3NTQKEzU3NzU2NzQ0NjYyNDg4NzI1OTkKFDE0MjUyMDU2MzE4OTk4OTY1MTIzChM5NDAwMDg1OTE3NTQ2OTI4MzQ1ChM2MjU2MDMxNTkzMTExNDY4MTM1ChI1MDQxNTI4MTA5Nzc0NTY4NTcKEjYwMTI4MDE1NjQyMjgyNTM0MQoUMTM2NjkyNDkxNTk4MTc3MTMxODIKFDE4MDQzNjE1Nzg3NTgzMDk3NDUzChM5NzIzOTk2NzI4OTA3NTE1MDI5ChQxMjQ2OTAxMzYzMDc0ODg1MjI3NRoUChIzNTE4NDg0OTczNDg3Njc1MzRaEjM1MTg0ODQ5NzM0ODc2NzUzNGqIFxIBMBgAIkUaMQAKKmhob3plamRveXVxbWF2Z2RoaFVDcGtYNkxrTm56WFk4blBMQ0hMQjhXZxICABIqEMIPDxoPPxOSD4IEJAGABCsqiwEQARp4gfcF9_z-AgDxCf0JEAT8AQQAAAL4__4A5gME_Qn9AQDv_AD0-QAAAA0FBAYDAAAAAfYBBPX9AQAXAAP-BQAAABkC_QD3AAAABRQA-v4BAAD5-P4GA_8AABsQA_3_AAAADQ_89wAAAAD__AMKAAAAAALp9gMBAAAAIAAtWiDYOzgTQAlITlACKoQCEAAa8AF_DhgCuRv7_lL-6wAYB-7_ghXw_zT49QDI7vUAtw_s__gh8wHu7g0A7f0UAecK_v_v6vAAIxMU__39AwArAvQA7_z9AEDnCwEyAP0A_wTt_wgk-_4U-Q0AN-QJ_hUK-v8aCxL_3unWAfkl7wL_4hcDGAsXAfr0EgPrERYAAhz_BOYPGwAK8BIG5gT2-focFgTz9PX--Bb3-v38-wYREf0BD_zyBy_27vwZDu0E-_Lr_-oPA_sdDPn5Fv8I_fkZAf_19__2G_n5Bur5BgAtAwD9-vUa9fP6BPUZEO3_9fr-7vPyB_PlAgsC-vkQCgD49f4gAC30Fzc7OBNACUhhUAIqzwcQABrAB6ThEL_C4PU7Mg7kvNAQyT1Qvb88CzDiu4LhHD1Pcd47DIAnvF1ilr27LwI9vFG1vHR8xL4chO88mdotvf7Viz4gxJ88hqkxO3XJKL7aVJ09k5CjPPWhg748d_E7LsWXO9JIlT3-Is28Hu0JPVr0zj3C8mw9PzjhugGcxbt9_sG7oJJuvZita70X5UO9vEkCvb3jJD4ftIO8ZB79OwtVGz3kn_y7ONTWuzkevbzmLni8UqhdvLoRlr0ZPAg8vn0HPQU08T0VJA28NkNfOpYa6zuqmbW7HyyEu2Oc_zy-zIO7Mwo0O0RplLtttT09G-VPPAaWDT0gyjy8JGR7PIATZb3IjFY6f_2rPPX1_D2cogg96ytZvPzrrrvuHmU9iAOyPIhX47wPR5e8ZywYvNeK1j1wbfY7VIupujyUMjxK35o8nmutO9GFhzwaj4w6J1cIu7pjFj3k9ss8ptWMu54RX7sRHzO8KSbKPAu45712UIk7W4SYvD_jAj4FGQG886FVPIAzpzzoWNQ8ksE8O7dzCryXhis9qmE_O1whDD0j-7s8DzDOu3zQ2DvRgf672lDWuk3HlLpO1BI9LKBtO9h1Gb0cako8M1Elu2G27jxk2u28CoLHuwiSFz3B39S872QBPG7xurz7L8a8xqvFO-OAJ71ovY481Hw6vPLkH724Nre7UchnuwMnuz1NrIK83tsAu5l7Db2OqaK7VSMqO3d2QzyGCoQ8UcKnupUMAL1XX1i9M1NzOGYVtjxeb3E9PpKzOVJymLzmeoI5gy8Euf63kjwGXAE92x0sOK2EEz0MXzq8xQmGOpto4TyPhhi9V650Oq26dbtyZmC8-raxuel_-b02ujm8lvRFOanTKrvAXmE83VtrNjznnTzWTwO8KApEuT9UWr2yRj09kNyDuV8h2DwztRm8oTdnOE5FqrzPo-K8vqRTOe-aRr20hCY9XBLSOPQjtDzsXCe9MuhKNxdWAL2_hhu9goIfuL8hGb01oLk8eVdJN4zQmTzSa9g8TUrtt6JEa70kuXy8_XYmuPPa9rwI-cq9Wod7tkx1XDxEfTE56D-Ktmvx6b151iS87i9gNsgsVrxtG8a8HHskuBO6yzvXoZq6Gl43tk3NLz1KEKm9itWINxl2Mz1b2l-8gUJQuLzmejycSSA9j0M2ONezsTzSwPK6vCq3tZRryjzaafW8h-3Bt72vBT2lSQm-rZ6FuELLXz1jGrc9bpCOOAcLp7y9_O49g7QeuQahfL1gHIE8YXy1N1sHhzx7rfq8_ixytyAAOBNACUhtUAEqcxAAGmA3-QAO3gUNwfst6vnsyTDh-RsDEav6APLE_xon2uv1_vq6ExP_Q7sJAqkAAAAc9N8kBgD4eOre-B7x8BnFxeP_A38YMhrVAAXvrtEBB9IE3hbnJlEAE9yiEWXSuBgcM-0gAC01YSE7OBNACUhvUAIqrwYQDBqgBgAAOEIAAExCAACgQQAAAMAAAIDAAADowQAAGEIAAIBAAACAQQAAcEEAAMhBAABkwgAAAMIAAGBBAADKQgAA6MEAABDCAAAMwgAAuEEAAFDCAABAQAAA-MEAAMBAAACgwAAAAEEAAJjBAACwwQAAqMIAAGxCAADgQAAAAMEAAGRCAADCwgAAAAAAAJLCAADowQAAAAAAAMxCAABAQAAAqEEAAMBAAADAwQAAQEIAAAAAAAAIQgAAkMIAAKjBAADwQQAAsEEAAPBBAACmwgAAmEEAADBBAABQQQAAVEIAAGRCAAD4wgAAQMAAAEDBAABwQQAAAMAAABDCAABAwQAADMIAAIBBAAAMwgAAmMEAAIBAAAAcwgAAQMAAALhCAADqQgAAoMEAAKBBAACgwQAArsIAAADAAAAwwgAA-EEAAIDAAACmwgAAtkIAAODAAACCQgAA2MEAALhBAACwQQAAAMAAAMBBAAD4wQAAsEEAAPBBAAAAwAAAIMIAAJDBAAAYwgAAOMIAAADAAAAwQgAAOMIAAFBBAAAwQgAAmEEAAGjCAAAAQAAAgMAAAGBBAAB0QgAANMIAADhCAADYQQAAkMEAAJDBAABAwgAAZEIAABRCAADIwgAAgMIAAKjBAAAIQgAA8EEAACTCAAAEwgAAUMIAAJDBAAAkQgAAgL8AAGzCAABAwAAAGMIAAKBAAACwwQAAEEEAAFxCAAC4wQAAPEIAAPBBAAAoQgAAHMIAAPzCAADQQQAAqEEAAGDBAADgwAAABEIAAMDAAABcwgAAwEAAACBBAADQQQAAJEIAADBCAAAAQgAAAEAAAMjBAAAAwAAAwMEAAJTCAACAwAAAQEAAACjCAAA4QgAAoMAAABDBAACAwQAAQEIAAFBBAAAkQgAA0EEAAABBAACOwgAAjkIAAIBAAAAAQgAAjMIAABxCAAAQQQAAgMEAAGBCAADoQQAAqEEAAMDAAACwQQAAoEAAAKBBAACAwAAACMIAAIC_AAAgQQAAMMEAAGDCAACAwAAAMMEAAOBAAAAwQgAAIEIAAHzCAACAwAAANMIAACDBIAA4E0AJSHVQASqPAhAAGoACAAAwvQAAiL0AADw-AACAOwAAML0AABQ-AAAQvQAA-r4AAES-AACYPQAABD4AACy-AACIPQAABD4AAHC9AABAvAAAhj4AAHC9AAAwPQAAkj4AAH8_AACAOwAAED0AALi9AABUvgAAEL0AABA9AABAPAAAiL0AAAQ-AAA0PgAAuL0AACy-AAAsPgAAuD0AAFA9AACoPQAAuL0AAEy-AAAkvgAABL4AAPi9AAC4PQAAoDwAABA9AAAQPQAAVD4AAPi9AAAsvgAAvr4AALi9AABQvQAAjj4AAIg9AAAEvgAAgDsAAAs_AAAMvgAAMD0AADw-AADgvAAA2D0AAHA9AAAwvSAAOBNACUh8UAEqjwIQARqAAgAAuL0AANg9AAD4vQAAEb8AAAS-AABQvQAA6D0AABC9AACgvAAArj4AADA9AAAwvQAAuD0AAMi9AADIPQAAmL0AAMg9AAD-PgAAmL0AAM4-AADovQAAZD4AAKi9AACYvQAAEL0AAEC8AADYPQAA-D0AAMi9AADgPAAAmD0AANg9AACgvAAAMD0AAHA9AABQvQAAfD4AAAE_AACCvgAAiL0AAEQ-AABAvAAAHL4AAEA8AACgvAAA4LwAAH-_AABcPgAAEL0AAOA8AAAMPgAAyL0AAIA7AAAcPgAAFD4AAPg9AABAPAAAUL0AAKC8AABAPAAAoLwAAOA8AAAQPQAAcD0gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=yYxmxo7wiwY","parent-reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":640,"cheight":360,"cratio":1.77777,"dups":["351848497348767534"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false,"videoContentId":"3396594532"},"15626964343786985602":{"videoId":"15626964343786985602","docid":"34-4-10-Z3CCA51C26FBCF11A","description":"virtualcomsats1 Good news for student now you can watch our video by using mobile just install app by using blow link https://play.google.com/store/apps/de...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/367157/d8eacc0b212413568dad9c7f2b11c6c3/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/1S2B0QAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"7","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DGEoFJkYzmOQ","linkTemplate":"/video/preview/15626964343786985602?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Formal Methods in Software Engineering Cse304 Lecture 01","related_orig_text":"formal methods","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"formal methods\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=GEoFJkYzmOQ\",\"src\":\"serp\",\"rvb\":\"EqgDChQxNzMwODkzMDI2NDA2Mzk5NDYzMAoTMjYyODkxMDg2NTI3NzkwODM3OQoTNzc4NTc2NTM1NjYwODkxNTAyNQoTMjAzMDk1NDkxMzgyMTA2OTI3OQoUMTIxODUxOTk5NTU1MzcwODI5MjkKEjM1MTg0ODQ5NzM0ODc2NzUzNAoUMTU2MjY5NjQzNDM3ODY5ODU2MDIKEzgxOTEyOTE0MjkwOTQ0MzAxMzQKEzY4OTg3Njc4MDY4NTkwMTk5NjIKEzEyMDUzMDczOTUzNDA4NDI3NTQKEzU3NzU2NzQ0NjYyNDg4NzI1OTkKFDE0MjUyMDU2MzE4OTk4OTY1MTIzChM5NDAwMDg1OTE3NTQ2OTI4MzQ1ChM2MjU2MDMxNTkzMTExNDY4MTM1ChI1MDQxNTI4MTA5Nzc0NTY4NTcKEjYwMTI4MDE1NjQyMjgyNTM0MQoUMTM2NjkyNDkxNTk4MTc3MTMxODIKFDE4MDQzNjE1Nzg3NTgzMDk3NDUzChM5NzIzOTk2NzI4OTA3NTE1MDI5ChQxMjQ2OTAxMzYzMDc0ODg1MjI3NRoWChQxNTYyNjk2NDM0Mzc4Njk4NTYwMloUMTU2MjY5NjQzNDM3ODY5ODU2MDJqiBcSATAYACJFGjEACipoaGprbnhyeW5qZnljaHNjaGhVQ2dycFJfbTQ3NFRfQ2FIcmg5dHA3V0ESAgASKhDCDw8aDz8TjR6CBCQBgAQrKosBEAEaeIEACPsOCPcA7wr8CxIF_AEVAgX49AICAN8B9f8L_AIA8uv_8wL_AAAKCAcSAQAAAPr78_j0_gEAFPT4CQIAAAAdAv0A9gAAAAsRAwD9AQAA__D7AQP_AAAUCwkB_wAAAP8T_gP-_wAAAQIKAAAAAAAC--gEAP8AACAALe7wvTs4E0AJSE5QAiqEAhAAGvABf_jmA7EZFP3xBd4A-BriAagD9gAsENEA1ecOAaDY9_8FLhoB8dcFAffwDP_Z7AUABPnj_0b8EwAU6u__KA4XAAgN-ABd4g8BHgsKABL5-QDZ_gkABvEVAA0H9AD2A9cBEQAj_hj99gT5FPIEKdwfAffmAAHz_PwE7AQCAOwP9AQY_f0CDAQEAP0V_gD3GAgGEP_vBwjx9AIKCPIFBRf7BP7V__Us7fgE_wwHBPT1-fjzDw78KQb9-uAIC_0YDgEK19YD_w7SBv_qEQQLCQUN_unmE_3f8Bv9_unqC__uBvUgBf0C2QAB_R0TBQDr9wH1IAAtnWo3OzgTQAlIYVACKs8HEAAawAfmWw-_WsFKPTmER7uoUgM-_UrrO-TWyTvmdQQ-Kyetu0Ln97vM0k496OgnPJPlf7zQRxm-b4vovJejT7uDULY-GvK0vK9VTDy_RPy9mHX1vIJZ_LxPeJG-ZxVMPanmi7rJMzQ9OOhcvVCQM7zWoi89VD30vNqkKrsgqOi6HXURPDPcAL1dqbK9wZwqvT0eRLwNOOK3WI3GO0JEqLvr4LA9f3iMvHwVT7zmbRa9cg_TPAmHg7uaOlS9TFOlu7gA-rrHTAI-SAwsPV4cCz3osLE87y-KO4uU3Lzr9rO91r4lPFXXxrtmFuE9QbUGPRPWhrwDaIo9d0ZAvUqC7DoXxeE8dXp5PdrIdTwjLgC87eq8u8RxBTsmusi9Tz6cO8WIqzupE9C9OWRFOLs8Qrzrpjk81mORvK3HmLynKog9v8KXu9vmfDx2YfU8ZduOvFk_qrsWqQs9MiLRPZ5nRzya8hw9L-XXvA-x5jwqWYm9JXQ4u6a1zLrPmmQ99lFcvXvrrjulhUu8wTdNvK_hMzygPVI9zB8YvUjaMjzoOZg8321ePJRlSjsXSmE9UNN4vbs5BbqoMjE9_3fEPO5ExbtHLU86QBYBPNaVR7tezyE9hjsVPI9_0bvcgkY7R5yUPdsABTy_a6e7OsO5PNY1f7z1dpU8Hf8JPMyiybrm0pM8N4YFvQ8fYDu19Zg9OYKvvHkYA7szat69a-FovZuiObofP2W8LIjcPGcag7sa5Mk8156-PCWYJDuamE49HqErPRg7hjrYLu085-o9vVN1Jrn4-4W8e09APA9nDTrU2Lk8wUkEvX5Yg7lblDk9xs81PP9BFjnG-7E8ZO3KvOcCnLl5uIg966qAPW5gkTmxNFA9ZDOBPU0UNDnSvn69gE4AOhnQMrotPR48OUlOvCHoc7j-8pk9zNVqu6_VxDifEHA9CZ2-OzQgsrkSz7s5uvuHPXm8Bbi6MFI95NcPvR3YPjgiPKU95cKHvTuMUjnG86495J-pPeQCajYtnvC8duNdPMXGUbhc0ZG9gD7bu-3NSLiLFoA9RCrBvX0qIziQmTC8reYPPccmFjhXe5g8B-o0vV14bThJjFS870qMvXkr1za3aeI8mk6hvOE9sLj6sCO9KPCxu9BzxDgzRxy8ph8-PfF0Bri0OEi9O3AuPat9YDd0oei8fZGAPaLT_TgHYIO8LljqvQLtB7f11-u8IrCovIlKprgUPTU9riNYPfTQnDhxfGO9-iUCPqmBLLlePE08fsJ-PbILlraNkfQ6HscLPFrwlzggADgTQAlIbVABKnMQABpgVvUAKt8nGNzlNe8Q49snAPwL-AK91v8Tzf__OQYO-C3ixyEL_y_CKw2kAAAAJOnmLOsA8X3mu8kh0Asp1KvwBvx_zRMF1uRL18HU5gX14eQkCj5dAOrqqQRC_aYfGB7qIAAt1vEZOzgTQAlIb1ACKq8GEAwaoAYAACDBAAAgQQAAQMAAAKDBAAAAQQAABEIAAGRCAABAwgAAIEEAAADBAACIQQAAZMIAABTCAADgwQAAjkIAANjBAADAwAAAAMIAAEDBAACCwgAAQEEAAOjBAAAAQQAAFEIAAOhBAABEwgAAjMIAAODCAABgQgAAYEEAACDBAADgQAAAbMIAAOhBAABMwgAAwEAAAIhBAADAQgAAFMIAAEhCAADwQQAAEEIAAEhCAACAvwAAjEIAAMDCAAB4wgAAqEEAABxCAACAQQAANMIAAAAAAAAAQAAAUEEAAPBBAABEQgAAAMMAAIhBAAAEwgAAcEEAAABCAAAQwgAAqMEAAKDCAABwQQAAyMEAACzCAAAYwgAAAMAAAKDBAABAQgAAeEIAAMDBAAAAQAAAkMEAAGzCAADgwAAAoMEAAPBBAAAAAAAAfMIAABhCAAC4wQAAxEIAAADBAAC4QQAAgL8AALhBAACGQgAAFMIAAEBCAACAQQAAAEIAAJDCAADIwQAAJMIAAADAAACYwQAA6EEAAIA_AAA8wgAATEIAAJJCAAAswgAAAMEAAEzCAACowQAA6EEAABTCAAAcQgAAmEEAABhCAAAAQQAAEMIAAIBAAACAPwAACMIAAJLCAADgwQAAQEEAABBBAADwwQAAVMIAAAjCAADQQQAA2EEAAFDBAAAAQQAAEMEAAODBAADgQAAAyMEAAPDBAAAUQgAAkMIAAHDBAABAQQAA4EAAAIbCAACuwgAAkEEAAIDAAABcQgAAEEEAAOBBAABwwQAAXMIAAKDBAABwQgAACMIAANDBAAA4QgAAaEIAAKBBAADgwQAA4MEAAIjBAACWwgAAfMIAANBBAAAEwgAAsEEAAIBAAABQwgAAgMEAAABAAADIQQAAUEEAAIA_AADgwAAALMIAADxCAADIwQAAEEEAAFDBAAAwwQAA2EEAAJhBAABsQgAAwEAAAJhBAAA4wgAAYEEAAAxCAACeQgAACMIAAAzCAABQwQAA4EAAAADBAAAAwgAAOMIAABRCAAB4wgAAPEIAAEBCAABgwgAAAMIAAAjCAABwwSAAOBNACUh1UAEqjwIQABqAAgAAbL4AAMi9AAAEPgAAFD4AABC9AACoPQAAoLwAAAO_AABEvgAAcD0AABA9AAAcvgAADD4AALg9AACovQAAEL0AAIo-AABwvQAAqD0AANI-AAB_PwAAgLsAAJi9AADYvQAAZL4AAAQ-AADgPAAAML0AACy-AAAwPQAADD4AAKi9AAAsvgAALD4AAMg9AABQPQAAJD4AAHC9AACgvAAAcL0AABy-AACYPQAAgj4AAIg9AAAEPgAABD4AABQ-AAAEvgAATL4AAMa-AAC4vQAAoLwAAII-AAD4PQAAiL0AAKC8AAAPPwAADL4AAFA9AAB0PgAAoLwAAMg9AABAvAAAoDwgADgTQAlIfFABKo8CEAEagAIAAES-AAAUPgAAir4AAAO_AAAEvgAAEL0AABw-AACAuwAAqL0AAK4-AABQPQAA2L0AAOA8AABcvgAAMD0AAHC9AAAMPgAADT8AAAS-AACqPgAAgDsAACQ-AACgPAAAUL0AAEC8AAAMPgAAUL0AABw-AADgvAAA2L0AAHA9AAAwPQAA4LwAAPi9AACgPAAAUL0AAII-AAAJPwAARL4AAAS-AACuPgAAqL0AAKA8AADovQAABD4AANg9AAB_vwAAiD0AAES-AABwPQAAhj4AALi9AAAkPgAAiD0AAJg9AAAwPQAAoLwAAEA8AAAwvQAAQLwAAKC8AACIPQAAgDsAAJg9IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=GEoFJkYzmOQ","parent-reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":854,"cheight":480,"cratio":1.77916,"dups":["15626964343786985602"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false,"videoContentId":"1666035815"},"8191291429094430134":{"videoId":"8191291429094430134","docid":"34-2-2-Z9820CEA0EF16679B","description":"Dr. Leemon Baird will present an introduction to how mathematical proofs can be checked by a computer, and how this can be useful in projects where security and correctness are important.","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4511902/73e1a42eb1d0e0526d414ebf622400ca/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/-qgLfgAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"8","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D6q15ytIOE3U","linkTemplate":"/video/preview/8191291429094430134?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Formal Methods: A Deep Dive Using the Coq Proof Assistant | Hedera18","related_orig_text":"formal methods","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"formal methods\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=6q15ytIOE3U\",\"src\":\"serp\",\"rvb\":\"EqgDChQxNzMwODkzMDI2NDA2Mzk5NDYzMAoTMjYyODkxMDg2NTI3NzkwODM3OQoTNzc4NTc2NTM1NjYwODkxNTAyNQoTMjAzMDk1NDkxMzgyMTA2OTI3OQoUMTIxODUxOTk5NTU1MzcwODI5MjkKEjM1MTg0ODQ5NzM0ODc2NzUzNAoUMTU2MjY5NjQzNDM3ODY5ODU2MDIKEzgxOTEyOTE0MjkwOTQ0MzAxMzQKEzY4OTg3Njc4MDY4NTkwMTk5NjIKEzEyMDUzMDczOTUzNDA4NDI3NTQKEzU3NzU2NzQ0NjYyNDg4NzI1OTkKFDE0MjUyMDU2MzE4OTk4OTY1MTIzChM5NDAwMDg1OTE3NTQ2OTI4MzQ1ChM2MjU2MDMxNTkzMTExNDY4MTM1ChI1MDQxNTI4MTA5Nzc0NTY4NTcKEjYwMTI4MDE1NjQyMjgyNTM0MQoUMTM2NjkyNDkxNTk4MTc3MTMxODIKFDE4MDQzNjE1Nzg3NTgzMDk3NDUzChM5NzIzOTk2NzI4OTA3NTE1MDI5ChQxMjQ2OTAxMzYzMDc0ODg1MjI3NRoVChM4MTkxMjkxNDI5MDk0NDMwMTM0WhM4MTkxMjkxNDI5MDk0NDMwMTM0apIXEgEwGAAiRBowAAopaGhicmtyeWpucXZ6bmR2aGhVQ0loRTROWXBhWDlFOVNzc0Zud3Jqd3cSAgARKhDCDw8aDz8TzA6CBCQBgAQrKosBEAEaeIH59wcDBPsAAwsLDgML-gIdBhH89AMDAOIA8AoA_QIA9gn7Af8AAAAJ-_4HAQAAAP339wL6_gEADgD9A_sAAAAg_fL6_AAAAAwEAgoLAAEBAfjxAwT_AAAM_w7y_wAAAAEKDPj-_wAA__wECwAAAAAI8u8KAQAAACAALfyZxzs4E0AJSE5QAiqEAhAAGvABf_QDArT8I_z_AwIB-wT3AaMIIf8z9uYA5Oj-AJkJ0_7bDBQA-wEHABT6F__k_AoAyQL0ABMLAQH_EQcAQhYAAS4EBQBH7OoAGfECACLuBv_tBv3_FREVAAn5BgI9FPT-GQMD_PgI6QH07O3_8vUA_wcU-_4nEQYB9ATs_wQK7AETBhH__hvn_wwA_QANJAgILPH1BAD85_vzHw4DBvT6_uz1_fsN2eQAEx_v__wIAv7NEAb6ICT9APMGBQcGG_8G-On__yAL6vvxCfgEEAIXBhYPFP8BHBH89Q0E8gEb9wgECfX96_P4CxAOAgsJ8fn4IAAtPFtBOzgTQAlIYVACKs8HEAAawAcdAgO_TBDaPDy69jwHJDE-h-HjvFslFrzobDy9aHadvX6DAL2-1JU7IPMcPQGENDzQRxm-b4vovJejT7vGa6Y-yKpSPOmXLbwZdKK9DKIfPYpBu7tPeJG-ZxVMPanmi7qokBs-2lW4PWGe3zz1uwA-QxWzPQWuxjxWELM9B-oUO7O8Qb2giAU-GUBTvJAJX7uF2qW82TgHveBWsLyCaf-75pFfPcbVLb1kvZe9c6dvPV1KQr2VZg69KZ2jvETbMTwRACw-llsaPdsd7TzJcQw9n38QvLpMjTwO_AO9ZUqlvRG4_7xvH4M8rgzqPJ99gDy2o5O8ow8OPMW6JzxUfDK90EPtPMKMhDz31rY9qvDUOWhXBDvvkli9k8kNOQgqfLsvg6a9UpQQPWk3-ruc86i9XgQZvM2oHrvIbWq7zJGZO64iiju5AmU8qitAu0IZtLw4DqG8YS3IPPmtjDpTnUS8hnggO1GAjTxKV9W8vR5sveIyuLyPOU-68NVzvZTjCrz6_KQ6l9pcvUbRATyqL2Y91kzjvN7qFrxC2F-8gN91PJ3yB7wcFa4868iRvZtWirwsddq8wGR5PTAqKbyscfa8fI9kvYDCjzqOQq28OrItvfXbl7zY1QQ-0pyWPSIYszeaUNI7dgZ8PZxMATvLogs9MuS7O_nRgrpAnkI9oiWPvII1lDt59IW9n7AEvYEBZzudE7u9HWw7vdie57naozw96OVGPfOtATpBCG09QmYdvQYkhrvA1ZU7gixVPXt4ibicIYs8Rcw2vC9DV7q9osA8BL-Vu7lw-rnWWJ09nHg9vBn7JDgtn0A93_4cPX-3sjfX_3Q9Gd_8PLtJA7iRYuC9umUsvTNUfLjjx1M9qGU1vcuvabm0ETm9NygLva1-EDk-aqK9GiSzvDGMObidJpY7S-KPu0S5KrjpTDU91H2EO_3BLjkLxWc9kJ7iPRF3krkGkIu9b02VvEWfMDga-Ia9z1hKvS5yxbdJd9860yTCPAtdFjajhsA8lFBVPEJ4UrjByfa81oJIPaPtC7mRxCG9iwysvcgmfDifyR69UhZ0PHQqGjlYn8y9pi40PYN_LDnKUaC9cRL3OtqOFbV84YQ8N_ywumzM1DY5fyu6IwqyPVSVTjiM2v28b9pnPHRWUbdBymA65vOAPTnrkzcz3tY9OCzNPZe9C7laWte84Zo7vAGZF7j7ZFs9e7VtPfgeh7ii2dA8tiWXvPuDgzi896G9kc6lPP-oori0FsC9VDS7PTxfsjjNZ2-9IfQivaNQ0rcgADgTQAlIbVABKnMQABpgMPAAM_8u4c4KNPn2_8_l1B3_FfmMCf_qC__oOunv-QTvsSQC_zXeOAifAAAAGfXsJhIAAn_61vQk6SIJq7L1IRlwAPz_yCYk29r6ASzNp74BFGw3AOrsrCFN_8MzGyUXIAAt6K4YOzgTQAlIb1ACKq8GEAwaoAYAAODBAAAAwQAAjkIAAPDBAAAQQgAAEMIAAAhCAAAIQgAAMMIAADTCAACgQQAAAMEAAJrCAAAMwgAAYEIAAHjCAADgwQAAREIAAKDBAADMwgAAGEIAAEzCAAC4wQAANEIAAEDBAAAUwgAABMIAAMDBAACkQgAAuEEAAKBBAAAsQgAAoMEAAEBAAAAowgAAMMEAAODAAADGQgAA4MEAADTCAABAQQAAAMEAAGBBAACgwQAASEIAAABCAACAvwAAgL8AADxCAAAQwQAAQMIAAOBBAABUQgAAEEIAAPDBAADAwAAAgMEAAHhCAABEwgAA4EAAACDCAAAYwgAAEMEAAGDBAACQwQAAgMAAANBBAADAwAAAwMEAABxCAAAgwQAAqEIAANDBAADAQgAApsIAAEBBAADYQQAA0EEAAEBBAAB8wgAAHMIAAADAAACAwgAARMIAAARCAAAsQgAAPMIAAJjBAABwQgAAhkIAACDBAACYQQAAoEEAAFTCAABcQgAApMIAANDBAACIQQAALEIAAIDBAAAEwgAAMEIAAFBBAABkwgAAoMIAAIBBAACwwQAAHMIAAAAAAACAPwAAcEEAAADCAAAUQgAAAEEAAKJCAADiQgAACMIAACjCAAAAQgAAJEIAALBBAADowQAAIMEAAGTCAADwQQAAIEEAAJhBAAAAQAAAMEEAALTCAABAQgAAcMEAAMjBAADIQgAAoEEAACzCAABwwQAA0MEAAKLCAAA8wgAARMIAABBCAADwQQAAqMEAABRCAACwQQAANMIAACRCAACAQAAAhsIAALBBAAAEQgAAXEIAAIDBAAAUQgAAsEEAAEDCAADYwQAAcMEAAEDBAAAQwgAABEIAABDBAADowQAALEIAAEjCAAAoQgAAQEAAACBBAAAwwQAAeMIAAEDCAAAgQQAAEMIAAAAAAAD4wQAA4EAAAKBAAACgQQAAcEIAAEhCAABMwgAAQEEAAFDCAADIwQAAiMEAAAzCAABQQgAAgMAAALhBAABwwgAAmEEAAIjCAAAgQQAAAMAAAIC_AADAwQAA6MEAAOBBAAAgQSAAOBNACUh1UAEqjwIQABqAAgAAyL0AAMg9AAA0PgAAqL0AABC9AAAcPgAAPD4AANK-AADYvQAAqD0AAAS-AACoPQAAyD0AABQ-AACAuwAAEL0AAOA8AACgPAAAgj4AAJI-AAB_PwAAED0AAKg9AADIPQAAlr4AAAQ-AAC4vQAA4LwAAGS-AACaPgAAUD0AACS-AACgvAAAcL0AAEC8AAAEPgAAVD4AACS-AABUvgAAML0AAOi9AACgPAAAML0AAOC8AAAkPgAA6D0AAOA8AADovQAAiL0AAKq-AAA8PgAAQDwAAKY-AACovQAAmL0AAEA8AAAlPwAADL4AANg9AABcPgAA6L0AAOi9AABAvAAAQDwgADgTQAlIfFABKo8CEAEagAIAAIq-AAA0PgAAyL0AADG_AAAcvgAAuD0AACQ-AACoPQAAEL0AAKo-AACovQAAUL0AAPi9AACYvQAAcL0AAOC8AACIvQAAGz8AABy-AACyPgAAPL4AAIi9AAAwvQAANL4AADC9AAAEPgAA6L0AAHA9AADYvQAAqL0AAKA8AADgPAAAQDwAABC9AAAkPgAALL4AAJY-AABcPgAAZL4AAJi9AADYPQAAEL0AALi9AABQvQAALL4AAAS-AAB_vwAAHD4AAJi9AAAUPgAAXD4AAFC9AADIPQAAZD4AADw-AABAPAAAQLwAADC9AABAPAAAoDwAAFA9AABQvQAAUD0AAPg9IAA4E0AJSHxQATAJOAFKAFIJCA8QkgIYADABYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=6q15ytIOE3U","parent-reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1920,"cheight":1080,"cratio":1.77777,"dups":["8191291429094430134"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false,"videoContentId":"3754523850"},"6898767806859019962":{"videoId":"6898767806859019962","docid":"34-10-6-Z5F23B829103DBF7C","description":"Formal Methods in Airbus for Validation and Verfication...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3538517/9b3b7e1d6b70c43b59efb8aac79e4bb0/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/wFGCSAAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"9","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D4PUKQuCbr_0","linkTemplate":"/video/preview/6898767806859019962?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Formal Methods Final Presentation","related_orig_text":"formal methods","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"formal methods\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=4PUKQuCbr_0\",\"src\":\"serp\",\"rvb\":\"EqgDChQxNzMwODkzMDI2NDA2Mzk5NDYzMAoTMjYyODkxMDg2NTI3NzkwODM3OQoTNzc4NTc2NTM1NjYwODkxNTAyNQoTMjAzMDk1NDkxMzgyMTA2OTI3OQoUMTIxODUxOTk5NTU1MzcwODI5MjkKEjM1MTg0ODQ5NzM0ODc2NzUzNAoUMTU2MjY5NjQzNDM3ODY5ODU2MDIKEzgxOTEyOTE0MjkwOTQ0MzAxMzQKEzY4OTg3Njc4MDY4NTkwMTk5NjIKEzEyMDUzMDczOTUzNDA4NDI3NTQKEzU3NzU2NzQ0NjYyNDg4NzI1OTkKFDE0MjUyMDU2MzE4OTk4OTY1MTIzChM5NDAwMDg1OTE3NTQ2OTI4MzQ1ChM2MjU2MDMxNTkzMTExNDY4MTM1ChI1MDQxNTI4MTA5Nzc0NTY4NTcKEjYwMTI4MDE1NjQyMjgyNTM0MQoUMTM2NjkyNDkxNTk4MTc3MTMxODIKFDE4MDQzNjE1Nzg3NTgzMDk3NDUzChM5NzIzOTk2NzI4OTA3NTE1MDI5ChQxMjQ2OTAxMzYzMDc0ODg1MjI3NRoVChM2ODk4NzY3ODA2ODU5MDE5OTYyWhM2ODk4NzY3ODA2ODU5MDE5OTYyaocXEgEwGAAiRBowAAopaGhqaHNwa2d2Y2dsZnhlaGhVQ2NuZUsxcWtRbTdUOTZWelVHR2t4UmcSAgARKhDCDw8aDz8T3QKCBCQBgAQrKosBEAEaeIECAPT9Av4A6AYPAwQB_wAMCgf_9gEBAPEB9wIIAf8A-PT27v8AAAAOBQQGAwAAAP4J7gP2_gEADPf3_QMAAAAX-AAN-AAAAP0K-vf_AQAA_-z09gL_AAATCAPz_wAAAPYMEvv_AAAA8gcJDgAAAAAI9wD-AAAAACAALc6zzjs4E0AJSE5QAiqEAhAAGvABYQPv_9_8-_8Z8uYB3wzQAIEFC_8r8dUBy_UIALn37QD-EvcA2uIAAAUSHf_WAfP_DOfbAB4UAwAhAw4AKvYPAQcaFwAu8vwAFQkA__QD4wAJCgb_OfggAAnsCgELEgz_JwkRAND-7gL3EOMB_wMhAB0N-v8s6AYECAYUAfYeEQMBFvgEDQ8P__L58P_qCw0GCP7hAPP77fz9_PwF8xv-APP0BwAV_9f8Mvr3APX2-vkDFRX9_Qn-_gcUDAMJJ_gA8vj-BQbr_wDzAgv7NewMCRH8GAAMEQUD5g7y_hPfDPbs6xH27CH4_w3yCgcG_gPwIAAtbidIOzgTQAlIYVACKs8HEAAawAfBpwW_1JUVPHLD77zu0qG8B6gaPSARLjyZ9YI9SPKmPBpohDvSELw77FxiPQNUgrx0fMS-HITvPJnaLb07GWw-rgzqPIKMJTx1ySi-2lSdPZOQozz1oYO-PHfxOy7Flztu54E9lqRfOxSLST0b9gs-zEwEPLN36zwhlaK8hkSQvE7etrxWP8C8F_hFvTt5ibuVfw0-oqRWvbFVXTzhlwo-caiUvbqrbLsWrCc8cbWpPPvEJrv6ErW9ZSNrvLINwTz3PxA-F6BtvJ9J8jtIyxc97AeGPHfzebxjnP88vsyDuzMKNDvSxaY8eDsnPbZqNru8myI9wAOovcM_sju_ni88wtUmPcjq-zyo_As-pYOVPSSOhrzbTAo9_CL8PIzTtTyIV-O8D0eXvGcsGLzLx2Q9Q5eLvN6ynjuUqDK9Fa-NPJ0h5jzPReg8GsFGPESMMrzq48Y8evGPPdJvobuWWak8ogGGPMA9sjuoFLC9JmMmvUl7C7w2EME9urvOvcDUxzrMyaU9136XPIX-sjvWxyI8ZmwDPAelXDs6jA49J7ZsPb1luTovdQY9fnttvQIw-bqPjus8FJb4PBJCUbzdtNm9WatRvBOVMrx-n5s975Y_vPwIFTw2WUM9W_6uu2CH2jto9u88syodvfo0XbzHhBi9jdozvI96ALzQTye9d6KEvaH3hDrrAdM9qNGaPHk45DurL7G9d_vHvKUtqbi-gU49pVpVPGlhZLsS-GS77iwwvDbX9jfQ8VE878u0Pa4ZgziudAY8wTtZvdSvAbk7dSO8wIFkPWLiLbnvQik9SkeUvGPJh7p89Sw913e0PMHPc7eAgqY8W1ApvHmVkbgA8Qg8kCOlOm4kv7r4PYU9MF8WuhSbBTijGIU84LAdPKW2O7qsvgS9Up8fPUmRvDngMfo7fiCUvDkU0LiT2N47A0xPvUZfBbgNsCW9inIhusaWLjn78Q28uEhwvTeKcTi3Yn88Pc9EvYVOyjaRH7u8o-5ePTR747aYmeO6nWYDvC_wErb_gB29XYSOvNvDgbfz2va8CPnKvVqHe7Yhnpu84ZNTPcjQ1bes5nm9bVeovHlp9reaEv-8vbImvRW6x7dMkkI93ZgeunFMBzg-iJE7GE-evUyp6TdJ4aU93HcUPNS2I7kPBC09ZKKSPIaLhzjgAdQ8x_VvPLTqAjjo5Fu91vAjvUkiMLX2dHo94A_fvT-Zm7dCy189Yxq3PW6QjjgHC6e8vfzuPYO0Hrk4T1C9ONYKPRB2pjYJXbi8CZl1vZHuODggADgTQAlIbVABKnMQABpgFwkAJPEa38rrJvAOA_0H4-o3_Amh_P_kzgAALvvZ5PPmwx8MAFm8MASuAAAALgzxDfsA03DbDtEy6xwHytMZ4SF_-hEM6NgD6K_34i3s5hQQFVVKAAbLqAhLD8slCRf7IAAttL8kOzgTQAlIb1ACKq8GEAwaoAYAABBCAAAAQgAAikIAAOBAAADAQAAAMEIAAOhCAABAwAAAjsIAAAAAAACYwQAAAMIAAPjBAADAQAAAQEAAAOjBAAAQQQAAAMIAAKDBAABwwQAAKMIAAATCAACYwQAAsEEAAJBBAADgQAAAuMEAAHTCAACGQgAAgEEAABBCAACmQgAABMIAANDBAABowgAAAMAAAABBAABkQgAAAEAAADxCAABAQQAAsEEAAJBCAABAQQAAEMEAAODBAADgwAAAIMEAAKBBAADAQAAAcMIAAIC_AADgwAAALEIAADBCAAB0QgAAmMIAAIDAAAAAwQAAhEIAAABAAABAQgAAhsIAAODBAABcQgAAgEEAADDBAACSwgAAgL8AAFDBAAAgQQAA4EAAAABAAAAQwgAAKMIAAEzCAABwwgAAyMEAABBBAACAwgAAoMIAAOpCAAAgwgAApEIAAIBAAAAEwgAAcEEAAIRCAACYQQAAmMEAABRCAACsQgAANEIAAKDAAAAAQgAA-MEAAATCAAB8wgAAMEIAAGTCAAAgQQAAbMIAALhCAACQQQAAKEIAAMDAAAD4wQAA6EEAAADCAAAwQQAAKEIAAJBBAAAAQAAAVEIAAEBBAABQwQAA0MEAAEBAAABAwQAA4MEAADRCAADYwQAAQEEAAHzCAACGwgAAIMEAALBBAACQQQAAWMIAAEDBAAAAwQAAwMAAAIC_AAAwQQAAGMIAANDBAAAQwQAAiMIAAMDAAACSwgAAoMEAABBCAAAAQAAAgL8AAGRCAABEQgAAEMEAANjBAACAwQAAkEEAABxCAAAAQQAAMMEAAPjBAAAAwQAAwMAAAJBBAAD4wQAAIMEAABhCAADIwQAA-EEAAATCAABAwgAAosIAADBBAADgQAAAOEIAABDBAAAswgAAqMEAAHBCAABkQgAAAMEAABTCAAAUQgAA6EEAAKDBAAAwQQAA2MEAAMDCAABQwgAA2EEAAFTCAABUQgAAyMEAADDCAACYwQAABEIAAOhBAACIwQAASMIAAGBCAAAgwgAAcMEAACRCAAA0wgAATMIAAITCAABkQiAAOBNACUh1UAEqjwIQABqAAgAADL4AAJi9AAD4PQAAlj4AADy-AAAQPQAAmD0AAAm_AAAUvgAAuj4AAJo-AACYvQAAhj4AABC9AAB8vgAAyL0AADw-AAAQPQAA-D0AAMo-AAB_PwAAgDsAABC9AADoPQAAgLsAAFQ-AACgvAAABL4AAOC8AAC4PQAAuD0AAKC8AAAsvgAAbD4AAOi9AAAcPgAARD4AAL6-AAAcvgAATL4AAAS-AACYvQAAZD4AABA9AACYvQAA6L0AABy-AAAEvgAAfL4AAIK-AAAQvQAA4LwAAIo-AABkPgAAoLwAAIA7AAARPwAAjr4AAIA7AACKPgAAQLwAABC9AAAMPgAAgDsgADgTQAlIfFABKo8CEAEagAIAAAS-AABQPQAAZL4AABe_AAAMvgAABL4AAAw-AACIvQAAML0AAN4-AABcPgAAQLwAALg9AAAQvQAAcL0AAFC9AAAwPQAAFT8AAFC9AACmPgAAUD0AAOg9AABwPQAABL4AAEA8AAC4PQAAgDsAAPg9AABQPQAAUD0AAKg9AABQPQAAML0AADA9AADoPQAAJL4AAEw-AAC2PgAAPL4AAAS-AAABPwAAgDsAAJi9AADIvQAAUL0AAMg9AAB_vwAAXD4AAIA7AACIvQAARD4AAOC8AAAwPQAADD4AABQ-AADIPQAAoLwAAKC8AACgvAAA6L0AABC9AAD4vQAAFL4AAFA9IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=4PUKQuCbr_0","parent-reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1920,"cheight":1014,"cratio":1.89349,"dups":["6898767806859019962"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false,"videoContentId":"2208787127"},"1205307395340842754":{"videoId":"1205307395340842754","docid":"34-5-0-ZDDA0801498B9D51B","description":"Find PPT & PDF at: Software Engineering Pressman Book,Notes In PDF And PPT https://viden.io/knowledge/software-e... Software Engineering Questions And Answers...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/225936/4346024080ce0c00791a97ec866bac03/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/pEPd6wEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"10","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D2ftNBjTaf-s","linkTemplate":"/video/preview/1205307395340842754?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"The Formal Methods Model | The Formal Methods Model in Software Engineering in Hindi URDU","related_orig_text":"formal methods","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"formal methods\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=2ftNBjTaf-s\",\"src\":\"serp\",\"rvb\":\"EqgDChQxNzMwODkzMDI2NDA2Mzk5NDYzMAoTMjYyODkxMDg2NTI3NzkwODM3OQoTNzc4NTc2NTM1NjYwODkxNTAyNQoTMjAzMDk1NDkxMzgyMTA2OTI3OQoUMTIxODUxOTk5NTU1MzcwODI5MjkKEjM1MTg0ODQ5NzM0ODc2NzUzNAoUMTU2MjY5NjQzNDM3ODY5ODU2MDIKEzgxOTEyOTE0MjkwOTQ0MzAxMzQKEzY4OTg3Njc4MDY4NTkwMTk5NjIKEzEyMDUzMDczOTUzNDA4NDI3NTQKEzU3NzU2NzQ0NjYyNDg4NzI1OTkKFDE0MjUyMDU2MzE4OTk4OTY1MTIzChM5NDAwMDg1OTE3NTQ2OTI4MzQ1ChM2MjU2MDMxNTkzMTExNDY4MTM1ChI1MDQxNTI4MTA5Nzc0NTY4NTcKEjYwMTI4MDE1NjQyMjgyNTM0MQoUMTM2NjkyNDkxNTk4MTc3MTMxODIKFDE4MDQzNjE1Nzg3NTgzMDk3NDUzChM5NzIzOTk2NzI4OTA3NTE1MDI5ChQxMjQ2OTAxMzYzMDc0ODg1MjI3NRoVChMxMjA1MzA3Mzk1MzQwODQyNzU0WhMxMjA1MzA3Mzk1MzQwODQyNzU0aocXEgEwGAAiRBowAAopaGh1ZnB6bmJ6eXZnc2VvaGhVQ3p6WDNhUlZTd2JpYnBsbWl3SjN1amcSAgARKhDCDw8aDz8T5wGCBCQBgAQrKosBEAEaeIEEC_MBAAAA9QgA_QwC_gAP_QYC9wAAAOYO_fgI_QEA7vwA8_gAAAAT_vsFAAAAAP349wL7_gAADPf3_QMAAAAT-QL-9wAAAAkN_u_-AQAA__z7_wP_AAAKCgT7_wAAAPsY_PkA_wAABQIHCQAAAAAI8vkCAAAAACAALXgc1Ts4E0AJSE5QAiqEAhAAGvABdN3pAMYO-_8G9N0A7jTpAIEiCv4cJOIAywEOALz3ygAUDuUB0NkAAPL3Jf_uI_UAcPT0_gPLFP8x7wD_-_kKAOQVOgA77vsALwIIAOTz1gD4A_3_HdwCAQrc6f_pCwf-9BYC_tMN8QAABuIDMfAeAgL5CAYp_TkDzwAR_dMmCv_l9tr9DO0VCN_z8wDuLgsE6fsbAxz6C_zo_uEEDvPqAA7ZDPwDGOUFFx0HBdPoAPzxEhD7Bvbv-xISBQHoCxIEKfYXBOUH_Pjb_wP5JrkM_eXiFv0R3fv19QTu_gLc-fPw9Pv9BB_3_twDDQnpDAjuIAAt_yEdOzgTQAlIYVACKs8HEAAawAd40OS-qTyROwwN37xJUk29Vz-mPRjZBL0Dnm-96GlAPHPbPj0JstS8BZJGPXY7Nr2cTZe-6j1cuWSPFrzFVYU-VDBvvZt_Krx6Fy--CDwwPSmf1LxPeJG-ZxVMPanmi7oHmg8-Vt6EvEV4xTwnwHA99M4ZvE-x6rxvsQy9VlsbvVI4zLy14CW-PaqrvPf8Fb3X6sE9N_CUvQnpHzx3Me09jwApvXaWETwKIRA8mw85vXVvqLpHWoU8xI2APNuRA7yUwhw-5JPfu3qjGz1Iyxc97AeGPHfzebxWUIy90MEJvVoUkbz3JuE8XYaUPfC18bwUruc9pBiAvVMefrvMUEu9WMu9PR0GzjzdYDg-KaZcPeMbPjomDHS9XUa7PUwsujyzvje8tx0FvPq3iTsJEA890AOEvDU9zbvo7oS8xyVzPemuLTryM788qmvjPHRiDz3Hjnw9MC_AOybb5bycBKU8XQB1PKMngLzDCpy9STXHPCQpirvxEvw9wCicva0oa7tqxAc9ghB6Pf-BC7vnhT-7YYGpvesIFryLSJ68mt0kvLHXAbwXSmE9UNN4vbs5BbqG8hQ9ZRyDPSF0kruFHna90LMZvchpPrxjdcA9fVEMvVpnIjosvTG9-ow1Pe0IrzrYv8a8xN5VPH_xMbwOT688gzXpPAP4-js4cai8GWILvaU6kTobdMg9QDdPPVcGVbslo9S8Rd3_OhjcLjqyW9U8a6E_vIH0Yrvf_-I8MVCjvOOtkDtoz-W8djCHPH6fGrv3nqE7PxCqvTjs7bctOK09lKQLPQ0KijmOpK48G3JiPWz7T7iOT5K7aLApvV3eh7fdKqO8Vz3AvZEGHjnuLZu8I0ipu5HA9jqH7Z09j4GGvMDQFrgXhbi9WqyyvH8i7rlP54o8LuW8Pc0LBzm3JKw8H7kVvdMaDTlZmC-9bh8NvS84XrnsCTy9ciXxvNZigDn1Vei8j4lZPdYxQTg71lY8KWB2vclQULjOr8E8SZPMPd9Eh7iY8ka9AxpWPeTphThiRwg9AvjhuwRxULav2Bk889qWvUlaH7faTuU8ZCyJPHyamLhUU9K96HTPvC_4xTdUXdk7ZzHKOy5KAjhx2yg9EgXpvMlDuDglJA48bCiQvIlOxTetp_Y9s-qYvHs7OrlEeKq8QX2LvD91Qjc455a8RsA3vWriA7go5eK7-kUmO-Qe7DRhBnk98zoSvkvnqbghMrY8OznjPQQbBjnwsjW9XMzPPQxGCrlgRqe9F4EQu5N02TdN8sg8ki8XvbKMFbggADgTQAlIbVABKnMQABpgIvoAKvDwGef1E9T-4-Mx8QFA7yXP3_8s0P_tNwnW7hLenTgZ_0XNHwGjAAAALuTs8wgA23_32f4Z7_0TxaXEBwxw8zI-2gUX_MqvCvbn8R0eETFjABwHohxU3MtSGjTpIAAtzOoYOzgTQAlIb1ACKq8GEAwaoAYAAChCAAAAQQAAeEIAAHBBAAAUwgAAQMAAAABBAAAgQQAABMIAAGjCAAB0QgAA-EEAAEDCAADgQAAAUEIAAJTCAACMQgAAUMEAAMhBAAAMQgAAyMEAAABBAAAAwAAAsEEAAIjBAAAwQgAAIMIAADTCAABkQgAAVEIAABRCAADSQgAAgsIAACTCAABgwQAAgMAAAIDAAABUQgAAgMAAAADBAAAUwgAAQEIAAExCAADAQQAAEMEAANBBAADgwQAAsMEAAPhBAAB0QgAAMMIAAIBAAABgQQAAwEAAAARCAAAQQgAAAEEAAILCAADgwQAA0EEAAODBAAAMwgAAtsIAAFDBAAAMQgAANEIAABRCAACWwgAABMIAAIBBAACAQgAAfEIAAAzCAACYQQAAEEEAAADDAAAswgAAwMEAAFxCAABgwgAAgMIAAEBCAACAwQAALEIAAADBAABQwQAAAMEAAMhBAADAQAAAgD8AANDBAACIQQAA0MEAAEDAAAAwQQAAVMIAAJjBAACEQgAAiMEAANjBAAAgwgAAoEAAAOhBAADAQAAAaMIAABhCAABoQgAA8EEAAHBBAACIQQAA-EEAAFjCAADIwQAA2EEAADhCAADYQQAAKMIAAMDBAAAQwgAAjMIAAARCAAAAAAAAuMEAAJjBAABsQgAAwEAAAAhCAAAAQQAA0MEAABTCAADgQAAA0MEAAEjCAACYQQAAoEAAAADBAABoQgAAgMAAAJDCAACywgAA2EEAAHDBAABMwgAAoMAAADBBAACOQgAA-EEAAJDBAAAcwgAAHMIAANDBAADIwQAAgMAAADzCAABAwgAAgEAAAOjBAAAgwgAA-EEAAGRCAADQwQAA-EEAAMBAAABgQgAAIMIAAJRCAAAcQgAAQMAAAGxCAADgwAAAUMIAAPDBAABcQgAAkEEAAMjBAABsQgAAwEAAAFTCAAAEQgAAUEIAAIA_AADQQQAAMEIAAJ7CAACIQQAAAMEAAADBAAAwQQAASMIAABBCAACGwgAAAEEAAHDBAACAPwAASMIAAKhBAAAYwgAA6EEAAABAAACUwiAAOBNACUh1UAEqjwIQABqAAgAAZL4AAIC7AAAkPgAAqD0AAHC9AAC4PQAAqL0AAAu_AAD4vQAAQDwAAMg9AACIvQAA6D0AAIg9AACovQAAcL0AADw-AABAvAAAyD0AAFQ-AAB_PwAAEL0AAKA8AABQvQAAXL4AAOC8AABAPAAAcL0AANi9AADgPAAAJD4AAKC8AAAcvgAAFD4AAAw-AAAwPQAA2D0AAFC9AADYvQAAyL0AAAS-AADgvAAAgLsAAFA9AAC4PQAA4DwAAII-AADYvQAA6L0AAIq-AABwPQAA4LwAAFw-AACgPAAAML0AAKC8AADuPgAAgLsAAEA8AAAcPgAAoDwAADA9AACgPAAA4LwgADgTQAlIfFABKo8CEAEagAIAALi9AACAuwAAdL4AABW_AAA0vgAAmD0AALg9AAA8PgAA6L0AAFQ-AACYvQAAqL0AAIC7AADIvQAA-D0AAHC9AADoPQAACz8AAFS-AADSPgAA-L0AAAQ-AADovQAA2L0AAKC8AACYPQAAUD0AAKg9AABwvQAA4LwAAHA9AAC4PQAAEL0AAIA7AAAQPQAAgDsAAJo-AAAbPwAAXL4AADS-AACOPgAADL4AAJi9AACgvAAAQDwAAKg9AAB_vwAAyD0AADy-AACAuwAAHD4AALi9AAC4PQAA-D0AABA9AADIPQAA4DwAAFA9AAAUPgAAcD0AAHA9AADgPAAAuL0AAJg9IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=2ftNBjTaf-s","parent-reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["1205307395340842754"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false,"videoContentId":"3426087429"},"5775674466248872599":{"videoId":"5775674466248872599","docid":"34-10-3-Z5FC44953BB9D5A4B","description":"Formal Methods for Dependable Computing: From Models, through Software, to Circuits Speaker/Performer: Sanjit A. Seshia, Asst. Professor of EECS, UC Berkeley Live broadcast at mms...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/1559542/81105bb72b5fcf323f706c1e3fef4e49/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/2s8ZdgAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"12","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DVUyfi6JJRgA","linkTemplate":"/video/preview/5775674466248872599?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Formal Methods for Dependable Computing: From Models, through Software, to Circuits","related_orig_text":"formal methods","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"formal methods\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=VUyfi6JJRgA\",\"src\":\"serp\",\"rvb\":\"EqgDChQxNzMwODkzMDI2NDA2Mzk5NDYzMAoTMjYyODkxMDg2NTI3NzkwODM3OQoTNzc4NTc2NTM1NjYwODkxNTAyNQoTMjAzMDk1NDkxMzgyMTA2OTI3OQoUMTIxODUxOTk5NTU1MzcwODI5MjkKEjM1MTg0ODQ5NzM0ODc2NzUzNAoUMTU2MjY5NjQzNDM3ODY5ODU2MDIKEzgxOTEyOTE0MjkwOTQ0MzAxMzQKEzY4OTg3Njc4MDY4NTkwMTk5NjIKEzEyMDUzMDczOTUzNDA4NDI3NTQKEzU3NzU2NzQ0NjYyNDg4NzI1OTkKFDE0MjUyMDU2MzE4OTk4OTY1MTIzChM5NDAwMDg1OTE3NTQ2OTI4MzQ1ChM2MjU2MDMxNTkzMTExNDY4MTM1ChI1MDQxNTI4MTA5Nzc0NTY4NTcKEjYwMTI4MDE1NjQyMjgyNTM0MQoUMTM2NjkyNDkxNTk4MTc3MTMxODIKFDE4MDQzNjE1Nzg3NTgzMDk3NDUzChM5NzIzOTk2NzI4OTA3NTE1MDI5ChQxMjQ2OTAxMzYzMDc0ODg1MjI3NRoVChM1Nzc1Njc0NDY2MjQ4ODcyNTk5WhM1Nzc1Njc0NDY2MjQ4ODcyNTk5arYPEgEwGAAiRRoxAAoqaGh3dW10ZXF2bWF2cnRtYmhoVUNoeTZHRDBTUFNHblFkS3BFVXlqQmJBEgIAEioQwg8PGg8_E4MWggQkAYAEKyqLARABGniBFRD-AAzx_-n_FvgIAQAAIAABDPIDAwDQCgD9CfYEAPby9Ov_AAAAAPr2Df0AAAD9C-sD9f0BAA0CAP_nAP8AGuz19fwAAAD7FgPw_gEAAAP1BPYDAAAAIu72BP8AAAAACQL1BAAAAPkWDBAAAAAACv36Cvvv_QAgAC2pY687OBNACUhOUAIqhAIQABrwAWz2FAHBCgP9HwkCABcS6QCB8Pv_EQftANP8GADPAuoABBsHAA_k7v8UBhkB3goHAEAA_QAqFPf_K-0SAEQEAQD2FQQALfL8ACMBBgD06uX_8gQHAPb89QD89R4B-Q7p_-UEEADzEPL_Afv5_-_xCwMYCP4FFvL2APgSAv33HRADCC33_gn6BAL86wf-7CMZAfv33AMG6gH_JvcHBgsRBQQICvYD-AkI-xvz9_r2-Qn5-fYG_B4i_QAd9gMHBv0GAe_y9AL3A_4DABcPARHlCwcK7AH85RURAAoW9vUI6Aj98wv8-_Yg-gz4CvoJD_YLBCAALZD6Tjs4E0AJSGFQAipzEAAaYC_6ACnpIgXYF1gL7eTdCvPrCvwhpwL__9b_9Bv2_uoI8rUcEP85tCLyogAAABgO5gcsAAB_CLDuL-AiEZ293ycNYBYf7uAICv7YDRke4eDzFhgwUgAP-6QLU7qlOgAt_iAALUlLHjs4E0AJSG9QAiqvBhAMGqAGAACAPwAA8EEAAGRCAABMwgAAfEIAALhBAABwQgAAMEIAALbCAAAQwQAAUEEAAOBAAADowQAAIMEAAKJCAADgQAAAwMAAACDBAAC0wgAAgL8AAJhBAAAgwQAAIMEAAHBCAACYwQAAoMAAADDBAABcwgAAEEIAAIBAAAAIwgAAbEIAAJDCAAAAQgAAIMEAAHxCAADAwAAAkEIAANhBAAA0QgAAhkIAAJhBAACKQgAA4EAAAJhBAACCwgAAmMEAALhBAAAsQgAAQMAAADjCAACYQQAAqMIAAGDBAABEQgAAkEEAAMrCAABAQgAAoMAAAIhCAACEQgAAUEEAAKBAAAAIwgAABEIAAEjCAAA8QgAAlMIAAHBCAAAAwAAAjkIAACxCAACgwAAAGEIAAIbCAADAwQAAKMIAAABCAADgwQAAvMIAAKLCAACAwAAAAEAAAIBBAADAwAAACEIAAMDBAABQQgAAoEAAAAxCAADAQQAAgMAAALBBAACgwAAA8EEAAI7CAAAMwgAAkMEAACRCAADgQAAAsEEAAEBCAAB4QgAA-MEAAIBAAACAQAAAwMEAAABAAADIwQAAOEIAAADBAACEwgAAJEIAAABAAABQQQAAZEIAAMBBAABUwgAAbEIAAIC_AAAkQgAAmMIAADjCAACIwgAAgL8AAOhBAABwwQAAEMEAABDCAACKwgAA2MEAALhBAABQQQAAcEEAAGBBAACIQQAAQMEAAPDBAAA8wgAAMMIAACxCAAAYQgAALEIAABhCAABAQgAA8EEAAJLCAACYQQAAIEEAAOhBAABswgAA-MEAABjCAAAowgAAiEEAABDCAAAAQAAAMMEAAOjBAABEQgAAgD8AAABCAADAwAAAQMIAAHDBAAAAwgAAMEIAACxCAABMQgAAsMEAAIjBAADwQQAAUMEAABDBAADAwQAAoEAAAABCAACowQAAPEIAADBBAACSwgAAyMEAAEDBAABAwgAAPEIAAIBAAACEwgAAOMIAAAhCAAAAAAAAUMEAAKDBAAAMQgAAYEIAAGDBAABswgAAXMIAAIhBAAAowgAADEIgADgTQAlIdVABKo8CEAAagAIAANi9AADIPQAADD4AANg9AAD4vQAAJD4AADw-AABDvwAAHL4AAFA9AADIvQAAcD0AAHC9AABkPgAAoLwAAOi9AADIPQAAgDsAAOA8AAAXPwAAfz8AAFA9AAA8PgAADL4AAOC8AAB8PgAAqD0AABS-AABkvgAAuD0AACQ-AACgvAAAmD0AAIg9AABAPAAAPD4AAMg9AACovQAAhr4AADS-AABkvgAAUL0AAOg9AAAQvQAAJD4AAEw-AACGPgAAjr4AAMi9AADCvgAAiD0AAOg9AACGPgAAED0AAL6-AAAQvQAATT8AANi9AAAcPgAAND4AADA9AAAQvQAAyD0AABC9IAA4E0AJSHxQASqPAhABGoACAACovQAAgLsAACS-AAAhvwAADL4AADA9AACAuwAAED0AADS-AACqPgAAUD0AAKC8AABAPAAAhr4AAOg9AADgPAAAyD0AADE_AADIPQAA0j4AABC9AAAsPgAAcL0AADC9AACYvQAAJD4AAOC8AACYPQAATL4AAFC9AACgPAAAED0AACw-AADYvQAA4DwAAOC8AAAQPQAAuj4AAIK-AAAUvgAAyD0AAKA8AACIvQAABL4AALg9AABwPQAAf78AAPi9AACovQAAdL4AACQ-AAD4vQAA-D0AAEA8AACAuwAAUD0AAIA7AABAvAAAqD0AAIA7AACgPAAAcD0AAPi9AABwPSAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=VUyfi6JJRgA","parent-reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":640,"cheight":480,"cratio":1.33333,"dups":["5775674466248872599"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false,"videoContentId":"3098356608"},"14252056318998965123":{"videoId":"14252056318998965123","docid":"34-5-17-Z8C724B7F7E1C8524","description":"Zero-knowledge circuits facilitate the construction of zero-knowledge proofs (ZKPs) by describing computations as finite field equations. However, logical errors in these circuits can lead to...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3950584/283685e81e2c5834e2686761489aca87/564x318_1"},"target":"_self","position":"13","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DtZ7_S0isWwk","linkTemplate":"/video/preview/14252056318998965123?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Formal methods for zero knowledge circuits with Isil Dillig | a16z crypto research talks","related_orig_text":"formal methods","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"formal methods\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=tZ7_S0isWwk\",\"src\":\"serp\",\"rvb\":\"EqgDChQxNzMwODkzMDI2NDA2Mzk5NDYzMAoTMjYyODkxMDg2NTI3NzkwODM3OQoTNzc4NTc2NTM1NjYwODkxNTAyNQoTMjAzMDk1NDkxMzgyMTA2OTI3OQoUMTIxODUxOTk5NTU1MzcwODI5MjkKEjM1MTg0ODQ5NzM0ODc2NzUzNAoUMTU2MjY5NjQzNDM3ODY5ODU2MDIKEzgxOTEyOTE0MjkwOTQ0MzAxMzQKEzY4OTg3Njc4MDY4NTkwMTk5NjIKEzEyMDUzMDczOTUzNDA4NDI3NTQKEzU3NzU2NzQ0NjYyNDg4NzI1OTkKFDE0MjUyMDU2MzE4OTk4OTY1MTIzChM5NDAwMDg1OTE3NTQ2OTI4MzQ1ChM2MjU2MDMxNTkzMTExNDY4MTM1ChI1MDQxNTI4MTA5Nzc0NTY4NTcKEjYwMTI4MDE1NjQyMjgyNTM0MQoUMTM2NjkyNDkxNTk4MTc3MTMxODIKFDE4MDQzNjE1Nzg3NTgzMDk3NDUzChM5NzIzOTk2NzI4OTA3NTE1MDI5ChQxMjQ2OTAxMzYzMDc0ODg1MjI3NRoWChQxNDI1MjA1NjMxODk5ODk2NTEyM1oUMTQyNTIwNTYzMTg5OTg5NjUxMjNqrg0SATAYACJEGjAACiloaGNyZHh2ZGlkZ2txZW1oaFVDVEhxM1c0NkJpQVlqS1VZWnEycW0tURICABEqEMIPDxoPPxPOGYIEJAGABCsqiwEQARp4gQwBBw4J9QDuDxH7CAL_AQkDCwr3__8A5QgBD_z-AQDw9QvxCQAAABT38v_9AAAABAH4BvD9AQAr_PX9AQAAABYB8QP_AAAABfoD9_8BAAAFCAUIBP8AABIACfr_AAAAAQb8B_j-AAHw-xMIAAAAAA3u-PMAAAAAIAAtcRG7OzgTQAlITlACKnMQABpg2QUACh4TJu0dSPUD2Noj6NAY5NLIHv8qqgCxCu7y-Na0pTsb_x7RDASdAAAAQgzr3-gA2nXqy6_89zLz6uLaKtV_wR_DDA8T-Oz49bQjLbgJ-SooABD8GvxGmrYoUCPsIAAt94UUOzgTQAlIb1ACKq8GEAwaoAYAAFBBAABAQQAAgEEAAADAAABoQgAAuEEAAKBBAABAQQAALMIAABDBAADoQQAAisIAADjCAAAwwgAAhEIAADDCAADIwQAAIMIAANjBAABUwgAAsMEAABDBAAAAAAAAjkIAAAAAAABYwgAAvsIAADzCAAAoQgAAYEIAAMjBAABIQgAAFMIAAADAAACIwQAA0MEAADDBAADsQgAALMIAAFBCAACgwAAAQEEAAHBCAADAQAAAHEIAAFjCAACIwQAAAAAAAJhCAACgQQAA-MEAAGBCAACgQQAAoEAAADhCAACAwQAAwsIAAADAAADgwQAAyEEAABBCAAAkwgAAAMIAAJTCAAAcQgAAQMEAAODAAACEwgAARMIAABTCAABEQgAAPEIAACTCAADgQQAAYEEAALDCAADgwAAAAMAAAEBCAAAAwQAACMIAAMhBAABwwQAAqEEAAEjCAADAQAAA0EEAAARCAACMQgAAFMIAAKhBAAAUQgAAsMEAAIzCAADAwQAAIMIAAIDBAADgQQAAqEEAADzCAAD4wQAA-EEAAHhCAAAEwgAA2EEAAMDBAAAwwgAAYEIAAEjCAAA8QgAASEIAAIDAAAAowgAAQEEAAHBBAABAQQAAQEAAAPDBAAAgwQAA0MEAAMBAAABwwQAAnMIAAEDBAABEQgAAkEEAAAAAAADgQAAAlsIAACDCAAAwwQAAIMEAADjCAABMQgAAcMEAAIA_AAAcQgAAwMAAAPjBAADowgAADMIAAHBBAAD4QQAAIMEAAFBCAABAwQAAxsIAAAxCAADAwAAAqMEAACDCAADAwAAA8EEAAJBBAACgwQAAIMIAALjBAADwwQAAeMIAAOBAAAAIwgAAAAAAAJjBAADgwQAA4MEAAMBAAABwQQAAfEIAAMDAAAAAQAAA0MEAAFhCAAAcwgAAcEEAABDBAABwQQAAgMEAADDCAACQQgAAoEAAAEBBAACAwgAASEIAAARCAACYQgAAMMIAAHjCAABwQQAAiMEAAMBBAAAgwgAAisIAAHhCAAAIwgAA2EEAABRCAACYwgAAmEEAAGDCAAAcwiAAOBNACUh1UAEqjwIQABqAAgAA6L0AAHC9AAAkPgAAgDsAACS-AAAsPgAATD4AAMq-AACavgAAuD0AAAQ-AACoPQAARD4AANg9AABAPAAAfL4AABQ-AAAwPQAALD4AAII-AAB_PwAA4LwAAHA9AACYPQAAbL4AALg9AACAOwAA2D0AABy-AAD4PQAAyD0AAAy-AABQvQAAED0AAJg9AABQPQAAJD4AAHy-AABcvgAAqD0AAGS-AABAvAAAEL0AAIg9AAAwPQAA6D0AAFw-AAD4vQAALL4AAHy-AABQPQAAuD0AAHw-AADoPQAAHL4AAFA9AAABPwAAgLsAABw-AABkPgAABD4AABC9AACoPQAAor4gADgTQAlIfFABKo8CEAEagAIAAAS-AAD4PQAAPL4AAB-_AAAsvgAARD4AAIC7AAC4PQAA-L0AAJ4-AADgPAAAJL4AAEA8AABwvQAAUD0AAEC8AACIPQAAOT8AAES-AACKPgAA4DwAAOi9AAAMPgAAqL0AABA9AAA0PgAAjr4AAOg9AACovQAAQLwAADA9AABwPQAABL4AAIA7AABEPgAAJL4AAJo-AAAUPgAAVL4AAKK-AAAEPgAAQLwAABS-AACYvQAAiD0AAEA8AAB_vwAA6D0AAMi9AACAOwAAPD4AAEC8AABwvQAAsj4AAIi9AAC4PQAAQLwAAIg9AAA0PgAAyD0AADw-AACAOwAA2D0AAJi9IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=tZ7_S0isWwk","parent-reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["14252056318998965123"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false},"9400085917546928345":{"videoId":"9400085917546928345","docid":"34-0-17-ZBE4AC81EA8F53F3D","description":"Describing Syntax and Semantics unified process model in software engineering,formal methods pdf,z notation example formal methods, you can download form following website It is the one the...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3838397/de1c2705afb9e4b414465563ddab0501/564x318_1"},"target":"_self","position":"14","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DTHHgTt3fQlE","linkTemplate":"/video/preview/9400085917546928345?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Describing Syntax and Semantics|Formal Methods in Software Engineering Hindi Urdu Cse304 Lecture 17","related_orig_text":"formal methods","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"formal methods\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=THHgTt3fQlE\",\"src\":\"serp\",\"rvb\":\"EqgDChQxNzMwODkzMDI2NDA2Mzk5NDYzMAoTMjYyODkxMDg2NTI3NzkwODM3OQoTNzc4NTc2NTM1NjYwODkxNTAyNQoTMjAzMDk1NDkxMzgyMTA2OTI3OQoUMTIxODUxOTk5NTU1MzcwODI5MjkKEjM1MTg0ODQ5NzM0ODc2NzUzNAoUMTU2MjY5NjQzNDM3ODY5ODU2MDIKEzgxOTEyOTE0MjkwOTQ0MzAxMzQKEzY4OTg3Njc4MDY4NTkwMTk5NjIKEzEyMDUzMDczOTUzNDA4NDI3NTQKEzU3NzU2NzQ0NjYyNDg4NzI1OTkKFDE0MjUyMDU2MzE4OTk4OTY1MTIzChM5NDAwMDg1OTE3NTQ2OTI4MzQ1ChM2MjU2MDMxNTkzMTExNDY4MTM1ChI1MDQxNTI4MTA5Nzc0NTY4NTcKEjYwMTI4MDE1NjQyMjgyNTM0MQoUMTM2NjkyNDkxNTk4MTc3MTMxODIKFDE4MDQzNjE1Nzg3NTgzMDk3NDUzChM5NzIzOTk2NzI4OTA3NTE1MDI5ChQxMjQ2OTAxMzYzMDc0ODg1MjI3NRoVChM5NDAwMDg1OTE3NTQ2OTI4MzQ1WhM5NDAwMDg1OTE3NTQ2OTI4MzQ1aq8NEgEwGAAiRRoxAAoqaGhqa254cnluamZ5Y2hzY2hoVUNncnBSX200NzRUX0NhSHJoOXRwN1dBEgIAEioQwg8PGg8_E90dggQkAYAEKyqLARABGniBBgH-_gP9APAJ_QoRBPwBG_sG__UCAgDjAu_2A_wCAPf09e7_AAAAEP_8EQcAAAAB9gEF9f0BABL1-AkCAAAAFw8J_vUAAAACFvP3_wEAAP0A9wcD_wAAEwoIAf8AAAAHFgb2AP8AAPr7AgMAAAAA-fPxCAAAAAAgAC3HWss7OBNACUhOUAIqcxAAGmAkCwAdGPsIwRAK3wD47g77AST18NXp_xW_AP4Z2eLv-_WvEy__GNgI9LwAAAAf4ugQGgDQXOzOzg_-BP7Mv-gCHn_ZGQQEKCTQvfzm4REHEiIOPh8A9Pjl_iTY5jX7LQMgAC1bCEM7OBNACUhvUAIqrwYQDBqgBgAAgEEAAOBBAADAQAAAHMIAAIA_AAAkQgAAbEIAAMjBAACQwQAAoMAAAAxCAACMwgAA2MEAAAjCAACCQgAAYMEAAPDBAACIwQAA4MAAAFjCAABUQgAAoMEAAARCAAAYQgAAAMAAANDBAACwwgAAyMIAAFhCAABAQQAA6MEAANhBAABUwgAAgEEAACDCAABwQQAAAMAAALBCAAB0wgAAAEIAABBBAAAkQgAASEIAAKBBAAAkQgAAgsIAAATCAAAQQQAAFEIAALhBAABUwgAA4EEAAIDAAAAQQQAA-EEAACBCAAAAwwAAqMEAACDBAADgQQAAmEEAACjCAAC4wQAAisIAAFhCAADowQAAkMEAAKjBAABQwQAAqMEAAFBCAACAQgAAgL8AAIC_AADYwQAAjsIAANDBAACAwQAAUEIAAIjBAABQwgAA6EEAALjBAAAkQgAAEMEAAADAAABgQgAALEIAAEBCAAA0wgAA4EEAAKBBAABgQQAAssIAAMDBAABIwgAAIEEAAIjBAAAAQAAAUEEAACjCAADgQQAAiEIAAPjBAABwwQAALMIAAKBAAAAwQgAA4MEAAABBAACwQQAAEEEAAKjBAAAwwQAAUEEAAARCAABwwQAArMIAAMBAAACAQQAAwEEAAIbCAACKwgAAcMIAAEhCAAAAwQAAqMEAANhBAACwwQAAwMEAAGDBAABQwQAAgMEAAJhBAACSwgAAEEEAAABAAADAQAAAjsIAANTCAABgQQAAIEEAACRCAACAQAAAaEIAABDCAACSwgAA4EAAAHxCAADgwQAAgMAAAABBAABEQgAAgD8AAMDAAAC4wQAAgMEAAJLCAAAowgAAkEEAAIA_AAAoQgAA4MAAAFTCAAAAAAAAEEEAABBCAAAQQgAAUEEAAEDBAABMwgAAaEIAAPjBAACAwAAAmMEAAPBBAAAMQgAAAMIAALhCAADIQQAAEEEAAMjBAAAgQQAA6EEAAIBCAACowQAAMMIAAADAAADgwAAAIMEAADDCAABUwgAAMEIAAJjBAABQQQAAFEIAAKzCAAAwwgAAkMEAAADCIAA4E0AJSHVQASqPAhAAGoACAABMvgAAqL0AAFw-AABwPQAAUD0AAHw-AABQvQAACb8AABC9AAAwPQAAyD0AAKi9AAAMPgAA-D0AAMi9AABAPAAAkj4AAKC8AACIPQAAlj4AAH8_AAAQvQAAQDwAAKg9AADovQAAoLwAAKA8AACgvAAAMD0AABw-AADoPQAAiL0AAFS-AAAQPQAAoDwAADA9AABwPQAAmL0AAEy-AAA8vgAAJL4AAIA7AAAwPQAAQDwAAFA9AADgPAAAgj4AANi9AABMvgAAjr4AAEC8AABwvQAAgj4AAKg9AAAcvgAAoLwAABE_AAAwvQAAQDwAAGw-AACAOwAAuD0AAIC7AACgvCAAOBNACUh8UAEqjwIQARqAAgAANL4AACQ-AADgvAAAKb8AAKi9AAAwvQAABD4AABC9AAAcvgAAwj4AABA9AAD4vQAAcL0AABy-AABwPQAAmL0AAFA9AAARPwAAgDsAAK4-AADYPQAABD4AAKC8AAD4vQAAoLwAAIC7AADovQAA6D0AAMi9AAAQPQAAQDwAALg9AAAwPQAAbL4AAIA7AACIvQAALD4AAJ4-AABUvgAAgLsAAPg9AACYvQAAiL0AAHC9AADIPQAAiD0AAH-_AADoPQAAQDwAAKg9AABcPgAA2L0AAIg9AADIPQAAmD0AAHA9AACgPAAAUL0AADA9AABAvAAAQDwAAOA8AADYPQAA-D0gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=THHgTt3fQlE","parent-reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":640,"cheight":360,"cratio":1.77777,"dups":["9400085917546928345"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false},"6256031593111468135":{"videoId":"6256031593111468135","docid":"34-0-7-ZD8F7E4BD9C3FE626","description":"Lectures by Professor Eric Hehner http://www.cs.utoronto.ca/~hehner/FMSD...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4238889/5cd49eb3f88fa935548d8596a8fc59d2/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/UZbJgwAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"15","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3Dwgd6MtQHuLQ","linkTemplate":"/video/preview/6256031593111468135?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Formal Methods of Software Design - Collections: Bunches and Sets [3/33]","related_orig_text":"formal methods","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"formal methods\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=wgd6MtQHuLQ\",\"src\":\"serp\",\"rvb\":\"EqgDChQxNzMwODkzMDI2NDA2Mzk5NDYzMAoTMjYyODkxMDg2NTI3NzkwODM3OQoTNzc4NTc2NTM1NjYwODkxNTAyNQoTMjAzMDk1NDkxMzgyMTA2OTI3OQoUMTIxODUxOTk5NTU1MzcwODI5MjkKEjM1MTg0ODQ5NzM0ODc2NzUzNAoUMTU2MjY5NjQzNDM3ODY5ODU2MDIKEzgxOTEyOTE0MjkwOTQ0MzAxMzQKEzY4OTg3Njc4MDY4NTkwMTk5NjIKEzEyMDUzMDczOTUzNDA4NDI3NTQKEzU3NzU2NzQ0NjYyNDg4NzI1OTkKFDE0MjUyMDU2MzE4OTk4OTY1MTIzChM5NDAwMDg1OTE3NTQ2OTI4MzQ1ChM2MjU2MDMxNTkzMTExNDY4MTM1ChI1MDQxNTI4MTA5Nzc0NTY4NTcKEjYwMTI4MDE1NjQyMjgyNTM0MQoUMTM2NjkyNDkxNTk4MTc3MTMxODIKFDE4MDQzNjE1Nzg3NTgzMDk3NDUzChM5NzIzOTk2NzI4OTA3NTE1MDI5ChQxMjQ2OTAxMzYzMDc0ODg1MjI3NRoVChM2MjU2MDMxNTkzMTExNDY4MTM1WhM2MjU2MDMxNTkzMTExNDY4MTM1arYPEgEwGAAiRRoxAAoqaGh2cndkc3pzanh4c29qY2hoVUM5cF93UXM4YjhTSHZmSlN1dXhFbnZ3EgIAEioQwg8PGg8_E_kGggQkAYAEKyqLARABGniBFRD-AAzx__X6Gfz8Bf4BIgcU-_MEAwDQCgD9CfYEAAz2AfwAAQAAFgHzAQoAAAAEAfgG7_0BABz1-vjxAAAAJAvxBvwAAAAEDQP5_gEAAOb78AsE_wAAEAIMBgAAAADsGP_5____AP4M9w0AAAAAB_j4_frz_gAgAC2pY687OBNACUhOUAIqhAIQABrwAX8M7ALI5Oz_BvXgAKUZBgCb-w3_DxPXAKT_JwPS_-4B8SjYANvp5gHXCBUAwxYHAPz50v4Z5v0ANw7vACL49v8BGBEBMNAOATcTA__-BOv_-xY-Av_kHQEQ7PwAEwHzAPITFQDgFesADf_aA__gGQMLByYDJ_wgAObhEf31GQj_DATk_f3x8ATjBPb57fIWA_jx5vwaH_H93BQDBBkM2QLt3w4ADBHWADQN_gr53wP08AEIAOsG6_8DBxgC5AzxAhH3HPXv5fP5CAkYBRjj_gHwAQT4GusEB_0d9gcX2A_07-IA99wcDfzqDgYT-Qr48yAALZE3KTs4E0AJSGFQAipzEAAaYE_lAE3lF8f210b488jhH-PfCe_6utn_CL__EyIK1_396rxUBQBAxRb3nQAAAB8ABQgEANd_0wDpLsIiM67V__gdeAEnKubuTgXn6wgWvSDoKiNEaAD40JYMKPG6B_Qo4iAALUeVFDs4E0AJSG9QAiqvBhAMGqAGAABUQgAAwEAAAGhCAAAQwgAAuEEAAJBCAABwQgAA2MEAACjCAACwwQAAmkIAADTCAACIwgAArMIAAJhBAABQQQAAgkIAACzCAABEQgAAiMEAADBBAACYQQAAQMAAAIDAAACAwQAAgMEAAODBAAAowgAAXEIAAMBBAACYQQAAyEEAABDCAACYQQAAZMIAABRCAABgwgAAWEIAAChCAACWQgAANMIAAKjBAABAQQAAIEEAABjCAACAQQAAgEEAABBBAABIQgAA2EEAADTCAACAwQAAEEEAAKDAAACgwAAAVEIAAFTCAAC4wQAAMEEAAKRCAADQwQAA2MEAAKDAAAB0wgAASEIAAEzCAAAYQgAA-MEAACDBAADgwQAALEIAAIJCAAA0wgAAMEIAAGDBAABAwQAAisIAAKBBAAAAwAAAHEIAAIBBAABAQgAA3MIAAIBBAAA0QgAAwEEAAIjBAACgQQAAuEEAADjCAADwwQAAlEIAAEDBAABwwgAA4EAAACTCAACgwAAA4MEAADDBAACQwQAAdMIAAMBBAAAEQgAAcEEAAILCAABMQgAANMIAAAxCAADgQAAAAMAAABxCAADwwQAA6EEAAEBBAACIwQAAsEEAANBBAACAwAAAoMAAAOBAAABMwgAAmMEAAKjBAABUwgAAwEEAABDBAACwQQAAgEAAAIhBAAAgwQAAAEAAAJ7CAADgQAAAuEEAAOhBAAD-QgAAoEEAAABAAACIQQAAKMIAAGBBAACAPwAA6EEAAOjBAACQQQAAUEIAAFDBAABkQgAADEIAAJZCAACkwgAAAEEAAKBAAADQQQAAAEEAACTCAAB8wgAAyMEAAIA_AADgwQAAmMEAAHBBAABAwAAAwEEAAFDCAAAwwQAAEMIAABBCAABUQgAAsEEAAABBAABAwgAAoMAAAMDBAAC4QQAAIMEAANhCAABEwgAAqEEAAIDBAACEwgAAcMEAABjCAAAAQQAA4EEAAGDCAAA4wgAAQMIAAChCAABMwgAAnkIAADjCAAAQQgAAJEIAACBCAADwQQAAQEEAAFBCAACAwQAAGEIgADgTQAlIdVABKo8CEAAagAIAAOi9AABwPQAABD4AABw-AACgvAAAQDwAAPi9AAANvwAAXL4AAJg9AADovQAAcL0AAHA9AABMPgAAcL0AANi9AABMPgAAQDwAAEC8AADuPgAAfz8AALg9AACYPQAARL4AAOi9AACgPAAAQLwAAFA9AABcvgAAEL0AAAw-AACAOwAADL4AADA9AACAOwAAmL0AANg9AADgPAAAXL4AACy-AADovQAAMD0AAIC7AAAQvQAAoDwAABC9AAB0PgAAZL4AAIA7AABcvgAAED0AAIA7AABUPgAAXD4AAFS-AAAwvQAAEz8AAPi9AABAvAAAZD4AAJi9AABAPAAAyD0AABS-IAA4E0AJSHxQASqPAhABGoACAADmvgAAgDsAACy-AABNvwAAML0AAEC8AACIPQAARL4AAEC8AACePgAAuD0AAOA8AADgvAAA6L0AANg9AAAQvQAADL4AADE_AAAEvgAArj4AAJi9AAAkPgAAUD0AAEC8AAD4vQAAFD4AAEA8AAB0PgAA4LwAACS-AACYPQAA2D0AAIi9AACavgAA6D0AAIC7AABMPgAAuj4AAJa-AAAsvgAAoDwAANi9AABsvgAA4LwAAOA8AACYvQAAf78AAEC8AABwPQAAQLwAAFA9AABkvgAAML0AAHw-AAA8PgAAyD0AAKA8AADYPQAA6D0AALi9AAD4PQAAoDwAAGw-AACgPCAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=wgd6MtQHuLQ","parent-reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1080,"cheight":720,"cratio":1.5,"dups":["6256031593111468135"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false,"videoContentId":"3073243319"},"504152810977456857":{"videoId":"504152810977456857","docid":"34-3-3-ZDCC0D097E0A4E370","description":"Urdu. Video Related to Computer Science in Hindi Urdu, video related to Math, states in Hindi Urdu, video related to Management in Hindi Urdu, Videos Related to Business, Related to Islamic...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/2073452/980a364658e378815b430ad0e655c753/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/sOGjCAEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"16","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DAIa646k6qoE","linkTemplate":"/video/preview/504152810977456857?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Abstract Model Specification|Formal Methods in Software Engineering Hindi Urdu Cse304 Lecture 18","related_orig_text":"formal methods","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"formal methods\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=AIa646k6qoE\",\"src\":\"serp\",\"rvb\":\"EqgDChQxNzMwODkzMDI2NDA2Mzk5NDYzMAoTMjYyODkxMDg2NTI3NzkwODM3OQoTNzc4NTc2NTM1NjYwODkxNTAyNQoTMjAzMDk1NDkxMzgyMTA2OTI3OQoUMTIxODUxOTk5NTU1MzcwODI5MjkKEjM1MTg0ODQ5NzM0ODc2NzUzNAoUMTU2MjY5NjQzNDM3ODY5ODU2MDIKEzgxOTEyOTE0MjkwOTQ0MzAxMzQKEzY4OTg3Njc4MDY4NTkwMTk5NjIKEzEyMDUzMDczOTUzNDA4NDI3NTQKEzU3NzU2NzQ0NjYyNDg4NzI1OTkKFDE0MjUyMDU2MzE4OTk4OTY1MTIzChM5NDAwMDg1OTE3NTQ2OTI4MzQ1ChM2MjU2MDMxNTkzMTExNDY4MTM1ChI1MDQxNTI4MTA5Nzc0NTY4NTcKEjYwMTI4MDE1NjQyMjgyNTM0MQoUMTM2NjkyNDkxNTk4MTc3MTMxODIKFDE4MDQzNjE1Nzg3NTgzMDk3NDUzChM5NzIzOTk2NzI4OTA3NTE1MDI5ChQxMjQ2OTAxMzYzMDc0ODg1MjI3NRoUChI1MDQxNTI4MTA5Nzc0NTY4NTdaEjUwNDE1MjgxMDk3NzQ1Njg1N2q2DxIBMBgAIkUaMQAKKmhoamtueHJ5bmpmeWNoc2NoaFVDZ3JwUl9tNDc0VF9DYUhyaDl0cDdXQRICABIqEMIPDxoPPxP4HYIEJAGABCsqiwEQARp4gQAI-w4I9wD4_fgFDgb8ARb8_AD1AQEA3wb9AQD8AgDs-wDy-P8AABv0AQkHAAAAAv799fH9AQAU9PgJAgAAAB0C_QD2AAAABhcA-v4BAAD3AfwCA_8AAB8SA_z-AAAA-hv7-AD_AAD8_g4FAAAAAAD08v4AAAAAIAAt7vC9OzgTQAlITlACKoQCEAAa8AF_-f8Brv_9_PsJ8gDtC90BxwTz_xbx5ADF8wkAndf3_zIvBQHs5QEA5xABAOP_8f_wAuD-Je0DACrk3v8bJRAA6OYCAEbS9wELGfkAEvj5ANf-CQD5-iEAESjxAP0D6gAZDzH_JQb8AQn_7gAO3RT_Au4i_ewKFgDt8v4D7ycH_ivF7_7uGPj9AgHn-_LtAgfu_fQFFfzj_yMD8gQMIu8KFNYBAjEJ-f78CvkI9gTo-P_8_AP97vv6zx4X__oO8gPd4_kB-s0DAAAbEQEe_QT-2OsWB9vqDwsA8vMK_tMI-CgU-A_qDQMGA_YFAOr3AfUgAC2cfzE7OBNACUhhUAIqcxAAGmAu-wAhBRAT3R4y4Bzd6yvrAQnvB97nAAPdAPIr4OwYGPWxCyj_F8wA9roAAAAI7vsYAADkYfXS2BfwChTprNULHH_qFhPi8DTZtd3ZA-z6FijwMSIA6P68FTnjzSb3M_kgAC2f8zs7OBNACUhvUAIqrwYQDBqgBgAAMEEAAOBBAAAQQQAALMIAAABAAAAAQgAAQEIAAATCAADQwQAAgMEAAARCAABwwgAA0MEAAODBAACIQgAAoMAAABjCAABAwQAAcMEAAHTCAAA0QgAAIMEAAERCAAA8QgAAQEAAAMDBAACgwgAA1sIAAFhCAACAQQAABMIAABhCAAAYwgAAMEEAALjBAADAQAAAQMEAAKpCAAB0wgAA0EEAAFBBAAAkQgAAKEIAALhBAAA0QgAAdMIAAKDBAAAAQQAAHEIAAKBBAABcwgAA8EEAADDBAABAQQAAJEIAABRCAAAAwwAAgMEAAEDBAAC4QQAAkEEAACzCAABgwQAAjMIAAHxCAAAUwgAAYMEAAPjBAAAAwQAAyMEAAFxCAACCQgAAAMAAAMDAAADAwQAAjMIAAADCAADgwAAAUEIAAADBAABcwgAAwEEAALDBAADYQQAAAAAAAIA_AACCQgAAREIAADxCAABMwgAAyEEAALhBAABgQQAArsIAAKjBAABMwgAAuEEAAJjBAACAPwAA4EAAADDCAACQQQAAgkIAAADCAADgwAAAHMIAAAAAAAAoQgAAyMEAAABBAAC4QQAAwEAAAJjBAAAAwQAAYEEAAKhBAACgwQAAoMIAABBBAACAQQAAAEIAAJbCAAB8wgAAVMIAACxCAABQwQAAiMEAAPhBAADgwQAALMIAAIjBAADIwQAAgMEAAIhBAACUwgAAAEEAADBBAABAQAAAisIAANrCAACQQQAAIEEAAGhCAACgQAAAVEIAABTCAACewgAAQEEAAIRCAAC4wQAAAAAAAABBAAA4QgAA4EAAAMDAAADIwQAAsMEAAITCAAAIwgAAcEEAAKBAAAAUQgAAwMAAAFjCAABAwQAAEEEAAARCAAAoQgAAAMAAAEDBAABgwgAAfEIAAODBAACAwQAA0MEAABhCAADoQQAAAMIAALJCAADAQQAAgEAAAIDBAACAPwAAmEEAAHxCAACAwQAAOMIAAODAAAAQwQAAAMAAAEDCAABYwgAAdEIAANjBAACYQQAAKEIAAJrCAAAgwgAAYMEAAPjBIAA4E0AJSHVQASqPAhAAGoACAAAsvgAAqL0AABw-AAAQPQAAgDsAAEQ-AAAQvQAA-r4AAAy-AADgPAAAFD4AAHC9AAAcPgAAiD0AAFC9AAAwvQAARD4AAIC7AAC4PQAAfD4AAH8_AACIPQAAMD0AAIA7AAAMvgAAcL0AAEC8AADgvAAA4LwAAAQ-AAAMPgAAML0AADS-AAD4PQAA2D0AABA9AAAUPgAAcL0AAEy-AAC4vQAAJL4AADA9AACIvQAAcD0AAHC9AABwPQAAdD4AAJi9AAAkvgAAor4AAEC8AABAPAAAbD4AAAQ-AABwvQAAgLsAAO4-AABQvQAAmD0AAIo-AAAQPQAAmD0AAEA8AACYvSAAOBNACUh8UAEqjwIQARqAAgAAyL0AABQ-AABUvgAABb8AAPi9AADgPAAAFD4AALg9AAA0vgAAxj4AAKC8AAD4vQAAED0AADS-AABAPAAAUL0AADQ-AAAVPwAAoLwAALY-AACgPAAALD4AAIg9AADIvQAAML0AAMg9AABwvQAA-D0AALi9AADgvAAAoDwAADA9AACAOwAAHL4AAKi9AACovQAARD4AALI-AAAMvgAAUL0AAHw-AAD4vQAA4LwAAIi9AAD4PQAATD4AAH-_AAAwvQAAPL4AAAQ-AACOPgAAUL0AAJg9AAC4PQAAiD0AADA9AACgvAAAoLwAADA9AAAQPQAAQDwAAIg9AABwvQAAQDwgADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=AIa646k6qoE","parent-reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":640,"cheight":360,"cratio":1.77777,"dups":["504152810977456857"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false},"601280156422825341":{"videoId":"601280156422825341","docid":"34-7-15-Z26D4CE0843AC254F","description":"Software engineer James Chapman presented to #Cardano2020 on how IOHK uses formal methods to build high assurance software for Cardano. Formal methods are a way of using precise mathematical or...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/2384093/ad9a5864bfc5d97a40ced2f8a23b5d72/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/Lv8pMgEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"17","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D_5nfYQSivzQ","linkTemplate":"/video/preview/601280156422825341?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Leveraging Formal Methods for Smart Contract Platform R&D","related_orig_text":"formal methods","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"formal methods\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=_5nfYQSivzQ\",\"src\":\"serp\",\"rvb\":\"EqgDChQxNzMwODkzMDI2NDA2Mzk5NDYzMAoTMjYyODkxMDg2NTI3NzkwODM3OQoTNzc4NTc2NTM1NjYwODkxNTAyNQoTMjAzMDk1NDkxMzgyMTA2OTI3OQoUMTIxODUxOTk5NTU1MzcwODI5MjkKEjM1MTg0ODQ5NzM0ODc2NzUzNAoUMTU2MjY5NjQzNDM3ODY5ODU2MDIKEzgxOTEyOTE0MjkwOTQ0MzAxMzQKEzY4OTg3Njc4MDY4NTkwMTk5NjIKEzEyMDUzMDczOTUzNDA4NDI3NTQKEzU3NzU2NzQ0NjYyNDg4NzI1OTkKFDE0MjUyMDU2MzE4OTk4OTY1MTIzChM5NDAwMDg1OTE3NTQ2OTI4MzQ1ChM2MjU2MDMxNTkzMTExNDY4MTM1ChI1MDQxNTI4MTA5Nzc0NTY4NTcKEjYwMTI4MDE1NjQyMjgyNTM0MQoUMTM2NjkyNDkxNTk4MTc3MTMxODIKFDE4MDQzNjE1Nzg3NTgzMDk3NDUzChM5NzIzOTk2NzI4OTA3NTE1MDI5ChQxMjQ2OTAxMzYzMDc0ODg1MjI3NRoUChI2MDEyODAxNTY0MjI4MjUzNDFaEjYwMTI4MDE1NjQyMjgyNTM0MWq2DxIBMBgAIkUaMQAKKmhoZHB2ZGZoemtlbXdkbWJoaFVDQkowcDlhQ1ctVzgyVHdOTS16M1YydxICABIqEMIPDxoPPxPEC4IEJAGABCsqiwEQARp4gf759QX9AwD1AgsAAgT-ARUGBQL2AgIA6QcBDP3_AQD3-QD3AQAAAAr3__4AAAAAAv799vT9AQD_9fwHAgAAABL5Av_3AAAABv0DAAcAAAAH__gAA_8AAAcCBfj_AAAA_AgBAfz_AAAE-wQDAAAAAAPxAAUAAQAAIAAt1vLeOzgTQAlITlACKoQCEAAa8AFyGP8A0Bge_yUR4AHr-QoAgQUL_yD_4QDL9QgArO7f__IrBf_u6AEAFQYaAekK_v8M59sAIPz8ABEXCv84CwsAJAQXAC7y_AAk9_sA6gXtAPoD_v8iDCb_CPj7_woAAP0NCAQA0gDjAPkB-QUS7CECDfkOA_r1EQPpDgYB6Az__PUD-wInBAMA9gXmAfAe_AX6-v_88gL0BO_f-v0MGuj_B-7_BBTr6wQu_w0C-u32_AkHBPwHFPf-EAUOBO8R-wQJ1v_-A-T1--kGDAE17AwJ6-gS_QEGE_nqAfj_EvAU_OToAv3tDAIG8gYIBeT2-PsgAC1uJ0g7OBNACUhhUAIqcxAAGmA3-QA6_hLF1e1V2vvy0yX370kLIL7y_wTo__9C8MkCGeTENwH_Sb4L9KEAAAAy8OMt8QDjf_e84ufiJey_jAYIAGXWKiHKBTbp090BTvHgAPvpNSoADuKoCF8SxT8dOPYgAC0lrRU7OBNACUhvUAIqrwYQDBqgBgAAiEEAANhBAACoQgAAyMEAAPhBAAAIwgAAqEEAAAhCAACawgAAAMIAAFBCAAD4wQAAXMIAAADBAACYQgAAqEEAAFDBAAA4wgAAFMIAAPjBAADQQQAAgD8AAIBAAAD4QQAA4EAAAPBBAADgwAAA0MIAADxCAABoQgAAoEAAAExCAAC0wgAAqMEAAEzCAACwwQAAFMIAAP5CAAD4QQAAQEAAAKBBAABAQQAAGEIAAOBBAACQQQAAqMEAABzCAAAIwgAA6EEAAAxCAACQwgAAkEIAAEDBAAAQwgAAGEIAALDBAADMwgAAIMEAAODBAACAvwAAUEEAAJDBAADYwQAAqMEAAEBAAACMwgAAgMEAANDBAAAEQgAAcEEAAHhCAAD-QgAA4EAAAHRCAACEwgAAfMIAACzCAAAwwQAAsEEAAEBBAADIwgAAMEIAAMjBAAB4QgAABMIAABBCAADgwAAAgL8AAGRCAAAQQQAA8MEAADDBAABAwAAAEMIAAARCAACKwgAAMEEAAMBAAAAwwQAAEMIAAODAAAB4QgAAuEEAAIjBAABgwQAAgD8AALBBAAAoQgAAJMIAAMhBAACgwQAANMIAAEBCAACwwgAAoEAAAOBBAABswgAAcMEAAEBBAADgQQAAQMEAAHzCAABQQQAAIMEAADDBAACgQQAAyEEAAKDBAADQwQAAOMIAAMhBAAAYwgAAYMEAAABAAABwQgAAlkIAAIhBAACgQAAAgMAAAKTCAADAwQAACEIAAPBBAADIQQAAwEEAALBBAACKwgAAOEIAAIDBAABAwAAAgL8AAJhBAABwQQAAAMIAAGDBAAAwwQAAQEAAAJLCAADAQQAAHEIAAGDCAACAQAAATMIAADBBAABowgAAQMAAAPhBAABkQgAAIEEAAODAAACQwQAACEIAAEjCAABAQAAAmMEAAAhCAADwQQAA6MEAAABBAAAMQgAAsMEAAIrCAACYwQAAgMIAABBBAAAUQgAAksIAAMhBAAAAQAAAAMAAAJzCAAAUwgAAAEAAAAhCAACYQQAAUEEAAEzCAADgwAAA6MEAAOjBIAA4E0AJSHVQASqPAhAAGoACAAD4vQAAVD4AABA9AAAcPgAAPL4AABQ-AACIPQAACb8AAIi9AAB8PgAAmD0AAJi9AACgPAAAcD0AAHC9AAAkvgAAED0AANi9AACIPQAA1j4AAH8_AAAwPQAAMD0AADC9AABsvgAAfD4AAOC8AAAwPQAAfL4AAMg9AAC4PQAAFD4AACS-AAAwvQAA6D0AABS-AACCPgAANL4AAOi9AAAEPgAAlr4AAHC9AAAsPgAABD4AAEQ-AACOPgAAUD0AAFy-AACevgAAqr4AAKA8AACgPAAADD4AAGQ-AADgPAAA4DwAAAk_AAAUvgAAuD0AAFQ-AADIPQAAqL0AAFA9AABQvSAAOBNACUh8UAEqjwIQARqAAgAATL4AALY-AADOvgAANb8AAHy-AACgvAAAmL0AAIA7AABAvAAABT8AAAw-AABAPAAA-L0AAES-AAAQPQAAmL0AAFy-AAAXPwAAQLwAAM4-AADovQAA4LwAAOg9AACovQAANL4AAGQ-AAAwvQAAPD4AAAS-AAAcvgAAuD0AAMi9AABwPQAA6D0AAHA9AAB0vgAAVD4AAGQ-AAB8vgAAmL0AAIC7AADoPQAATL4AAEA8AACYvQAAcD0AAH-_AABQPQAAoDwAAPg9AABwvQAALL4AAFA9AACSPgAAXD4AABA9AAAwvQAAgLsAAIg9AADovQAAmL0AAIo-AAAkPgAAoLwgADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=_5nfYQSivzQ","parent-reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["601280156422825341"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false},"13669249159817713182":{"videoId":"13669249159817713182","docid":"34-5-12-Z472D6939A2AF5DA9","description":"1st international symposium - formal methods in architecture...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4428379/89858331feab8f3e15d6a6c902d01ace/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/3TdtFQEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"18","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DUOUmxYbok0g","linkTemplate":"/video/preview/13669249159817713182?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"formal methods in architecture 2011 - Franklim Morais","related_orig_text":"formal methods","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"formal methods\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=UOUmxYbok0g\",\"src\":\"serp\",\"rvb\":\"EqgDChQxNzMwODkzMDI2NDA2Mzk5NDYzMAoTMjYyODkxMDg2NTI3NzkwODM3OQoTNzc4NTc2NTM1NjYwODkxNTAyNQoTMjAzMDk1NDkxMzgyMTA2OTI3OQoUMTIxODUxOTk5NTU1MzcwODI5MjkKEjM1MTg0ODQ5NzM0ODc2NzUzNAoUMTU2MjY5NjQzNDM3ODY5ODU2MDIKEzgxOTEyOTE0MjkwOTQ0MzAxMzQKEzY4OTg3Njc4MDY4NTkwMTk5NjIKEzEyMDUzMDczOTUzNDA4NDI3NTQKEzU3NzU2NzQ0NjYyNDg4NzI1OTkKFDE0MjUyMDU2MzE4OTk4OTY1MTIzChM5NDAwMDg1OTE3NTQ2OTI4MzQ1ChM2MjU2MDMxNTkzMTExNDY4MTM1ChI1MDQxNTI4MTA5Nzc0NTY4NTcKEjYwMTI4MDE1NjQyMjgyNTM0MQoUMTM2NjkyNDkxNTk4MTc3MTMxODIKFDE4MDQzNjE1Nzg3NTgzMDk3NDUzChM5NzIzOTk2NzI4OTA3NTE1MDI5ChQxMjQ2OTAxMzYzMDc0ODg1MjI3NRoWChQxMzY2OTI0OTE1OTgxNzcxMzE4MloUMTM2NjkyNDkxNTk4MTc3MTMxODJqtg8SATAYACJFGjEACipoaGd4bm1wa2hyc2dlcGxkaGhVQzM4UTdVdC1xWjE5UnJKVWQtcEJJSGcSAgASKhDCDw8aDz8T-RaCBCQBgAQrKosBEAEaeIH7BPsAAf8A7QT8AgkC_wAB_Pb8-P39APPw-f8FAv8A7PgR_P3_AAACAA__-gAAAPb4__7z_gEAHAL79QMAAAAoAP0G-wAAAAYB_Qf_AQAABAMJ7AEAAAATCAPz_wAAAO33CgUAAAAA_hAFAQAAAAAC-vYGAAAAACAALe3fzjs4E0AJSE5QAiqEAhAAGvABfwMLAqD--PtXHPgAMw4PAezk8AAp7PwA0NH4AObL-wA1FecB_PvvABIJCQD8_e8A2er___Pk4AAJ-gAAFAobAP0N_AEo-QMALvzjAuj66wDcBuv_9fz0APQJ8gIn7_H_4tkU_xj99gQWDesA8ez4AgvO-wEX5eb_CgXhBh8k-wIH6QP8vQURBM_kCv_v8xQDE_Hz_eIN8wX-BBj66N8IA9X3Ff8VAw_9-hPyAfcI_gYK7fUAE_LvBur5GQEUGeYBzBMIAggNAfUFGgbzJDkJ_hwECgMG4QYP6wIB9PUFDfj7_vkBF_X4AQoL-fsNIPX-IAAtmls8OzgTQAlIYVACKnMQABpgGwYA_gMZAN3ZFP7k--ob7NUa9-Wp6AAD1AD7JwLyIgMb1woe__ffC_a8AAAAAdoO8fUA51gB4a4c4xoY99sP5_p_1xjjD-cG4a_Qv9_5-P0x6RclAOMTuwsz9QHz6BHrIAAt1PNGOzgTQAlIb1ACKq8GEAwaoAYAAIhBAAAEQgAAIEIAALBBAAAAwgAA-EEAABBCAACAwAAAgMAAADDCAACgQQAAAMAAABDCAACgQQAAHEIAADjCAADwwQAAgL8AAHBCAACSwgAAiEEAAGTCAAA4wgAALEIAACBBAAAgQgAA4MEAADDCAACcQgAA4EEAALBBAADYQQAA4EEAAMBBAACAwQAATMIAAKDBAABIQgAAAMEAAKBAAABEwgAABEIAALBBAABMQgAAokIAAARCAABMwgAA8MEAAGBCAADowQAAEEEAANBBAADwwQAA8EEAABTCAACQQgAAQMEAAMBAAACowQAAQEIAAAjCAACgwAAAEMEAAJBBAABgQQAAUMEAACDCAABMwgAAdMIAABRCAAA8QgAASEIAANBBAADCQgAAXMIAAIDCAABwwQAAoEAAAPDBAABQQQAAIMIAACDBAADgQAAAPMIAAKjBAAAgQgAAoMEAAFDBAACAQgAAcEEAAADBAAAYQgAAEEIAAI7CAADAQQAAcMIAAIBAAADgQQAA8MEAALBBAADYwQAAAMIAAPhBAADIwQAAhMIAADBBAADwwQAAgMAAAJ7CAACMQgAA4EAAAEBCAACYwQAAuEEAAEhCAACKQgAAVMIAAHzCAABcQgAAqMEAAFTCAADIQQAAyEEAADDCAADAwAAAgL8AAEBBAAD4QQAAIMEAALrCAADeQgAAtsIAAAAAAABkQgAAHEIAAADBAAD4QQAApsIAADTCAADgwQAA-MEAAIBBAAA4QgAAmEEAADDBAAC4QQAAeMIAAERCAADQQQAAAMIAAKDAAAAQwQAA-EEAAMDAAABIwgAAsEEAACBBAAA0QgAAGEIAAIBAAACIwQAAyEEAAMjBAABMQgAAJEIAAPjBAABgQQAAIMEAAGxCAACAQAAALMIAAKjBAABkwgAAUMEAAABBAAA0QgAAAEEAAJDBAAAwwQAAyEEAAGDBAADCwgAACMIAAJTCAABsQgAAZMIAAFjCAACUQgAABEIAAABAAADoQQAAcEEAAIC_AACgQAAAmMEAALBBAABMwgAAYMEAAEzCAACwQSAAOBNACUh1UAEqjwIQABqAAgAAFL4AAMi9AAAsPgAA2D0AAEA8AACWPgAAij4AAPa-AABcvgAA6D0AAFC9AABEvgAAdD4AAOC8AABQvQAAmL0AAKi9AABAPAAAkj4AAGw-AAB_PwAAHD4AAIg9AADIPQAAqD0AAOA8AACIPQAA6L0AADQ-AABkPgAAUD0AAIA7AAA0vgAAdD4AALi9AADYPQAAuD0AAKq-AACivgAAiL0AAMK-AACIPQAAmD0AAFC9AAAcPgAABL4AAAS-AAC4PQAAcL0AADy-AAAUPgAAyL0AAFQ-AACAuwAAUL0AAEC8AAANPwAAZL4AAIA7AAB0PgAAMD0AAIi9AAC4PQAAoDwgADgTQAlIfFABKo8CEAEagAIAAPi9AAD4PQAALL4AAC2_AAC4vQAA4DwAACQ-AAC4PQAAHL4AAKY-AAA0PgAARL4AAOC8AAAkvgAA4DwAANi9AABQPQAAFT8AALi9AACmPgAABL4AAPg9AACgPAAAFL4AALg9AACAuwAAMD0AAAQ-AADgvAAAmL0AAFA9AAAQPQAAuL0AAJg9AAAQPQAAqr4AANg9AAC-PgAATL4AADC9AABcPgAAqL0AANi9AAAQvQAATL4AAOC8AAB_vwAA-D0AALi9AAB0PgAAMD0AAKg9AADIPQAAFD4AAFA9AACgvAAA4LwAAFQ-AABAPAAABL4AAOA8AAC4PQAA2D0AAKA8IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=UOUmxYbok0g","parent-reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":480,"cheight":360,"cratio":1.33333,"dups":["13669249159817713182"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false},"18043615787583097453":{"videoId":"18043615787583097453","docid":"34-4-13-ZB6F97D1CABAB3035","description":"What are Formal Methods in Software Engineering in Hindi Urdu methods, you can download form following website It is the one the biggest educational channel which provides all lecture in Hindi...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/2845744/4eb0a8cb39dff546411445967d4590f2/564x318_1"},"target":"_self","position":"19","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DnCCOIAuc05M","linkTemplate":"/video/preview/18043615787583097453?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"What are Formal Methods in Software Engineering in Hindi Urdu Cse304 Lecture 02","related_orig_text":"formal methods","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"formal methods\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=nCCOIAuc05M\",\"src\":\"serp\",\"rvb\":\"EqgDChQxNzMwODkzMDI2NDA2Mzk5NDYzMAoTMjYyODkxMDg2NTI3NzkwODM3OQoTNzc4NTc2NTM1NjYwODkxNTAyNQoTMjAzMDk1NDkxMzgyMTA2OTI3OQoUMTIxODUxOTk5NTU1MzcwODI5MjkKEjM1MTg0ODQ5NzM0ODc2NzUzNAoUMTU2MjY5NjQzNDM3ODY5ODU2MDIKEzgxOTEyOTE0MjkwOTQ0MzAxMzQKEzY4OTg3Njc4MDY4NTkwMTk5NjIKEzEyMDUzMDczOTUzNDA4NDI3NTQKEzU3NzU2NzQ0NjYyNDg4NzI1OTkKFDE0MjUyMDU2MzE4OTk4OTY1MTIzChM5NDAwMDg1OTE3NTQ2OTI4MzQ1ChM2MjU2MDMxNTkzMTExNDY4MTM1ChI1MDQxNTI4MTA5Nzc0NTY4NTcKEjYwMTI4MDE1NjQyMjgyNTM0MQoUMTM2NjkyNDkxNTk4MTc3MTMxODIKFDE4MDQzNjE1Nzg3NTgzMDk3NDUzChM5NzIzOTk2NzI4OTA3NTE1MDI5ChQxMjQ2OTAxMzYzMDc0ODg1MjI3NRoWChQxODA0MzYxNTc4NzU4MzA5NzQ1M1oUMTgwNDM2MTU3ODc1ODMwOTc0NTNqiBcSATAYACJFGjEACipoaGprbnhyeW5qZnljaHNjaGhVQ2dycFJfbTQ3NFRfQ2FIcmg5dHA3V0ESAgASKhDCDw8aDz8Tnh2CBCQBgAQrKosBEAEaeIH6AfMABvgA7wr8ChIF_AEQ_QcC9gEAAOMEBP0K_AIA7PsA8vgAAAAVDfwLBwAAAPD39fz5AAAAC_z2BQQAAAAUBQb49wAAAAYXAPr-AQAAA_j8BwT_AAAhAwn6_wAAAA8R_PYAAAAA__oI_QEAAAD27e78AAAAACAALfTBwDs4E0AJSE5QAiqEAhAAGvABevv0AcAIEP7vBtoA-B3eAYEAAv8yEswA0OQQAZnq2P8cKxcA8N0bAPoAEv_C9AEA_PnR_kIODwAV8vv_LQ8aAP0P_AEyzw8BIxcZAAT38gDR-PT-HwMXAA_17QD1A9IBIv0g_wcT6AL4FvAEIfwqAfbzBQID9f4F1SMF_-8RAQQPDPQEDQQEAP0VGf72GggHEv_tCArh7_sVEvkE_QHuAwzP4AAkAugCFhsHBfP0-fjiBgr2IA74-AMIGQIdBAv-3eMJ9xDMBv_uHgkDFeUb-_LTEvbo4hH-5ufsB__sB_QFAQD72__3BQwgCQr7-PnxIAAtv08kOzgTQAlIYVACKs8HEAAawAfg2Qa_dtyVPdJLljzB4iA-byBuPARL_TvmdQQ-Kyetu0Ln97tU15s9z5KRPK-49jsYzRq-08JgvRkvp7yDULY-GvK0vK9VTDy_RPy9mHX1vIJZ_LxPeJG-ZxVMPanmi7rJMzQ9OOhcvVCQM7zWoi89VD30vNqkKrthgmC7bxYKPRi6bbxdqbK9wZwqvT0eRLyULgI9QCQNO1AswbydhXg9vD6Qu4oFPrzmbRa9cg_TPAmHg7uaOlS9TFOlu7gA-rrHTAI-SAwsPV4cCz3osLE87y-KO4uU3Lzr9rO91r4lPFXXxrvf_MY97BvzPIdZPr3wbmA9W1U7vVbYZ7yI8NQ8ODRgPXOVtLsWVgW9_VRwvIr7NDzCspi9len8PGgwvDxoBAu-wFTYPEcWlbzrpjk81mORvK3HmLw8bjM9LRXIu95NAT0ErNU8M6KZPPTzSzwWqQs9MiLRPZ5nRzyyskc9JcsVur_Nhzxz6Um9A208O1E7Mry5MSI9ST0VvZkuo7uZOlk8OaGrvF4pbDugPVI9zB8YvUjaMjzKJQQ9w7-EOwQmCTmvNJo9qvRzvbckLDz3gxA9x6lOO04ddbxHLU86QBYBPNaVR7sCkho9tIbcPPYKi7tPHru81gGAPQC2E7u_a6e7OsO5PNY1f7x4iSA9PBz4PJvIijvm0pM8N4YFvQ8fYDveZ0Y9JaOUvKiL1jurL7G9d_vHvKUtqbhUQLW8Ia01O1Btsrv35jc8-5mVPPX_QzuOq3Y9lYxSPRFFo7gGmF49fus5vR4lzTmfZlS7b3rdu5VCA7ubMpw8OzClvLVuJLkRDIY9z0lvvBUliji756U8v5gSveJjAjriA6s9cJMWPeMHwjguJ1c9I-a4PWdUmbiICoq97Qq_u8o8Hjq6ZWq71928vO4Byriw87A9E999OxMsn7dZoog9BIKtO45W9ziqRJk8ajiQPRBXHThYHy895ioxvdLFwDj8Vss9CBc8vQPuAznG86495J-pPeQCajZ7QAq91ULJPBOm5zZc0ZG9gD7bu-3NSLiYGqw91_CpvQLoXrgt-Wm88grEPJIvcjdXe5g8B-o0vV14bTgESP68t9OWvRhjLrb7BxE9BsaTO4ByCrirP8K8b8OevB42bDRtU6G8BltWPb20kLcUIZW9tgvyPKkNGzgdn3-9EO-EPSbejzji03e8leG-vay2Hze47Ku8A6zZuxibh7gKECU97tWCPU__uzhxfGO9-iUCPqmBLLlePE08fsJ-PbILlrYZI608qmIKPUeshDggADgTQAlIbVABKnMQABpgQv4AGwUWB9b6IeIK6t8Z6gUM_f7a6f8OwwAFKe8C8yDsqRMb_yzaJAyzAAAAItzmGwkA8mj21tUa2wsDz7PVBwd_3RsX2wc60MPT6QX57v8m_z1BAPgFuQZG2L0oCxv5IAAtm04yOzgTQAlIb1ACKq8GEAwaoAYAACBBAACwQQAAYEEAAATCAADgQAAAJEIAAERCAAAgwgAAYMEAAHDBAADIQQAAhMIAAPDBAAAUwgAAlEIAAJDBAADAwQAAuMEAAJDBAACKwgAAwEEAABDBAACwQQAAPEIAADBBAAC4wQAAjsIAAMbCAABgQgAAoEEAAIDBAAAIQgAAVMIAAJhBAADowQAAIEEAAADBAADQQgAAVMIAACxCAABwQQAA-EEAADxCAABgQQAAcEIAAI7CAAA4wgAAAEEAACBCAABAQAAAbMIAAOBBAABQQQAAgEAAAARCAADgQQAAAMMAAADBAACYwQAA-EEAALhBAAAMwgAAqMEAAITCAAAMQgAAKMIAAMjBAADQwQAAcMEAAMDBAAB4QgAAjEIAAKjBAABQQQAAwMEAAIrCAAC4wQAA4MAAACxCAABgwQAAcMIAALhBAADQwQAAXEIAADDBAAAgQQAA-EEAAFhCAAB8QgAAJMIAANBBAADgQAAAwEAAAKbCAADYwQAANMIAAGBBAABAwQAAcEEAAMDAAAA4wgAA0EEAAJhCAAAwwgAAQMAAABTCAABQwQAAFEIAABDCAAC4QQAAMEEAAIhBAACowQAA8MEAAIBBAADYQQAAuMEAAKDCAABAwAAAoEEAACBBAABkwgAAdMIAAETCAABQQgAAAAAAAHDBAABQQQAAsMEAAAzCAAAAwAAAQMEAAJjBAADAQQAAZMIAAOBAAABgQQAAAEAAAIDCAADOwgAAgEEAAADAAAA0QgAAAAAAADxCAAAMwgAAmMIAAGBBAACAQgAAGMIAAGDBAACwQQAASEIAADBBAABAwAAAsMEAALDBAACUwgAAKMIAAJBBAABgwQAAEEIAAEBAAABcwgAAoMAAAAAAAADgQQAA0EEAAHBBAACAwQAALMIAAGhCAADgwQAAQEAAAPjBAACwQQAAuEEAAHDBAACoQgAAgEEAAJBBAAAMwgAAyEEAAJhBAACQQgAA4MEAABzCAABwwQAAoEAAAADAAAAQwgAAdMIAAEBCAADwwQAA4EEAABhCAACqwgAAFMIAAJjBAAAMwiAAOBNACUh1UAEqjwIQABqAAgAAJL4AAHC9AABUPgAAmD0AAEA8AAAsPgAAqL0AAAW_AAC4vQAAoDwAANg9AAAMvgAA2D0AAPg9AACIvQAA4LwAAHw-AACgvAAAcD0AAIY-AAB_PwAAEL0AAIC7AACAOwAAHL4AAKC8AABAvAAAML0AABA9AADIPQAA-D0AAFC9AAAsvgAAyD0AADA9AACAOwAAcD0AABC9AAAUvgAA6L0AANi9AADgvAAAQLwAAOA8AACgvAAAgDsAAI4-AACovQAAPL4AAHy-AACgvAAAQLwAAIY-AACoPQAA6L0AAIA7AAD6PgAAiL0AAKA8AABMPgAAUL0AAMg9AACgPAAAEL0gADgTQAlIfFABKo8CEAEagAIAAMi9AADIPQAABL4AAA2_AAAQvQAA4LwAADQ-AACAOwAALL4AAMY-AACIPQAA-L0AAEA8AABMvgAAqD0AAHC9AAAUPgAAET8AAOC8AACmPgAAED0AAGQ-AAAwvQAAEL0AAEA8AADYPQAAUL0AAAQ-AACIvQAAEL0AAKA8AABwPQAAQDwAAAS-AACIvQAAcL0AAGw-AAC6PgAATL4AAOi9AABcPgAAiL0AAOC8AACYvQAA-D0AALg9AAB_vwAAUD0AAKi9AAAwPQAALD4AADC9AACIPQAAMD0AAOA8AABwPQAAgLsAAFC9AAAwPQAAiD0AAIC7AABAPAAAQLwAANg9IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=nCCOIAuc05M","parent-reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":854,"cheight":480,"cratio":1.77916,"dups":["18043615787583097453"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false,"videoContentId":"3222983807"}},"dups":{"17308930264063994630":{"videoId":"17308930264063994630","title":"4: History of \u0007[formal\u0007] \u0007[methods\u0007]","cleanTitle":"4: History of formal methods","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=DKzvhyxNGao","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/DKzvhyxNGao?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":"d3d3LnlvdXR1YmUuY29tO1VDOHdIbS1DMlhsMFhDMy1weHlTTG1uQQ==","name":"Axiomise Formal Verification Channel","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Axiomise+Formal+Verification+Channel","origUrl":"http://www.youtube.com/@axiomiseformalverification8045","a11yText":"Axiomise Formal Verification Channel. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":843,"text":"14:03","a11yText":"Süre 14 dakika 3 saniye","shortText":"14 dk."},"views":{"text":"10,9bin","a11yText":"10,9 bin izleme"},"date":"21 mar 2020","modifyTime":1584748800000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/DKzvhyxNGao?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=DKzvhyxNGao","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","duration":843},"parentClipId":"17308930264063994630","href":"/preview/17308930264063994630?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods","rawHref":"/video/preview/17308930264063994630?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"2628910865277908379":{"videoId":"2628910865277908379","title":"Lecture# 01 "\u0007[Formal\u0007] \u0007[Methods\u0007] in Software Engineering"","cleanTitle":"Lecture# 01 "Formal Methods in Software Engineering"","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=D1frcipfi50","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/D1frcipfi50?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":"d3d3LnlvdXR1YmUuY29tO1VDcUJFajlCMWhOeGJ6bDc1T3BKNktfQQ==","name":"Let's Move Pakistan","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Let%27s+Move+Pakistan","origUrl":"http://www.youtube.com/@comsian032","a11yText":"Let's Move Pakistan. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1078,"text":"17:58","a11yText":"Süre 17 dakika 58 saniye","shortText":"17 dk."},"views":{"text":"16,2bin","a11yText":"16,2 bin izleme"},"date":"5 eyl 2018","modifyTime":1536105600000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/D1frcipfi50?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=D1frcipfi50","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","duration":1078},"parentClipId":"2628910865277908379","href":"/preview/2628910865277908379?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods","rawHref":"/video/preview/2628910865277908379?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"7785765356608915025":{"videoId":"7785765356608915025","title":"\u0007[Formal\u0007] \u0007[Method\u0007]: Introduction to Z Language Schema","cleanTitle":"Formal Method: Introduction to Z Language Schema","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=tJKybJz-mFo","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/tJKybJz-mFo?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":"d3d3LnlvdXR1YmUuY29tO1VDdWowakYtNEs2aGJzWUlyU25FWk9Fdw==","name":"Computer Science Fundamentals","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Computer+Science+Fundamentals","origUrl":"http://www.youtube.com/@computersciencefundamental7774","a11yText":"Computer Science Fundamentals. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1771,"text":"29:31","a11yText":"Süre 29 dakika 31 saniye","shortText":"29 dk."},"views":{"text":"8,9bin","a11yText":"8,9 bin izleme"},"date":"1 tem 2020","modifyTime":1593561600000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/tJKybJz-mFo?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=tJKybJz-mFo","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","duration":1771},"parentClipId":"7785765356608915025","href":"/preview/7785765356608915025?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods","rawHref":"/video/preview/7785765356608915025?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"2030954913821069279":{"videoId":"2030954913821069279","title":"Lecture# 06 "\u0007[Formal\u0007] \u0007[Methods\u0007] in Software Engineering"","cleanTitle":"Lecture# 06 "Formal Methods in Software Engineering"","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=7SFELYKx44E","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/7SFELYKx44E?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":"d3d3LnlvdXR1YmUuY29tO1VDcUJFajlCMWhOeGJ6bDc1T3BKNktfQQ==","name":"Let's Move Pakistan","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Let%27s+Move+Pakistan","origUrl":"http://www.youtube.com/@comsian032","a11yText":"Let's Move Pakistan. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1661,"text":"27:41","a11yText":"Süre 27 dakika 41 saniye","shortText":"27 dk."},"views":{"text":"2,7bin","a11yText":"2,7 bin izleme"},"date":"13 mar 2019","modifyTime":1552435200000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/7SFELYKx44E?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=7SFELYKx44E","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","duration":1661},"parentClipId":"2030954913821069279","href":"/preview/2030954913821069279?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods","rawHref":"/video/preview/2030954913821069279?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"12185199955537082929":{"videoId":"12185199955537082929","title":"Propositional and Predicate Logic \u0007[formal\u0007] \u0007[methods\u0007] in software engineering lecture 2","cleanTitle":"Propositional and Predicate Logic formal methods in software engineering lecture 2","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=10guYFvVsks","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/10guYFvVsks?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":"d3d3LnlvdXR1YmUuY29tO1VDdmppa0RpRUstUW92NXVDb2RrVGhjUQ==","name":"Just Flutter","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Just+Flutter","origUrl":"http://www.youtube.com/@justflutter","a11yText":"Just Flutter. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":639,"text":"10:39","a11yText":"Süre 10 dakika 39 saniye","shortText":"10 dk."},"views":{"text":"5,6bin","a11yText":"5,6 bin izleme"},"date":"27 haz 2019","modifyTime":1561593600000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/10guYFvVsks?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=10guYFvVsks","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","duration":639},"parentClipId":"12185199955537082929","href":"/preview/12185199955537082929?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods","rawHref":"/video/preview/12185199955537082929?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"351848497348767534":{"videoId":"351848497348767534","title":"Introduction to \u0007[Formal\u0007] \u0007[Methods\u0007], Lecture 1 [Urdu/Hindi]","cleanTitle":"Introduction to Formal Methods, Lecture 1 [Urdu/Hindi]","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=yYxmxo7wiwY","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/yYxmxo7wiwY?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":"d3d3LnlvdXR1YmUuY29tO1VDcGtYNkxrTm56WFk4blBMQ0hMQjhXZw==","name":"Zee Learning & Couching","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Zee+Learning+%26+Couching","origUrl":"http://www.youtube.com/@ZeeLearningCouching","a11yText":"Zee Learning & Couching. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1938,"text":"32:18","a11yText":"Süre 32 dakika 18 saniye","shortText":"32 dk."},"views":{"text":"12,4bin","a11yText":"12,4 bin izleme"},"date":"20 ara 2020","modifyTime":1608422400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/yYxmxo7wiwY?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=yYxmxo7wiwY","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","duration":1938},"parentClipId":"351848497348767534","href":"/preview/351848497348767534?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods","rawHref":"/video/preview/351848497348767534?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"15626964343786985602":{"videoId":"15626964343786985602","title":"\u0007[Formal\u0007] \u0007[Methods\u0007] in Software Engineering Cse304 Lecture 01","cleanTitle":"Formal Methods in Software Engineering Cse304 Lecture 01","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=GEoFJkYzmOQ","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/GEoFJkYzmOQ?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":"d3d3LnlvdXR1YmUuY29tO1VDZ3JwUl9tNDc0VF9DYUhyaDl0cDdXQQ==","name":"Virtual Comsats","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Virtual+Comsats","origUrl":"http://www.youtube.com/@VirtualComsat","a11yText":"Virtual Comsats. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":3853,"text":"1:04:13","a11yText":"Süre 1 saat 4 dakika 13 saniye","shortText":"1 sa. 4 dk."},"views":{"text":"9,2bin","a11yText":"9,2 bin izleme"},"date":"24 mayıs 2019","modifyTime":1558656000000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/GEoFJkYzmOQ?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=GEoFJkYzmOQ","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","duration":3853},"parentClipId":"15626964343786985602","href":"/preview/15626964343786985602?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods","rawHref":"/video/preview/15626964343786985602?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"8191291429094430134":{"videoId":"8191291429094430134","title":"\u0007[Formal\u0007] \u0007[Methods\u0007]: A Deep Dive Using the Coq Proof Assistant | Hedera18","cleanTitle":"Formal Methods: A Deep Dive Using the Coq Proof Assistant | Hedera18","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=6q15ytIOE3U","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/6q15ytIOE3U?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":"d3d3LnlvdXR1YmUuY29tO1VDSWhFNE5ZcGFYOUU5U3NzRm53cmp3dw==","name":"Hedera","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Hedera","origUrl":"http://www.youtube.com/@HederaHashgraph","a11yText":"Hedera. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1868,"text":"31:08","a11yText":"Süre 31 dakika 8 saniye","shortText":"31 dk."},"views":{"text":"12,1bin","a11yText":"12,1 bin izleme"},"date":"22 eki 2018","modifyTime":1540166400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/6q15ytIOE3U?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=6q15ytIOE3U","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","duration":1868},"parentClipId":"8191291429094430134","href":"/preview/8191291429094430134?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods","rawHref":"/video/preview/8191291429094430134?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"6898767806859019962":{"videoId":"6898767806859019962","title":"\u0007[Formal\u0007] \u0007[Methods\u0007] Final Presentation","cleanTitle":"Formal Methods Final Presentation","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=4PUKQuCbr_0","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/4PUKQuCbr_0?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":"d3d3LnlvdXR1YmUuY29tO1VDY25lSzFxa1FtN1Q5NlZ6VUdHa3hSZw==","name":"A Bhimani","isVerified":false,"subscribersCount":0,"url":"/video/search?text=A+Bhimani","origUrl":"http://www.youtube.com/@aryabhimani","a11yText":"A Bhimani. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":349,"text":"5:49","a11yText":"Süre 5 dakika 49 saniye","shortText":"5 dk."},"date":"21 nis 2017","modifyTime":1492732800000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/4PUKQuCbr_0?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=4PUKQuCbr_0","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","duration":349},"parentClipId":"6898767806859019962","href":"/preview/6898767806859019962?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods","rawHref":"/video/preview/6898767806859019962?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"1205307395340842754":{"videoId":"1205307395340842754","title":"The \u0007[Formal\u0007] \u0007[Methods\u0007] Model | The \u0007[Formal\u0007] \u0007[Methods\u0007] Model in Software Engineering in Hindi...","cleanTitle":"The Formal Methods Model | The Formal Methods Model in Software Engineering in Hindi URDU","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=2ftNBjTaf-s","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/2ftNBjTaf-s?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":"d3d3LnlvdXR1YmUuY29tO1VDenpYM2FSVlN3YmlicGxtaXdKM3VqZw==","name":"LearnEveryone","isVerified":false,"subscribersCount":0,"url":"/video/search?text=LearnEveryone","origUrl":"http://www.youtube.com/@learnwithapk","a11yText":"LearnEveryone. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":231,"text":"3:51","a11yText":"Süre 3 dakika 51 saniye","shortText":"3 dk."},"views":{"text":"9bin","a11yText":"9 bin izleme"},"date":"17 ara 2021","modifyTime":1639699200000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/2ftNBjTaf-s?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=2ftNBjTaf-s","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","duration":231},"parentClipId":"1205307395340842754","href":"/preview/1205307395340842754?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods","rawHref":"/video/preview/1205307395340842754?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"5775674466248872599":{"videoId":"5775674466248872599","title":"\u0007[Formal\u0007] \u0007[Methods\u0007] for Dependable Computing: From Models, through Software, to Circuits","cleanTitle":"Formal Methods for Dependable Computing: From Models, through Software, to Circuits","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=VUyfi6JJRgA","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/VUyfi6JJRgA?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":"d3d3LnlvdXR1YmUuY29tO1VDaHk2R0QwU1BTR25RZEtwRVV5akJiQQ==","name":"CITRIS and the Banatao Institute","isVerified":false,"subscribersCount":0,"url":"/video/search?text=CITRIS+and+the+Banatao+Institute","origUrl":"http://www.youtube.com/@citris","a11yText":"CITRIS and the Banatao Institute. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":2819,"text":"46:59","a11yText":"Süre 46 dakika 59 saniye","shortText":"46 dk."},"views":{"text":"6,2bin","a11yText":"6,2 bin izleme"},"date":"4 kas 2010","modifyTime":1288828800000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/VUyfi6JJRgA?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=VUyfi6JJRgA","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","duration":2819},"parentClipId":"5775674466248872599","href":"/preview/5775674466248872599?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods","rawHref":"/video/preview/5775674466248872599?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"14252056318998965123":{"videoId":"14252056318998965123","title":"\u0007[Formal\u0007] \u0007[methods\u0007] for zero knowledge circuits with Isil Dillig | a16z crypto research talks","cleanTitle":"Formal methods for zero knowledge circuits with Isil Dillig | a16z crypto research talks","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=tZ7_S0isWwk","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/tZ7_S0isWwk?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":"d3d3LnlvdXR1YmUuY29tO1VDVEhxM1c0NkJpQVlqS1VZWnEycW0tUQ==","name":"a16z crypto","isVerified":false,"subscribersCount":0,"url":"/video/search?text=a16z+crypto","origUrl":"http://www.youtube.com/@a16zcrypto","a11yText":"a16z crypto. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":3278,"text":"54:38","a11yText":"Süre 54 dakika 38 saniye","shortText":"54 dk."},"date":"22 kas 2024","modifyTime":1732303282000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/tZ7_S0isWwk?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=tZ7_S0isWwk","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","duration":3278},"parentClipId":"14252056318998965123","href":"/preview/14252056318998965123?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods","rawHref":"/video/preview/14252056318998965123?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"9400085917546928345":{"videoId":"9400085917546928345","title":"Describing Syntax and Semantics|\u0007[Formal\u0007] \u0007[Methods\u0007] in Software Engineering Hindi Urdu Cse304 Lec...","cleanTitle":"Describing Syntax and Semantics|Formal Methods in Software Engineering Hindi Urdu Cse304 Lecture 17","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=THHgTt3fQlE","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/THHgTt3fQlE?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":"d3d3LnlvdXR1YmUuY29tO1VDZ3JwUl9tNDc0VF9DYUhyaDl0cDdXQQ==","name":"Virtual Comsats","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Virtual+Comsats","origUrl":"http://www.youtube.com/@VirtualComsat","a11yText":"Virtual Comsats. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":3805,"text":"1:03:25","a11yText":"Süre 1 saat 3 dakika 25 saniye","shortText":"1 sa. 3 dk."},"date":"24 mayıs 2019","modifyTime":1558656000000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/THHgTt3fQlE?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=THHgTt3fQlE","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","duration":3805},"parentClipId":"9400085917546928345","href":"/preview/9400085917546928345?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods","rawHref":"/video/preview/9400085917546928345?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"6256031593111468135":{"videoId":"6256031593111468135","title":"\u0007[Formal\u0007] \u0007[Methods\u0007] of Software Design - Collections: Bunches and Sets [3/33]","cleanTitle":"Formal Methods of Software Design - Collections: Bunches and Sets [3/33]","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=wgd6MtQHuLQ","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/wgd6MtQHuLQ?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":"d3d3LnlvdXR1YmUuY29tO1VDOXBfd1FzOGI4U0h2ZkpTdXV4RW52dw==","name":"Preserve Knowledge","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Preserve+Knowledge","origUrl":"http://www.youtube.com/@PreserveKnowledge","a11yText":"Preserve Knowledge. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":889,"text":"14:49","a11yText":"Süre 14 dakika 49 saniye","shortText":"14 dk."},"views":{"text":"3,8bin","a11yText":"3,8 bin izleme"},"date":"1 nis 2016","modifyTime":1459468800000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/wgd6MtQHuLQ?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=wgd6MtQHuLQ","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","duration":889},"parentClipId":"6256031593111468135","href":"/preview/6256031593111468135?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods","rawHref":"/video/preview/6256031593111468135?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"504152810977456857":{"videoId":"504152810977456857","title":"Abstract Model Specification|\u0007[Formal\u0007] \u0007[Methods\u0007] in Software Engineering Hindi Urdu Cse304 Lectur...","cleanTitle":"Abstract Model Specification|Formal Methods in Software Engineering Hindi Urdu Cse304 Lecture 18","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=AIa646k6qoE","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/AIa646k6qoE?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":"d3d3LnlvdXR1YmUuY29tO1VDZ3JwUl9tNDc0VF9DYUhyaDl0cDdXQQ==","name":"Virtual Comsats","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Virtual+Comsats","origUrl":"http://www.youtube.com/@VirtualComsat","a11yText":"Virtual Comsats. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":3832,"text":"1:03:52","a11yText":"Süre 1 saat 3 dakika 52 saniye","shortText":"1 sa. 3 dk."},"date":"24 mayıs 2019","modifyTime":1558656000000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/AIa646k6qoE?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=AIa646k6qoE","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","duration":3832},"parentClipId":"504152810977456857","href":"/preview/504152810977456857?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods","rawHref":"/video/preview/504152810977456857?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"601280156422825341":{"videoId":"601280156422825341","title":"Leveraging \u0007[Formal\u0007] \u0007[Methods\u0007] for Smart Contract Platform R&D","cleanTitle":"Leveraging Formal Methods for Smart Contract Platform R&D","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=_5nfYQSivzQ","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/_5nfYQSivzQ?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":"d3d3LnlvdXR1YmUuY29tO1VDQkowcDlhQ1ctVzgyVHdOTS16M1Yydw==","name":"Input Output Group","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Input+Output+Group","origUrl":"http://www.youtube.com/@InputOutputGroup","a11yText":"Input Output Group. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1476,"text":"24:36","a11yText":"Süre 24 dakika 36 saniye","shortText":"24 dk."},"date":"20 ağu 2020","modifyTime":1597881600000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/_5nfYQSivzQ?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=_5nfYQSivzQ","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","duration":1476},"parentClipId":"601280156422825341","href":"/preview/601280156422825341?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods","rawHref":"/video/preview/601280156422825341?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"13669249159817713182":{"videoId":"13669249159817713182","title":"\u0007[formal\u0007] \u0007[methods\u0007] in architecture 2011 - Franklim Morais","cleanTitle":"formal methods in architecture 2011 - Franklim Morais","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=UOUmxYbok0g","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/UOUmxYbok0g?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":"d3d3LnlvdXR1YmUuY29tO1VDMzhRN1V0LXFaMTlSckpVZC1wQklIZw==","name":"Architecture FormalMethods","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Architecture+FormalMethods","origUrl":"http://www.youtube.com/@architectureformalmethods7530","a11yText":"Architecture FormalMethods. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":2937,"text":"48:57","a11yText":"Süre 48 dakika 57 saniye","shortText":"48 dk."},"date":"6 haz 2018","modifyTime":1528243200000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/UOUmxYbok0g?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=UOUmxYbok0g","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","duration":2937},"parentClipId":"13669249159817713182","href":"/preview/13669249159817713182?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods","rawHref":"/video/preview/13669249159817713182?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"18043615787583097453":{"videoId":"18043615787583097453","title":"What are \u0007[Formal\u0007] \u0007[Methods\u0007] in Software Engineering in Hindi Urdu Cse304 Lecture 02","cleanTitle":"What are Formal Methods in Software Engineering in Hindi Urdu Cse304 Lecture 02","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=nCCOIAuc05M","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/nCCOIAuc05M?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":"d3d3LnlvdXR1YmUuY29tO1VDZ3JwUl9tNDc0VF9DYUhyaDl0cDdXQQ==","name":"Virtual Comsats","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Virtual+Comsats","origUrl":"http://www.youtube.com/@VirtualComsat","a11yText":"Virtual Comsats. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":3742,"text":"1:02:22","a11yText":"Süre 1 saat 2 dakika 22 saniye","shortText":"1 sa. 2 dk."},"views":{"text":"2,6bin","a11yText":"2,6 bin izleme"},"date":"24 mayıs 2019","modifyTime":1558656000000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/nCCOIAuc05M?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=nCCOIAuc05M","reqid":"1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL","duration":3742},"parentClipId":"18043615787583097453","href":"/preview/18043615787583097453?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods","rawHref":"/video/preview/18043615787583097453?parent-reqid=1774696104618270-6023788474685125097-balancer-l7leveler-kubr-yp-vla-113-BAL&text=formal+methods","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false}}},"viewer":{"_isInitial":false,"clips":{"items":{},"dups":{},"loadingStatus":"None"},"internal":{"videoId":"","sandboxEventPrefix":"sandbox:","sandboxVersion":"0x906f9600bf4","isEmbedded":false,"from":"yavideo","service":"ya-video","hbPeriod":30,"table":"video_tech","isInstreamDisabled":false,"nonce":"0237884746851250977113","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":"formal methods","queryUriEscaped":"formal%20methods","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"}}}