Formal Verification: Formal Bytes - Episode 4

Formal bytes: The Axiomise Podcast Channel - En podkast av Axiomise

Prøv Podimo gratis i hele 30 dager!

I Podimo finner du eksklusive podkaster og bestselgende lydbøker tilpasset dine ører

Reklame

Kategorier:

Utdannelse Teknologi

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