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. Kategori:Bilgisayar biliminde mantık