Model checking
[ca] Comprovació de models
[de] Model Checking
[el] Έλεγχος μοντέλων
[es] Verificación de modelos
[fa] وارسی مدل
[fr] Vérification de modèles
[it] Model checking
[ja] モデル検査
[pt] Verificação de modelos
[ru] Проверка моделей