Nitro Isolation and Formal Verification

Jillian and Simon discuss Nitro offload, formal verification for isolation, and automated reasoning's role, referencing Byron Cook.

Play episode from 02:22

Transcript

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!