Formal Verification - Formal Bytes - Episode 8
Formal bytes: The Axiomise Podcast Channel - Podcast autorstwa Axiomise
Kategorie:
In this podcast, Dr. Darbari talks about the role of specifications in verification. Requirements & specifications play a very important part in establishing what can be obtained from a verification task. The general rule is if it ain't specified it won't be verified. After all, any testing & verification exercise needs to know what is being tested, and what is expected from a test?
