» Etiket
formal-verification
3 yayınAI COBOL'u Java'ya Hızla Taşır, Doğruluğunu Kanıtlamak Asıl Zorluk
AI, COBOL'u Java'ya hızla taşıyor ama doğruluğu kanıtlamak farklı bir sorun. SMT tabanlı eşdeğerlik doğrulayıcının gizli hataları nasıl yakaladığını görün.
Arduino için Donanım Modeli PLC Doğrulamasındaki Yanlış Alarmları Gideriyor
Arduino tabanlı endüstriyel kontrol sistemlerinde IEC 61131-3 PLC kodu için donanım farkındalıklı doğrulama, yanlış alarmları ortadan kaldırıyor.
Alerus: Rust'ta Olasılıksal Programları Formel Doğrulama
Alerus, Verus tabanlı yeni bir çerçeveyle gerçek Rust kodundaki olasılıksal algoritmaları formel olarak doğruluyor; ispat Rocq'ta mekanize edildi.
CommitBrief — terminalde yapay zekâ destekli kod incelemesi
Staged değişiklikleri, bir commit aralığını ya da bütün bir GitHub pull request'ini yerelde inceleyen sağlayıcı bağımsız CLI. Sıfır telemetri, sunucu yok. Açık kaynak, GPL-3.0.
commitbrief.com