Formal Methods & AI for Reliable Databases • Anatoliy Bilenko & AlbertoCarretero • Bug Bash EU 2026

This presentation was recorded at Bug Bash EU 2026. https://antithesis.com/bugbash/europe/2026/ Anatoliy Bilenko - Staff Engineer at Canonical Alberto Carretero - Software Engineer at Canonical ORIGINAL TALK TITLE Building a Reliable Database Protocol with AI, Formal Methods, and a Simulation Framework RESOURCES Anatoliy https://www.linkedin.com/in/anatoliy-bilenko Alberto https://www.linkedin.com/in/angel-alberto-carretero ABSTRACT Building a critical distributed protocol in 2026 means treating correctness as a continuous engineering practice, not a final verification step. This talk presents a workflow that combines executable state-machine designs and formal methods with AI-assisted development, observability, and Antithesis testing. The goal is to move from a protocol model to evidence from real-system executions: expose meaningful events, generate and investigate failure scenarios, and use code together with observability data to validate distributed properties that code alone cannot reveal. [...] Bluesky • Instagram • LinkedIn https://bsky.app/profile/gotocon.com https://www.linkedin.com/company/goto- https://www.instagram.com/goto_con # CHANNEL MEMBERSHIP BONUS Join this channel to get early access to videos & other perks: https://www.youtube.com/channel/UCs_tLP3AiwYKwdUHpltJPuA/join Looking for a unique learning experience? Attend the next GOTO conference near you! Get your ticket at https://gotopia.tech SUBSCRIBE TO OUR CHANNEL - new videos posted almost daily! #FormalMethods #DistributedSystems #Databases #Testing #BugBash