talk-data.com talk-data.com

Meetup talk 2025-03-18 at 21:30

Designing robust database consensus protocol using formal methods (TLA+)

Event: AI Meetup: Building Reliable Data-Intensive Applications

Description

Exploration of designing robust database consensus protocols using formal methods (TLA+).