#EXTM3U
#EXT-SL-VERSION:1
#EXT-SL-ACCOUNT-ID:132159
#EXT-SL-PRESENTATION-ID:39014047
#EXT-SL-PRESENTATION-TITLE:Towards Strengthening Formal Specifications with Mutation Model Checking
#EXT-SL-PRESENTATION-UPDATED-AT:2023-12-21T06:17:35Z
#EXT-SL-PLAYER-TYPE:video_slideshow
#EXT-SL-PRESENTATION-THUMBNAIL:https://ma.slideslive.com/library/presentations/39014047/thumbnail/towards-strengthening-formal-specifications-with-mutation-model-checking_9Fe3Wp_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:289043
#EXT-SL-VOD-VIDEO-SERVICE-NAME:yoda
#EXT-SL-VOD-VIDEO-ID:xbUO5chYCoho
#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/39014047/v1/39014047.xml?1703146951
#EXT-SL-VOD-SLIDES-JSON-URL:https://s.slideslive.com/39014047/v1/slides.json?1703146951
#EXT-SL-VOD-SLIDES-ASPECT-RATIO:1.7777777777777777
#EXT-SL-VOD-SUBTITLES:[{"name":"English","language":"en","subtitles_id":131479,"webvtt_url":"https://slideslive-video-subtitles.s3.amazonaws.com/131479/subtitles.vtt?X-Amz-Algorithm=AWS4-HMAC-SHA256\u0026X-Amz-Credential=AKIAXWNGJW2E2DUNCDBO%2F20240920%2Fus-east-1%2Fs3%2Faws4_request\u0026X-Amz-Date=20240920T012904Z\u0026X-Amz-Expires=86400\u0026X-Amz-SignedHeaders=host\u0026X-Amz-Signature=50dc11ed432694b7c329598a972b31bd9f063fe346fa247488aa61cece215bae"}]