Formal Methods & AI for Reliable Databases • Anatoliy Bilenko & AlbertoCarretero • Bug Bash EU 2026
GOTO Conferences · 34:11 · Watch on YouTube
Canonical’s Dqlite team treats protocol correctness as a pipeline problem: a happy-path send is easy, but lost messages, crashes, and design drift only stay manageable if state machines, TLA+ properties, model traces,...