Episode 11: Role of constraints in formal verification

Formal bytes: The Axiomise Podcast Channel - En podcast af Axiomise

Prøv Podimo gratis i 30 dage

Prøv Podimo gratis i 30 dage

Et univers fyldt med hundredvis af eksklusive podcasts & lydbøger, klik her for at prøve

 Annoncering

Kategorier:

Uddannelse Teknologi

One of the biggest challenges with formal verification is scoping out what constraints are needed, and how they will be coded in formal verification for efficient predictable results. In this podcast, we discuss the role of constraints in formal verification.

Visit the podcast's native language site