Intro to Formal Methods for Engineering - Launch School Tech Talk - 2020

This presentation by Launch School student, Tannr Allard, will provide an overview of formal methods in computer science, which are mathematical techniques for ensuring the correctness of your programs. We will also walk through designing, modeling, and verifying a real algorithm, which you can follow along with.