Using Formal Modeling To Prevent Bugs With The Talking Cure

We'll watch Jay Parlar's talk "Finding Bugs Without Running or Even Looking at Code" from Strange Loop 2018. Then we'll have some time to discuss the ideas that he presents in this talk and how we can use them to improve our own software creation.