Formal Verification: Formal Bytes - Episode 1
Formal bytes: The Axiomise Podcast Channel - En podcast af Axiomise
Kategorier:
Axiomise has turned two! In this first podcast, Axiomise founder & CEO Dr. Ashish Darbari talks about his passion for formal verification and the different challenges engineers face in adopting formal. Engage with us to share your views about formal verification, your challenges, and your success stories. Tune in to enjoy our regular formal bytes!
