Yices yazılımı hataları otomatik olarak kontrol eder
Gelişmiş bir SMT çözücü olan Yices, karmaşık yazılım ve donanım sistemlerini otomatik olarak doğrular. Maliyetli hataları önler ve kritik uygulamalarda geliştirmeyi hızlandırır.
SRI International tarafından geliştirilen gelişmiş bir SMT çözücü olan Yices, karmaşık yazılım ve donanımı otomatik olarak doğrular. 2006'da piyasaya sürüldü. Sistem davranışlarını matematiksel formüllere çevirerek hataları bulur. Otomatik akıl yürütme kullanarak güvenilirliği sağlar. Bu süreç, milyarlarca dolarlık kayıplara yol açabilecek maliyetli arızaları önler. Kritik uygulamalar için çok önemlidir.
Uygulamada Okumaya Devam Et
ve 3 soruluk bir test