الأطروحة: مع انخفاض تكلفة (الفكرية!) للتحقق الرسمي من البرمجيات في السنوات القادمة، سنشهد ثورة في البرمجيات حيث يتم التحقق من معظم البرمجيات رسميا

ونعم، ديفاي بالتأكيد يحتاج إلى تحقق رسمي!