Model kontrolü

Bilgisayar biliminde model kontrolü ya da model denetimi, bir sisteme ait modelin belirli nitelikleri karşılayıp karşılamadığının sınanmasıdır. Donanım ve yazılım bileşenlerinden oluşan bir sistemin kilitlenme olasılığının denetlenmesi bu tanıma örnek gösterilebilir. Denetimin algoritmik uygulaması, model ile karşılaştırılacak niteliklerin matematiksel bir dille tanımlanmasını ve işlemin mantıksal düzleme aktarılmasını gerektirmektedir.

Bilgisayar bilimi ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz.