Sean Payne (Software Engineer at Braid) talks about his experience with property based testing, a practical and powerful hybrid of formal methods and handwritten tests. Watch to learn about the benefits and challenges of this approach, as well as about using it in your Rust projects.