{"guid":"67dbfc12-f4ad-4a4d-8370-118f1c72e98b","title":"Program verification with SPARK","subtitle":"When your code must not fail","slug":"DS2018-9332-program_verification_with_spark","link":"/2018/fahrplan/events/9332.html","description":"An introduction on SPARK, a programming language specifically designed for high reliability and used in safety critical areas such as avionics or railway signaling or in high security applications such as the Muen micro kernel or the WooKey, a secure USB mass storage device.","original_language":"deu","persons":["Johannes Kliemann"],"view_count":127,"promoted":false,"date":"2018-09-22T00:00:00.000+02:00","release_date":"2018-09-22T02:00:00.000+02:00","updated_at":"2026-03-07T04:15:05.050+01:00","tags":["DS2018","9332","Alles"],"length":2158,"duration":2158,"thumb_url":"https://static.media.ccc.de/media/events/datenspuren/2018/9332-hd.jpg","poster_url":"https://static.media.ccc.de/media/events/datenspuren/2018/9332-hd_preview.jpg","timeline_url":"https://static.media.ccc.de/media/events/datenspuren/2018/67dbfc12-f4ad-4a4d-8370-118f1c72e98b-timeline.jpg","thumbnails_url":"https://static.media.ccc.de/media/events/datenspuren/2018/67dbfc12-f4ad-4a4d-8370-118f1c72e98b-thumbnails.vtt","frontend_link":"https://media.ccc.de/v/DS2018-9332-program_verification_with_spark","url":"https://api.media.ccc.de/public/events/67dbfc12-f4ad-4a4d-8370-118f1c72e98b","conference_title":"Datenspuren 2018","conference_url":"https://api.media.ccc.de/public/conferences/DS2018","related":[{"event_id":6004,"event_guid":"49976f12-75cd-447d-8dd0-1157b399e3e9","weight":3},{"event_id":6006,"event_guid":"efce5d58-73c6-4431-bfc7-d503b4b51433","weight":7},{"event_id":6007,"event_guid":"1940c443-1c59-400f-bd3e-2ffed9c924c7","weight":2},{"event_id":6009,"event_guid":"a8945808-334b-4383-809a-d80d9be6e07f","weight":6},{"event_id":6010,"event_guid":"19db5e82-9317-437d-8ea6-7788f7872c84","weight":10},{"event_id":6022,"event_guid":"4246c0a5-45e2-42be-b439-f03fbf9b0166","weight":10},{"event_id":6024,"event_guid":"04b15cf2-0797-464d-92c1-245bff59b4bc","weight":9},{"event_id":6025,"event_guid":"6d52b06c-1295-4983-84e1-d0fb807af357","weight":9},{"event_id":6026,"event_guid":"4e71365d-0edf-4378-936d-e5df91bf9d6d","weight":7},{"event_id":6027,"event_guid":"566feb76-ea6c-4448-a161-fae24b66344c","weight":8},{"event_id":6029,"event_guid":"19767f93-f0df-477f-a534-aee61b4288a9","weight":10},{"event_id":6030,"event_guid":"7871cf56-2a9c-41f4-a547-05f481aed111","weight":8},{"event_id":6039,"event_guid":"2d6fbaa9-162b-4b5c-b876-b20ff29e019c","weight":7}],"recordings":[{"size":202,"length":2158,"mime_type":"video/mp4","language":"deu","filename":"DS2018-9332-deu-Program_verification_with_SPARK_hd.mp4","state":"new","folder":"h264-hd","high_quality":true,"width":1920,"height":1080,"updated_at":"2018-09-22T21:35:22.051+02:00","recording_url":"https://cdn.media.ccc.de/events/datenspuren/2018/h264-hd/DS2018-9332-deu-Program_verification_with_SPARK_hd.mp4","url":"https://api.media.ccc.de/public/recordings/28641","event_url":"https://api.media.ccc.de/public/events/67dbfc12-f4ad-4a4d-8370-118f1c72e98b","conference_url":"https://api.media.ccc.de/public/conferences/DS2018"},{"size":32,"length":2143,"mime_type":"audio/mpeg","language":"deu","filename":"DS2018-9332-deu-Program_verification_with_SPARK_mp3.mp3","state":"new","folder":"mp3","high_quality":false,"width":0,"height":0,"updated_at":"2018-09-23T10:08:37.472+02:00","recording_url":"https://cdn.media.ccc.de/events/datenspuren/2018/mp3/DS2018-9332-deu-Program_verification_with_SPARK_mp3.mp3","url":"https://api.media.ccc.de/public/recordings/28736","event_url":"https://api.media.ccc.de/public/events/67dbfc12-f4ad-4a4d-8370-118f1c72e98b","conference_url":"https://api.media.ccc.de/public/conferences/DS2018"},{"size":23,"length":2143,"mime_type":"audio/opus","language":"deu","filename":"DS2018-9332-deu-Program_verification_with_SPARK_opus.opus","state":"new","folder":"opus","high_quality":false,"width":0,"height":0,"updated_at":"2018-09-23T10:09:00.675+02:00","recording_url":"https://cdn.media.ccc.de/events/datenspuren/2018/opus/DS2018-9332-deu-Program_verification_with_SPARK_opus.opus","url":"https://api.media.ccc.de/public/recordings/28737","event_url":"https://api.media.ccc.de/public/events/67dbfc12-f4ad-4a4d-8370-118f1c72e98b","conference_url":"https://api.media.ccc.de/public/conferences/DS2018"},{"size":74,"length":2158,"mime_type":"video/webm","language":"deu","filename":"DS2018-9332-deu-Program_verification_with_SPARK_webm-sd.webm","state":"new","folder":"webm-sd","high_quality":false,"width":720,"height":576,"updated_at":"2018-09-23T10:09:36.896+02:00","recording_url":"https://cdn.media.ccc.de/events/datenspuren/2018/webm-sd/DS2018-9332-deu-Program_verification_with_SPARK_webm-sd.webm","url":"https://api.media.ccc.de/public/recordings/28738","event_url":"https://api.media.ccc.de/public/events/67dbfc12-f4ad-4a4d-8370-118f1c72e98b","conference_url":"https://api.media.ccc.de/public/conferences/DS2018"},{"size":68,"length":2158,"mime_type":"video/mp4","language":"deu","filename":"DS2018-9332-deu-Program_verification_with_SPARK_sd.mp4","state":"new","folder":"h264-sd","high_quality":false,"width":720,"height":576,"updated_at":"2018-09-23T10:10:04.249+02:00","recording_url":"https://cdn.media.ccc.de/events/datenspuren/2018/h264-sd/DS2018-9332-deu-Program_verification_with_SPARK_sd.mp4","url":"https://api.media.ccc.de/public/recordings/28739","event_url":"https://api.media.ccc.de/public/events/67dbfc12-f4ad-4a4d-8370-118f1c72e98b","conference_url":"https://api.media.ccc.de/public/conferences/DS2018"},{"size":228,"length":2158,"mime_type":"video/webm","language":"deu","filename":"DS2018-9332-deu-Program_verification_with_SPARK_webm-hd.webm","state":"new","folder":"webm-hd","high_quality":true,"width":1920,"height":1080,"updated_at":"2018-09-23T23:18:00.318+02:00","recording_url":"https://cdn.media.ccc.de/events/datenspuren/2018/webm-hd/DS2018-9332-deu-Program_verification_with_SPARK_webm-hd.webm","url":"https://api.media.ccc.de/public/recordings/28821","event_url":"https://api.media.ccc.de/public/events/67dbfc12-f4ad-4a4d-8370-118f1c72e98b","conference_url":"https://api.media.ccc.de/public/conferences/DS2018"}]}