Formal Verification: Formal Bytes - Episode 4
Formal bytes: The Axiomise Podcast Channel - En podcast af Axiomise
Kategorier:
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!
