Formal bytes: The Axiomise Podcast Channel
Technology
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.
Create your
podcast in
minutes
It is Free