فحص النموذج

أسلوب تحقق يحدد مدى مطابقة النموذج لمواصفات معينة.

الإنجليزية

Model Checking

الفرنسية

Vérification de modèle

الإسبانية

Verificación de Modelos (Model Checking)