Kürzlich aktualisierte Kanäle

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

Ergebnisse

1 Artikel
Sortieren
PersonAlberto CarreteroLängeÜber 30 Min.
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