Changelog Master Feed cover image

Werner Vogels predicts the future (Changelog Interviews #669)

Changelog Master Feed

00:00

Proving correctness with automatic reasoning

Werner advocates formal methods, automatic reasoning, and spec-driven tooling to increase confidence in critical systems.

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