Kürzlich aktualisierte Kanäle

Wählen, um nur diesen Kanal zu sehenAlle Kanäle →
Matthew Bermangestern +161AI Engineergestern +6Theo - t3․gggesternThe Buildersgestern +1a16zgestern +2硅谷101gestern +1SemiAnalysisgestern +1Chris WilliamsongesternCheeky PintgesternInvest Like The Bestgestern

Ergebnisse

1 Artikel
Sortieren
PersonAlberto CarreteroLängeÜber 30 Min.Stimmen2 Stimmen
5 Folien34:11EN
GOTO Conferences· 23. Okt. 2026Anatoliy Bilenko and Alberto Carretero: Making Database Protocols Reliable with Formal Methods and AIAnatoliy Bilenko, Alberto Carretero · CanonicalCanonical’s database engineers connect executable specifications, model-based tests, failure exploration, and reconstructed execution histories—and explain why none of these techniques proves a real system correct on its own.Entwicklungs-Workflows & TestsCode review & verificationObservability & Zuverlässigkeit+2