AI lowering the cost of formal verification

Kevin and Guillermo discuss how improving AI will reduce the overhead of formal verification and make it more practical.

Transcript

Play full episode

The AI-powered Podcast Player

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