أعتقد أن هذه إحدى الحجج الرئيسية للتحقق الرسمي أيضا إنها ليست الأداة بقدر ما هي في العملية الصارمة لفهم الكود.