• Home
  • Podcasts
  • Charts

Episode 41: Invisible and visible formal verification

Formal bytes: The Axiomise Podcast Channel - A podcast by Axiomise

Categories:

Education 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.

Visit the podcast's native language site

  • All podcasts
  • Episodes
  • Blog
  • About us
  • Privacy Policy
  • What is a podcast?
  • How to listen to a podcast?

© Podcast24.nz 2025