Episode 41: Invisible and visible formal verification
Formal bytes: The Axiomise Podcast Channel - Un podcast de Axiomise
Catégories:
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.
