في المستقبل، سيتم التحقق من صحة جميع الأجهزة والبرمجيات تقريبا بشكل رسمي ومثبت صحتها، إلى جانب الرياضيات والفيزياء.