Formal Methods Lecture 7 Recap

############################# Video Source: www.youtube.com/watch?v=5TjhfKmkv38

English Propositions, Propositional Calculus","styleRuns":[{"startIndex":0,"length":44,"styleRunExtensions":{"styleRunColorMapExtension":{"colorMap":[{"key":"USER_INTERFACE_THEME_DARK","value":4294967295},{"key":"USER_INTERFACE_THEME_LIGHT","value":4279440147}]}},"fontFamilyName":"Roboto"}]},"headerRuns":[{"startIndex":0,"length":44,"headerMapping":"ATTRIBUTED_STRING_HEADER_MAPPING_UNSPECIFIED"}]}},{"itemSectionRenderer":{"contents":[{"continuationItemRenderer":{"trigger":"CONTINUATION_TRIGGER_ON_ITEM_SHOWN","continuationEndpoint":{"clickTrackingParams":"CKkBELsvGAIiEwj6-fa41-GJAxVp9kIFHYQ_GUw=","commandMetadata":{"webCommandMetadata":{"sendPost":true,"apiUrl":"/youtubei/v1/next"}},"continuationCommand":{"token":"Eg0SCzVUamhmS21rdjM4GAYyJSIRIgs1VGpoZktta3YzODAAeAJCEGNvbW1lbnRzLXNlY3Rpb24%3D","request":"CONTINUATION_REQUEST_TYPE_WATCH_NEXT"}}}}],"trackingParams":"CKkBELsvGAIiEwj6-fa41-GJAxVp9kIFHYQ_GUw=","sectionIdentifier":"comment-item-section","targetId":"comments-section"}}],"trackingParams":"CKgBELovIhMI-vn2uNfhiQMVafZCBR2EPxlM"}},"secondaryResults":{"secondaryResults":{"results":[{"compactVideoRenderer":{"videoId":"CMzOM44hDgk","thumbnail":{"thumbnails":[{"url":"https://i.ytimg.com/vi/CMzOM44hDgk/hqdefault.jpg?sqp=-oaymwEbCKgBEF5IVfKriqkDDggBFQAAiEIYAXABwAEG rs=AOn4CLCfyR72N9CRRZw__MXx-Rh4QbKCpA","width":168,"height":94},{"url":"https://i.ytimg.com/vi/CMzOM44hDgk/hqdefault.jpg?sqp=-oaymwEcCNACELwBSFXyq4qpAw4IARUAAIhCGAFwAcABBg== rs=AOn4CLC2jmcwBtyasuteHMBuVo6sNf4gVw","width":336,"height":188}]},"title":{"accessibility":{"accessibilityData":{"label":"Formal Methods, Lecture 8 Recap by Stan Warford 139 views 5 months ago 23 minutes"}},"simpleText":"Formal Methods, Lecture 8 Recap"},"longBylineText":{"runs":[{"text":"Stan Warford","navigationEndpoint":{"clickTrackingParams":"CKIBEKQwGAAiEwj6-fa41-GJAxVp9kIFHYQ_GUwyB3JlbGF0ZWQ=","commandMetadata":{"webCommandMetadata":{"url":"/@stanwarford9083","webPageType":"WEB_PAGE_TYPE_CHANNEL","rootVe":3611,"apiUrl":"/youtubei/v1/browse"}},"browseEndpoint":{"browseId":"UC7wKtv1uK4qh9ll_Qq4I10Q","canonicalBaseUrl":"/@stanwarford9083"}}}]},"publishedTimeText":{"simpleText":"5 months ago"},"viewCountText":{"simpleText":"139 views"},"lengthText":{"accessibility":{"accessibilityData":{"label":"23 minutes, 53 seconds"}},"simpleText":"23:53"},"navigationEndpoint":{"clickTrackingParams":"CKIBEKQwGAAiEwj6-fa41-GJAxVp9kIFHYQ_GUwyB3JlbGF0ZWRI__6SzcqvuJzlAZoBBQgBEPgd","commandMetadata":{"webCommandMetadata":{"url":"/watch?v=CMzOM44hDgk","webPageType":"WEB_PAGE_TYPE_WATCH","rootVe":3832}},"watchEndpoint":{"videoId":"CMzOM44hDgk","nofollow":true,"watchEndpointSupportedOnesieConfig":{"html5PlaybackOnesieConfig":{"commonConfig":{"url":"https://rr1---sn-5hneknek.googlevideo.com/initplayback?source=youtube oeis=1 c=WEB oad=3200 ovd=3200 oaad=11000 oavd=11000 ocs=700 oewis=1 oputc=1 ofpcc=1 msp=1 odepv=1 id=08ccce338e210e09 ip=185.14.28.206 mt=1731787779 oweuc="}}}}},"shortBylineText":{"runs":[{"text":"Stan Warford","navigationEndpoint":{"clickTrackingParams":"CKIBEKQwGAAiEwj6-fa41-GJAxVp9kIFHYQ_GUwyB3JlbGF0ZWQ=","commandMetadata":{"webCommandMetadata":{"url":"/@stanwarford9083","webPageType":"WEB_PAGE_TYPE_CHANNEL","rootVe":3611,"apiUrl":"/youtubei/v1/browse"}},"browseEndpoint":{"browseId":"UC7wKtv1uK4qh9ll_Qq4I10Q","canonicalBaseUrl":"/@stanwarford9083"}}}]},"channelThumbnail":{"thumbnails":[{"url":"https://yt3.ggpht.com/ytc/AIdro_m9SVUpQvvQVRddYTyu68EcCcyOUJe9e-KIpILOznrBkA=s68-c-k-c0x00ffffff-no-rj","width":68,"height":68}]},"trackingParams":"CKIBEKQwGAAiEwj6-fa41-GJAxVp9kIFHYQ_GUxAiZyE8bjGs-YI","shortViewCountText":{"accessibility":{"accessibilityData":{"label":"139 views"}},"simpleText":"139 views"},"menu":{"menuRenderer":{"items":[{"menuServiceItemRenderer":{"text":{"runs":[{"text":"Add to queue"}]},"icon":{"iconType":"ADD_TO_QUEUE_TAIL"},"serviceEndpoint":{"clickTrackingParams":"CKYBEP6YBBgFIhMI-vn2uNfhiQMVafZCBR2EPxlM","commandMetadata":{"webCommandMetadata":{"sendPost":true}},"signalServiceEndpoint":{"signal":"CLIENT_SIGNAL","actions":[{"clickTrackingParams":"CKYBEP6YBBgFIhMI-vn2uNfhiQMVafZCBR2EPxlM","addToPlaylistCommand":{"openMiniplayer":false,"openListPanel":true,"videoId":"CMzOM44hDgk","listType":"PLAYLIST_EDIT_LIST_TYPE_QUEUE","onCreateListCommand":{"clickTrackingParams":"CKYBEP6YBBgFIhMI-vn2uNfhiQMVafZCBR2EPxlM","commandMetadata":{"webCommandMetadata":{"sendPost":true,"apiUrl":"/youtubei/v1/playlist/create"}},"createPlaylistServiceEndpoint":{"videoIds":["CMzOM44hDgk"],"params":"CAQ%3D"}},"videoIds":["CMzOM44hDgk"]}},{"clickTrackingParams":"CKYBEP6YBBgFIhMI-vn2uNfhiQMVafZCBR2EPxlM","openPopupAction":{"popup":{"notificationActionRenderer":{"responseText":{"simpleText":"Added to queue"},"trackingParams":"CKcBELlqIhMI-vn2uNfhiQMVafZCBR2EPxlM"}},"popupType":"TOAST"}}]}},"trackingParams":"CKYBEP6YBBgFIhMI-vn2uNfhiQMVafZCBR2EPxlM"}},{"menuServiceItemRenderer":{"text":{"runs":[{"text":"Share"}]},"icon":{"iconType":"SHARE"},"serviceEndpoint":{"clickTrackingParams":"CKIBEKQwGAAiEwj6-fa41-GJAxVp9kIFHYQ_GUw=","commandMetadata":{"webCommandMetadata":{"sendPost":true,"apiUrl":"/youtubei/v1/share/get_share_panel"}},"shareEntityServiceEndpoint":{"serializedShareEntity":"CgtDTXpPTTQ0aERnaw%3D%3D","commands":[{"clickTrackingParams":"CKIBEKQwGAAiEwj6-fa41-GJAxVp9kIFHYQ_GUw=","openPopupAction":{"popup":{"unifiedSharePanelRenderer":{"trackingParams":"CKUBEI5iIhMI-vn2uNfhiQMVafZCBR2EPxlM","showLoadingSpinner":true}},"popupType":"DIALOG","beReused":true}}]}},"trackingParams":"CKIBEKQwGAAiEwj6-fa41-GJAxVp9kIFHYQ_GUw=","hasSeparator":true}}],"trackingParams":"CKIBEKQwGAAiEwj6-fa41-GJAxVp9kIFHYQ_GUw=","accessibility":{"accessibilityData":{"label":"Action menu"}},"targetId":"watch-related-menu-button"}},"thumbnailOverlays":[{"thumbnailOverlayTimeStatusRenderer":{"text":{"accessibility":{"accessibilityData":{"label":"23 minutes, 53 seconds"}},"simpleText":"23:53"},"style":"DEFAULT"}},{"thumbnailOverlayToggleButtonRenderer":{"isToggled":false,"untoggledIcon":{"iconType":"WATCH_LATER"},"toggledIcon":{"iconType":"CHECK"},"untoggledTooltip":"Watch later","toggledTooltip":"Added","untoggledServiceEndpoint":{"clickTrackingParams":"CKQBEPnnAxgBIhMI-vn2uNfhiQMVafZCBR2EPxlM","commandMetadata":{"webCommandMetadata":{"sendPost":true,"apiUrl":"/youtubei/v1/browse/edit_playlist"}},"playlistEditEndpoint":{"playlistId":"WL","actions":[{"addedVideoId":"CMzOM44hDgk","action":"ACTION_ADD_VIDEO"}]}},"toggledServiceEndpoint":{"clickTrackingParams":"CKQBEPnnAxgBIhMI-vn2uNfhiQMVafZCBR2EPxlM","commandMetadata":{"webCommandMetadata":{"sendPost":true,"apiUrl":"/youtubei/v1/browse/edit_playlist"}},"playlistEditEndpoint":{"playlistId":"WL","actions":[{"action":"ACTION_REMOVE_VIDEO_BY_VIDEO_ID","removedVideoId":"CMzOM44hDgk"}]}},"untoggledAccessibility":{"accessibilityData":{"label":"Watch later"}},"toggledAccessibility":{"accessibilityData":{"label":"Added"}},"trackingParams":"CKQBEPnnAxgBIhMI-vn2uNfhiQMVafZCBR2EPxlM"}},{"thumbnailOverlayToggleButtonRenderer":{"untoggledIcon":{"iconType":"ADD_TO_QUEUE_TAIL"},"toggledIcon":{"iconType":"PLAYLIST_ADD_CHECK"},"untoggledTooltip":"Add to queue","toggledTooltip":"Added","untoggledServiceEndpoint":{"clickTrackingParams":"CKMBEMfsBBgCIhMI-vn2uNfhiQMVafZCBR2EPxlM","commandMetadata":{"webCommandMetadata":{"sendPost":true}},"signalServiceEndpoint":{"signal":"CLIENT_SIGNAL","actions":[{"clickTrackingParams":"CKMBEMfsBBgCIhMI-vn2uNfhiQMVafZCBR2EPxlM","addToPlaylistCommand":{"openMiniplayer":false,"openListPanel":true,"videoId":"CMzOM44hDgk","listType":"PLAYLIST_EDIT_LIST_TYPE_QUEUE","onCreateListCommand":{"clickTrackingParams":"CKMBEMfsBBgCIhMI-vn2uNfhiQMVafZCBR2EPxlM","commandMetadata":{"webCommandMetadata":{"sendPost":true,"apiUrl":"/youtubei/v1/playlist/create"}},"createPlaylistServiceEndpoint":{"videoIds":["CMzOM44hDgk"],"params":"CAQ%3D"}},"videoIds":["CMzOM44hDgk"]}}]}},"untoggledAccessibility":{"accessibilityData":{"label":"Add to queue"}},"toggledAccessibility":{"accessibilityData":{"label":"Added"}},"trackingParams":"CKMBEMfsBBgCIhMI-vn2uNfhiQMVafZCBR2EPxlM"}},{"thumbnailOverlayNowPlayingRenderer":{"text":{"runs":[{"text":"Now playing"}]}}}],"accessibility":{"accessibilityData":{"label":"Formal Methods, Lecture 8 Recap - 23 minutes - Go to channel - Stan Warford - 139 views - 5 months ago - play video"}},"richThumbnail":{"movingThumbnailRenderer":{"enableHoveredLogging":true,"enableOverlay":true}}}},{"compactVideoRenderer":{"videoId":"7QajZDJCaoU","thumbnail":{"thumbnails":[{"url":"https://i.ytimg.com/vi/7QajZDJCaoU/hqdefault.jpg?sqp=-oaymwEbCKgBEF5IVfKriqkDDggBFQAAiEIYAXABwAEG rs=AOn4CLBfBCVxaxAgQDH7vpKfKQ_DiGrobg","width":168,"height":94},{"url":"https://i.ytimg.com/vi/7QajZDJCaoU/hqdefault.jpg?sqp=-oaymwEcCNACELwBSFXyq4qpAw4IARUAAIhCGAFwAcABBg== rs=AOn4CLB8KdtB5iKt7EO7ITb6ejIQTvcOeA","width":336,"height":188}]},"title":{"accessibility":{"accessibilityData":{"label":"Formal Methods, Lecture 9 Recap by Stan Warford 94 views 5 months ago 20 minutes"}},"simpleText":"Formal Methods, Lecture 9 Recap"},"longBylineText":{"runs":[{"text":"Stan Warford","navigationEndpoint":{"clickTrackingParams":"CJwBEKQwGAEiEwj6-fa41-GJAxVp9kIFHYQ_GUwyB3JlbGF0ZWQ=","commandMetadata":{"webCommandMetadata":{"url":"/@stanwarford9083","webPageType":"WEB_PAGE_TYPE_CHANNEL","rootVe":3611,"apiUrl":"/youtubei/v1/browse"}},"browseEndpoint":{"browseId":"UC7wKtv1uK4qh9ll_Qq4I10Q","canonicalBaseUrl":"/@stanwarford9083"}}}]},"publishedTimeText":{"simpleText":"5 months ago"},"viewCountText":{"simpleText":"94 views"},"lengthText":{"accessibility":{"accessibilityData":{"label":"20 minutes, 13 seconds"}},"simpleText":"20:13"},"navigationEndpoint":{"clickTrackingParams":"CJwBEKQwGAEiEwj6-fa41-GJAxVp9kIFHYQ_GUwyB3JlbGF0ZWRI__6SzcqvuJzlAZoBBQgBEPgd","commandMetadata":{"webCommandMetadata":{"url":"/watch?v=7QajZDJCaoU","webPageType":"WEB_PAGE_TYPE_WATCH","rootVe":3832}},"watchEndpoint":{"videoId":"7QajZDJCaoU","nofollow":true,"watchEndpointSupportedOnesieConfig":{"html5PlaybackOnesieConfig":{"commonConfig":{"url":"https://rr5---sn-5hne6n6e.googlevideo.com/initplayback?source=youtube oeis=1 c=WEB oad=3200 ovd=3200 oaad=11000 oavd=11000 ocs=700 oewis=1 oputc=1 ofpcc=1 msp=1 odepv=1 id=ed06a36432426a85 ip=185.14.28.206 mt=1731787779 oweuc="}}}}},"shortBylineText":{"runs":[{"text":"Stan Warford","navigationEndpoint":{"clickTrackingParams":"CJwBEKQwGAEiEwj6-fa41-GJAxVp9kIFHYQ_GUwyB3JlbGF0ZWQ=","commandMetadata":{"webCommandMetadata":{"url":"/@stanwarford9083","webPageType":"WEB_PAGE_TYPE_CHANNEL","rootVe":3611,"apiUrl":"/youtubei/v1/browse"}},"browseEndpoint":{"browseId":"UC7wKtv1uK4qh9ll_Qq4I10Q","canonicalBaseUrl":"/@stanwarford9083"}}}]},"channelThumbnail":{"thumbnails":[{"url":"https://yt3.ggpht.com/ytc/AIdro_m9SVUpQvvQVRddYTyu68EcCcyOUJe9e-KIpILOznrBkA=s68-c-k-c0x00ffffff-no-rj","width":68,"height":68}]},"trackingParams":"CJwBEKQwGAEiEwj6-fa41-GJAxVp9kIFHYQ_GUxAhdWJksPsqIPtAQ==","shortViewCountText":{"accessibility":{"accessibilityData":{"label":"94 views"}},"simpleText":"94 views"},"menu":{"menuRenderer":{"items":[{"menuServiceItemRenderer":{"text":{"runs":[{"text":"Add to queue"}]},"icon":{"iconType":"ADD_TO_QUEUE_TAIL"},"serviceEndpoint":{"clickTrackingParams":"CKABEP6YBBgFIhMI-vn2uNfhiQMVafZCBR2EPxlM","commandMetadata":{"webCommandMetadata":{"sendPost":true}},"signalServiceEndpoint":{"signal":"CLIENT_SIGNAL","actions":[{"clickTrackingParams":"CKABEP6YBBgFIhMI-vn2uNfhiQMVafZCBR2EPxlM","addToPlaylistCommand":{"openMiniplayer":false,"openListPanel":true,"videoId":"7QajZDJCaoU","listType":"PLAYLIST_EDIT_LIST_TYPE_QUEUE","onCreateListCommand":{"clickTrackingParams":"CKABEP6YBBgFIhMI-vn2uNfhiQMVafZCBR2EPxlM","commandMetadata":{"webCommandMetadata":{"sendPost":true,"apiUrl":"/youtubei/v1/playlist/create"}},"createPlaylistServiceEndpoint":{"videoIds":["7QajZDJCaoU"],"params":"CAQ%3D"}},"videoIds":["7QajZDJCaoU"]}},{"clickTrackingParams":"CKABEP6YBBgFIhMI-vn2uNfhiQMVafZCBR2EPxlM","openPopupAction":{"popup":{"notificationActionRenderer":{"responseText":{"simpleText":"Added to queue"},"trackingParams":"CKEBELlqIhMI-vn2uNfhiQMVafZCBR2EPxlM"}},"popupType":"TOAST"}}]}},"trackingParams":"CKABEP6YBBgFIhMI-vn2uNfhiQMVafZCBR2EPxlM"}},{"menuServiceItemRenderer":{"text":{"runs":[{"text":"Share"}]},"icon":{"iconType":"SHARE"},"serviceEndpoint":{"clickTrackingParams":"CJwBEKQwGAEiEwj6-fa41-GJAxVp9kIFHYQ_GUw=","commandMetadata":{"webCommandMetadata":{"sendPost":true,"apiUrl":"/youtubei/v1/share/get_share_panel"}},"shareEntityServiceEndpoint":{"serializedShareEntity":"Cgs3UWFqWkRKQ2FvVQ%3D%3D","commands":[{"clickTrackingParams":"CJwBEKQwGAEiEwj6-fa41-GJAxVp9kIFHYQ_GUw=","openPopupAction":{"popup":{"unifiedSharePanelRenderer":{"trackingParams":"CJ8BEI5iIhMI-vn2uNfhiQMVafZCBR2EPxlM","showLoadingSpinner":true}},"popupType":"DIALOG","beReused":true}}]}},"trackingParams":"CJwBEKQwGAEiEwj6-fa41-GJAxVp9kIFHYQ_GUw=","hasSeparator":true}}],"trackingParams":"CJwBEKQwGAEiEwj6-fa41-GJAxVp9kIFHYQ_GUw=","accessibility":{"accessibilityData":{"label":"Action menu"}}}},"thumbnailOverlays":[{"thumbnailOverlayTimeStatusRenderer":{"text":{"accessibility":{"accessibilityData":{"label":"20 minutes, 13 seconds"}},"simpleText":"20:13"},"style":"DEFAULT"}},{"thumbnailOverlayToggleButtonRenderer":{"isToggled":false,"untoggledIcon":{"iconType":"WATCH_LATER"},"toggledIcon":{"iconType":"CHECK"},"untoggledTooltip":"Watch later","toggledTooltip":"Added","untoggledServiceEndpoint":{"clickTrackingParams":"CJ4BEPnnAxgBIhMI-vn2uNfhiQMVafZCBR2EPxlM","commandMetadata":{"webCommandMetadata":{"sendPost":true,"apiUrl":"/youtubei/v1/browse/edit_playlist"}},"playlistEditEndpoint":{"playlistId":"WL","actions":[{"addedVideoId":"7QajZDJCaoU","action":"ACTION_ADD_VIDEO"}]}},"toggledServiceEndpoint":{"clickTrackingParams":"CJ4BEPnnAxgBIhMI-vn2uNfhiQMVafZCBR2EPxlM","commandMetadata":{"webCommandMetadata":{"sendPost":true,"apiUrl":"/youtubei/v1/browse/edit_playlist"}},"playlistEditEndpoint":{"playlistId":"WL","actions":[{"action":"ACTION_REMOVE_VIDEO_BY_VIDEO_ID","removedVideoId":"7QajZDJCaoU"}]}},"untoggledAccessibility":{"accessibilityData":{"label":"Watch later"}},"toggledAccessibility":{"accessibilityData":{"label":"Added"}},"trackingParams":"CJ4BEPnnAxgBIhMI-vn2uNfhiQMVafZCBR2EPxlM"}},{"thumbnailOverlayToggleButtonRenderer":{"untoggledIcon":{"iconType":"ADD_TO_QUEUE_TAIL"},"toggledIcon":{"iconType":"PLAYLIST_ADD_CHECK"},"untoggledTooltip":"Add to queue","toggledTooltip":"Added","untoggledServiceEndpoint":{"clickTrackingParams":"CJ0BEMfsBBgCIhMI-vn2uNfhiQMVafZCBR2EPxlM","commandMetadata":{"webCommandMetadata":{"sendPost":true}},"signalServiceEndpoint":{"signal":"CLIENT_SIGNAL","actions":[{"clickTrackingParams":"CJ0BEMfsBBgCIhMI-vn2uNfhiQMVafZCBR2EPxlM","addToPlaylistCommand":{"openMiniplayer":false,"openListPanel":true,"videoId":"7QajZDJCaoU","listType":"PLAYLIST_EDIT_LIST_TYPE_QUEUE","onCreateListCommand":{"clickTrackingParams":"CJ0BEMfsBBgCIhMI-vn2uNfhiQMVafZCBR2EPxlM","commandMetadata":{"webCommandMetadata":{"sendPost":true,"apiUrl":"/youtubei/v1/playlist/create"}},"createPlaylistServiceEndpoint":{"videoIds":["7QajZDJCaoU"],"params":"CAQ%3D"}},"videoIds":["7QajZDJCaoU"]}}]}},"untoggledAccessibility":{"accessibilityData":{"label":"Add to queue"}},"toggledAccessibility":{"accessibilityData":{"label":"Added"}},"trackingParams":"CJ0BEMfsBBgCIhMI-vn2uNfhiQMVafZCBR2EPxlM"}},{"thumbnailOverlayNowPlayingRenderer":{"text":{"runs":[{"text":"Now playing"}]}}}],"accessibility":{"accessibilityData":{"label":"Formal Methods, Lecture 9 Recap - 20 minutes - Go to channel - Stan Warford - 94 views - 5 months ago - play video"}},"richThumbnail":{"movingThumbnailRenderer":{"enableHoveredLogging":true,"enableOverlay":true}}}},{"lockupViewModel":{"contentImage":{"collectionThumbnailViewModel":{"primaryThumbnail":{"thumbnailViewModel":{"image":{"sources":[{"url":"https://i.ytimg.com/vi/9Tw2Wo43DS4/hqdefault.jpg?sqp=-oaymwEWCKgBEF5IWvKriqkDCQgBFQAAiEIYAQ== rs=AOn4CLD1_jH9b4pOY4BMDi1fIxpr9sudNQ","width":168,"height":94},{"url":"https://i.ytimg.com/vi/9Tw2Wo43DS4/hqdefault.jpg?sqp=-oaymwEXCNACELwBSFryq4qpAwkIARUAAIhCGAE= rs=AOn4CLAM8KvrPbrfS3ks8j3FFIIeCpMM6w","width":336,"height":188}]},"overlays":[{"thumbnailOverlayBadgeViewModel":{"thumbnailBadges":[{"thumbnailBadgeViewModel":{"icon":{"sources":[{"clientResource":{"imageName":"PLAYLISTS"}}]},"text":"53 videos","badgeStyle":"THUMBNAIL_OVERLAY_BADGE_STYLE_DEFAULT","backgroundColor":{"lightTheme":3355443,"darkTheme":3355443}}}],"position":"THUMBNAIL_OVERLAY_BADGE_POSITION_BOTTOM_END"}},{"thumbnailHoverOverlayViewModel":{"icon":{"sources":[{"clientResource":{"imageName":"PLAY_ALL"}}]},"text":{"content":"Play all","styleRuns":[{"startIndex":0,"length":8}]},"style":"THUMBNAIL_HOVER_OVERLAY_STYLE_COVER"}}],"backgroundColor":{"lightTheme":4144959,"darkTheme":4144959}}},"stackColor":{"lightTheme":10066329,"darkTheme":9211020}}},"metadata":{"lockupMetadataViewModel":{"title":{"content":"Formal Methods"},"metadata":{"contentMetadataViewModel":{"metadataRows":[{"metadataParts":[{"text":{"content":"Stan Warford

#############################

New on site