مفهوم · راهکار کاهش
تکنیکهای راستیآزمایی صوری
Formal Verification Techniques
ارجاع در کتاب
استخراج از منبع
تعریف در منبع (انگلیسی)
Applying formal method techniques to verify the model's output.
۱ بخش از کتاب به این مفهوم ارجاع میدهد:
کهندژکتاب مرجع هوش مصنوعی