المصطلحات

Deterministic Verification

التحقق من اقتراحات أو نتائج التصميم بواسطة محركات حتمية ضد خصائص صحيحة وقابلة لإعادة الإنتاج.