Yazılımı otonom ve resmi olarak doğrulamanın sonuçları neredeyse inanılmaz derecede geniştir