#EXTM3U
#EXT-SL-VERSION:1
#EXT-SL-ACCOUNT-ID:132159
#EXT-SL-PRESENTATION-ID:39014048
#EXT-SL-PRESENTATION-TITLE:PropProof: Free Model-Checking Harnesses from PBT
#EXT-SL-PRESENTATION-UPDATED-AT:2023-12-21T06:18:10Z
#EXT-SL-PLAYER-TYPE:video_slideshow
#EXT-SL-PRESENTATION-THUMBNAIL:https://ma.slideslive.com/library/presentations/39014048/thumbnail/propproof-free-modelchecking-harnesses-from-pbt_KyYxV6_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:289924
#EXT-SL-VOD-VIDEO-SERVICE-NAME:yoda
#EXT-SL-VOD-VIDEO-ID:sKZNHkHce28s
#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/39014048/v4/39014048.xml?1703147138
#EXT-SL-VOD-SLIDES-JSON-URL:https://s.slideslive.com/39014048/v4/slides.json?1703147138
#EXT-SL-VOD-SLIDES-ASPECT-RATIO:1.7777777777777777
#EXT-SL-VOD-SUBTITLES:[{"name":"English","language":"en","subtitles_id":131518,"webvtt_url":"https://slideslive-video-subtitles.s3.amazonaws.com/131518/subtitles.vtt?X-Amz-Algorithm=AWS4-HMAC-SHA256\u0026X-Amz-Credential=AKIAXWNGJW2E2DUNCDBO%2F20240920%2Fus-east-1%2Fs3%2Faws4_request\u0026X-Amz-Date=20240920T023347Z\u0026X-Amz-Expires=86400\u0026X-Amz-SignedHeaders=host\u0026X-Amz-Signature=3e1c463264c2913131c2d4585d93d8be9ae6d177035e66c7038ecaa1733283eb"}]