#EXTM3U
#EXT-SL-VERSION:1
#EXT-SL-ACCOUNT-ID:132159
#EXT-SL-PRESENTATION-ID:39014049
#EXT-SL-PRESENTATION-TITLE:Engineering a Formally Verified Automated Bug Finder
#EXT-SL-PRESENTATION-UPDATED-AT:2024-01-31T14:55:42Z
#EXT-SL-PLAYER-TYPE:video_slideshow
#EXT-SL-PRESENTATION-THUMBNAIL:https://ma.slideslive.com/library/presentations/39014049/thumbnail/engineering-a-formally-verified-automated-bug-finder_el0Myi_big.jpg
#EXT-SL-SLIDESLIVE-LOGO-VISIBLE:false
#EXT-SL-SLIDESLIVE-LOGO-LINKIFY:false
#EXT-SL-CUSTOM-CMCD-TRACKING:false
#EXT-SL-PLAYLIST-TYPE:vod
#EXT-SL-PRESENTATION-MEDIA-SET-ID:298210
#EXT-SL-VOD-VIDEO-SERVICE-NAME:yoda
#EXT-SL-VOD-VIDEO-ID:ErE10Npb0SYW
#EXT-SL-VOD-VIDEO-KEN-ENABLED:
#EXT-SL-VOD-VIDEO-SERVERS:["1034628162.rsc.cdn77.org","1409346856.rsc.cdn77.org"]
#EXT-SL-VIDEO-ASPECT-RATIO:1.7777777777777777
#EXT-SL-VOD-SLIDES-XML-URL:https://s.slideslive.com/39014049/v3/39014049.xml?1706712749
#EXT-SL-VOD-SLIDES-JSON-URL:https://s.slideslive.com/39014049/v3/slides.json?1706712749
#EXT-SL-VOD-SLIDES-ASPECT-RATIO:1.778301886792453
#EXT-SL-VOD-SUBTITLES:[{"name":"English","language":"en","subtitles_id":131523,"webvtt_url":"https://slideslive-video-subtitles.s3.amazonaws.com/131523/subtitles.vtt?X-Amz-Algorithm=AWS4-HMAC-SHA256\u0026X-Amz-Credential=AKIAXWNGJW2E2DUNCDBO%2F20240920%2Fus-east-1%2Fs3%2Faws4_request\u0026X-Amz-Date=20240920T022901Z\u0026X-Amz-Expires=86400\u0026X-Amz-SignedHeaders=host\u0026X-Amz-Signature=07ddc50a9a3651644757fb66ba82811649e3bdbac6056fae3daba7e75e003920"}]