Category:Model checking (computer science)

<nowiki>Model checking; Model checking; Проверка моделей; Model Checking; Model checking; وارسی مدل; 模型检测; Modelių tikrinimas; Model kontrolü; モデル検査; Verificação de modelos; Overovanie modelov; modellsjekking; Перевірка моделі; Έλεγχος μοντέλων; Model checking; 模型检测; modellsjekking; 모델체크; model checking; التحقق من النماذج; 模型检查; Comprovació de models; verificar si un model d'estat finit compleix una especificació determinada; 有限状態モデルがある仕様を満たすかを検証すること; Verifikation einer Systembeschreibung gegen eine Spezifikation; verifying whether a finite-state model meets a given specification; verifikasjon av hvorvidt en endelig tilstandsmaskin tilfredsstiller en gitt spesifikasjon; Modellprüfverfahren; Modelchecking; Modellprüfer; Modellprüfung; Verificação de Modelo; Model Checking; Model checking; Model-checking; Έλεγχος μοντέλου; 模型檢查; 模型检查; Modelio patikrinimas</nowiki>