How do we know when the proof is the valid proof? Can we always see the proof? Are visible proofs required for verification? Can you trust invisible proofs for sign-off? Welcome to formal verification! Tune in to this week's podcast to learn more.
Want to check another podcast?
Enter the RSS feed of a podcast, and see all of their public statistics.
