model sınaması ne demek?

Teknoloji dünyasında model sınaması ne anlama gelir? model sınaması kelimesinin sözlük anlamı, model sınaması ne anlama geliyor?

model sınaması kelimesinin anlamı:

Almanca: Modellprüfung,
Fransızca: vérification de modèles,
İngilizce: model checking property checking  

Bilişim Dünyasındaki Anlamı:  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

Kelimenin Eşanlamı: model kontrolü.

model sınaması kelimesi 14 harften oluşmaktadır.

model sınaması kelimesi tersten ısamanıs ledom olarak yazılır.