Kürzlich aktualisierte Kanäle

Wählen, um nur diesen Kanal zu sehenAlle Kanäle →
Theo - t3․gggestern +27AI Engineergestern +7Matthew Bermanvorgestern +478a16zvorgestern +1The Buildersvorgestern +1硅谷101vorgestern +1SemiAnalysisvorgestern +1Chris WilliamsonvorgesternCheeky PintvorgesternInvest Like The Bestvorgestern

Ergebnisse

1 Artikel
Sortieren
PersonAlberto CarreteroStimmen2 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