Geçerlilik kontrolü modelin gerçek sistemin doğru bir temsili olup olmadığının belirlenmesini kapsar. Bu modelin geliştirilmesi için genellikle modelin gerçek sistem ile karşılaştırılmasını ve ikisi arasındaki tutarsızlıkları belirlemeye yönelik yinelemeli bir süreçtir. Bu süreç modelin doğruluğu kabul edilinceye kadar sürer.