Building confidence in concurrent code with a model checker - Scott Wlaschin - NDC Oslo 2020