In season 3 episode 6 of The IoT Podcast we connect with Ashish Darbari - Founder & CEO at Axiomise to discover how formal verification is being used to improve the quality, performance and security of IoT devices. Sit back, relax, tune in and be the first to discover...The IoT Podcast intro (00:00) Ashish's technology journey (01:30) How Axiomise was founded (05:39) The difference between formal and traditional verification (09:40) Proof, stimulus and debug (15:59) Challenges and misconceptions around formal (17:46) Best practices and guidelines (20:18)How has Formal Verification helped improve the quality, performance and security of IoT devices? (30:00) What's the future for formal verification? (36:09) Quick-fire questions (46:19) Thank you to today's episode sponsor Akenza.io, sign up for a 30-day free trial of their self-service platform: https://auth.akenza.io/register?utm_medium=referral&utm_source=5vmedia&utm_campaign=theiotpodcast ABOUT THE GUEST Ashish Darbari is the Founder and CEO of Axiomise, the world's only formal verification training, consulting & services company that specializes in enabling formal verification in the semi-conductor industry. The vision of Axiomise is to enable all designers and verification engineers to use formal verification for the right reasons. Connect with Ashish: https://www.linkedin.com/in/ashish-darbari/ Find out more about Axiomise: https://www.axiomise.com/ SUBSCRIBE TO THE IOT PODCAST: https://linktr.ee/theiotpodcast  Sign Up for exclusive email updates: https://theiotpodcast.com/  Contact us to become a guest/partner: https://theiotpodcast.com/contact/ Connect with host Brad King-Taylor: https://www.linkedin.com/in/brad5values/