Formal Verification: Formal Bytes - Episode 4
Formal bytes: The Axiomise Podcast Channel - Podcast tekijän mukaan Axiomise
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!
