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

Video özeti

Bu sunum, kritik dağıtık veritabanı protokollerinde güvenilirliği sağlamak için Formal Methods (biçimsel yöntemler) ile yapay zekânın nasıl birlikte kullanılabileceğini ve simülasyon çerçevelerinin rolünü anlatıyor. Konuşmacılar, yürütülebilir durum makinesi tasarımları, formal doğrulama iş akışları ve AI destekli geliştirme adımlarını birleştiren bir mühendislik uygulamasını sıralı olarak veriyor; tasarım ilkeleri, sürekli doğrulama uygulamaları, simülasyon temelli testler ve AI yardımlı araçların entegrasyonundan bahsediliyor. Sunum ayrıca doğruluğu tek seferlik son bir adım olarak görmek yerine sürekli bir mühendislik uygulaması olarak ele almanın pratik etkilerini gösteriyor. Veritabanı protokolleri, dağıtık sistemler ve formal yöntemlerle ilgilenen mühendisler bu konuşmayı izlemeli; temel dağıtık sistem kavramları ve formal doğrulama hakkında ön bilgi faydalı olur. İzleyici, executable state-machine tasarımlarını, formal yöntemleri AI ile nasıl entegre edeceklerini ve simülasyon çerçevelerini kullanarak protokol güvenilirliğini nasıl artıracaklarını somut teknik yaklaşımlar halinde öğrenmiş olacak.

Öne çıkan fikirler

• Doğruluk, dağıtık protokollerde sürekli bir mühendislik uygulaması olarak ele alınmalıdır.
• Executable state-machine tasarımları formal yöntemlerle birleştiğinde protokol hatalarını erken aşamada yakalamaya yardımcı olur.
• AI araçları formal doğrulama ve simülasyon iş akışlarına entegrasyonla güvenilirlik mühendisliğini hızlandırabilir.

Özet ve bölüm başlıkları Opendart editörlüğünde hazırlanmıştır; videonun içeriği ve hakları kanal sahibine aittir.