{"guid":"72f062f7-f561-485c-9d7f-69932dab4574","title":"When Testing Just Doesn't Cut It","subtitle":null,"slug":"bob2023-when-testing-just-doesnt-cut-it-hupel","link":"https://bobkonf.de/2023/hupel.html","description":"Writing unit tests is pretty much standard practice these days. Otherwise, how would you make sure that your code does what you expect? Yet, some software is mission-critical and merely testing a few examples – or even randomized testing – is not enough. To reach higher levels of assurance, we need proof: mathematical, formal proof. This session will be based on an example from industry, where we successfully verified the core of a financial application. I will describe the core architecture of the system and the mathematical foundations behind the verification, including the classes of problems that we can (or cannot) discover with this approach.","original_language":"eng","persons":["Lars Hupel"],"view_count":71,"promoted":false,"date":"2023-03-17T17:10:00.000+01:00","release_date":"2023-06-16T00:00:00.000+02:00","updated_at":"2026-01-04T22:15:21.633+01:00","tags":["bob2023","107","2023","Talk","BOB","BOBKonferenz"],"length":2769,"duration":2769,"thumb_url":"https://static.media.ccc.de/media/events/bobkonf/2023/107-72f062f7-f561-485c-9d7f-69932dab4574.jpg","poster_url":"https://static.media.ccc.de/media/events/bobkonf/2023/107-72f062f7-f561-485c-9d7f-69932dab4574_preview.jpg","timeline_url":"https://static.media.ccc.de/media/events/bobkonf/2023/107-72f062f7-f561-485c-9d7f-69932dab4574.timeline.jpg","thumbnails_url":"https://static.media.ccc.de/media/events/bobkonf/2023/107-72f062f7-f561-485c-9d7f-69932dab4574.thumbnails.vtt","frontend_link":"https://media.ccc.de/v/bob2023-when-testing-just-doesnt-cut-it-hupel","url":"https://api.media.ccc.de/public/events/72f062f7-f561-485c-9d7f-69932dab4574","conference_title":"BOB Konferenz 2023","conference_url":"https://api.media.ccc.de/public/conferences/bobkonf2023","related":[],"recordings":[{"size":73,"length":2769,"mime_type":"video/webm","language":"eng","filename":"bob2023-107-eng-When_Testing_Just_Doesnt_Cut_It_webm-sd.webm","state":"new","folder":"webm-sd","high_quality":false,"width":720,"height":576,"updated_at":"2023-06-16T00:52:26.426+02:00","recording_url":"https://cdn.media.ccc.de/events/bobkonf/2023/webm-sd/bob2023-107-eng-When_Testing_Just_Doesnt_Cut_It_webm-sd.webm","url":"https://api.media.ccc.de/public/recordings/67246","event_url":"https://api.media.ccc.de/public/events/72f062f7-f561-485c-9d7f-69932dab4574","conference_url":"https://api.media.ccc.de/public/conferences/bobkonf2023"},{"size":108,"length":2769,"mime_type":"video/webm","language":"eng","filename":"bob2023-107-eng-When_Testing_Just_Doesnt_Cut_It_webm-hd.webm","state":"new","folder":"webm-hd","high_quality":true,"width":1280,"height":720,"updated_at":"2023-06-16T00:50:05.817+02:00","recording_url":"https://cdn.media.ccc.de/events/bobkonf/2023/webm-hd/bob2023-107-eng-When_Testing_Just_Doesnt_Cut_It_webm-hd.webm","url":"https://api.media.ccc.de/public/recordings/67245","event_url":"https://api.media.ccc.de/public/events/72f062f7-f561-485c-9d7f-69932dab4574","conference_url":"https://api.media.ccc.de/public/conferences/bobkonf2023"},{"size":42,"length":2769,"mime_type":"audio/mpeg","language":"eng","filename":"bob2023-107-eng-When_Testing_Just_Doesnt_Cut_It_mp3.mp3","state":"new","folder":"mp3","high_quality":false,"width":0,"height":0,"updated_at":"2023-06-16T00:49:03.876+02:00","recording_url":"https://cdn.media.ccc.de/events/bobkonf/2023/mp3/bob2023-107-eng-When_Testing_Just_Doesnt_Cut_It_mp3.mp3","url":"https://api.media.ccc.de/public/recordings/67244","event_url":"https://api.media.ccc.de/public/events/72f062f7-f561-485c-9d7f-69932dab4574","conference_url":"https://api.media.ccc.de/public/conferences/bobkonf2023"},{"size":60,"length":2769,"mime_type":"video/mp4","language":"eng","filename":"bob2023-107-eng-When_Testing_Just_Doesnt_Cut_It_sd.mp4","state":"new","folder":"h264-sd","high_quality":false,"width":720,"height":576,"updated_at":"2023-06-16T00:48:33.621+02:00","recording_url":"https://cdn.media.ccc.de/events/bobkonf/2023/h264-sd/bob2023-107-eng-When_Testing_Just_Doesnt_Cut_It_sd.mp4","url":"https://api.media.ccc.de/public/recordings/67243","event_url":"https://api.media.ccc.de/public/events/72f062f7-f561-485c-9d7f-69932dab4574","conference_url":"https://api.media.ccc.de/public/conferences/bobkonf2023"},{"size":29,"length":2769,"mime_type":"audio/opus","language":"eng","filename":"bob2023-107-eng-When_Testing_Just_Doesnt_Cut_It_opus.opus","state":"new","folder":"opus","high_quality":false,"width":0,"height":0,"updated_at":"2023-06-16T00:44:55.009+02:00","recording_url":"https://cdn.media.ccc.de/events/bobkonf/2023/opus/bob2023-107-eng-When_Testing_Just_Doesnt_Cut_It_opus.opus","url":"https://api.media.ccc.de/public/recordings/67239","event_url":"https://api.media.ccc.de/public/events/72f062f7-f561-485c-9d7f-69932dab4574","conference_url":"https://api.media.ccc.de/public/conferences/bobkonf2023"},{"size":72,"length":2769,"mime_type":"video/mp4","language":"eng","filename":"bob2023-107-eng-When_Testing_Just_Doesnt_Cut_It_hd.mp4","state":"new","folder":"h264-hd","high_quality":true,"width":1280,"height":720,"updated_at":"2023-06-16T00:37:32.187+02:00","recording_url":"https://cdn.media.ccc.de/events/bobkonf/2023/h264-hd/bob2023-107-eng-When_Testing_Just_Doesnt_Cut_It_hd.mp4","url":"https://api.media.ccc.de/public/recordings/67233","event_url":"https://api.media.ccc.de/public/events/72f062f7-f561-485c-9d7f-69932dab4574","conference_url":"https://api.media.ccc.de/public/conferences/bobkonf2023"}]}