Browsing by Author "Wakhid, Ayub Rokhman"
Now showing items 1-1 of 1
-
Generating libraries of highly correct and safe functions by using proof-based formal methods
Wakhid, Ayub Rokhman (MELİKŞAH ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Bu tezde, büyük ölçekli yazılım oluşturabilmek için kullanılabilecek yüksek düzeyde doğruluğa sahip ve güvenilir fonksyonların formal tanımlarından oluşan bir kütüphane üretildi. Büyük programların doğruluğunu ve güvenliğini ...