Building confidence in concurrent code with a model checker - Scott Wlaschin - NDC London 2023