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...
