Making Formal Verification the New Normal in IoT with Ashish Darbari - Founder, Axiomise | The IoT Podcast

Find the Latest SoC Solutions
for... Automotive... IoT... Security... Audio... Video

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.

theiotpodcast.com/, Apr. 03, 2023 – 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 - what is formal 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)

click here to listen...

 Back