The Bike Shed cover image

477: Change Management

The Bike Shed

00:00

Using formal methods to verify migration invariants

Joël discusses Alloy and TLA+ as tools to model migrations and detect event sequences that could corrupt data or cause downtime.

Transcript
Play full episode

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