property checking

model sınaması

1. • bilişim
   Bir sisteme ait modelin belirli isterleri karşılayıp karşılamadığının, gerek modelin gerekse isterlerin kesin bir matematiksel dille ifadelerine dayanarak tam kapsamlı incelenmesi.
   Eşanlam:  model kontrolü
   İngilizce model checking; property checking

   Fransızca vérification de modèles, f

   Almanca Modellprüfung, f