Changelog Interviews cover image

Werner Vogels predicts the future

Changelog Interviews

00:00

Verifying systems with formal methods

Werner highlights automatic reasoning and spec-driven tools to prove system correctness and limit risk.

Play episode from 40:45
Transcript

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app