دعني أشرح ببساطة باللغة الإنجليزية لماذا هذا الأمر مهم. التحقق الرسمي هو وسيلة قوية جدًا لفحص الأمان. عادةً، يختبر الناس الكود عن طريق تجربة مجموعة من الأمثلة ورؤية إذا كان يعمل. المشكلة هي: الاختبارات تغطي فقط الحالات التي تفكر في تجربتها. يمكن أن تختبئ الأخطاء لا تزال في ال