مصطلح تقني
التحقق الصوري
استخدام نظام منطقي محدد بدقة وبرمجيات لفحص أن كل خطوة في برهان أو برنامج تتبع من الافتراضات والقواعد المعلنة.
بالإنجليزية
Formal Verification
بالعربية
التحقق الصوري
ظهر أول مرة في
برهان بالذكاء الاصطناعي يضع مسألة نافييه-ستوكس أمام مراجعة الرياضيين
