إن تداعيات القدرة على التحقق المستقل من البرمجيات بشكل رسمي تكاد تكون هائلة للغاية