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

I have followed Scott for some time because of his contributions to the fsharp learning community. He's website [fsharpforfunandprofit.com](http://fsharpforfunandprofit.com) is one of the best programming article websites. This talk especially is very good. I think Scott is very good at breaking down complex topics to make them seem approachable.