• Home
  • Podcasts
  • Charts

Formal Verification: Formal Bytes - Episode 4

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

Categories:

Education Technology

In this podcast, we cover the rich history of formal methods, explaining the basics of formal verification covering theorem proving, model checking and equivalence checking. We explain why formal verification is perceived to be hard. We make formal verification easier!

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