Jump to content

Category:Model checking (computer science)

From Wikimedia Commons, the free media repository
<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>
model checking 
verifying whether a finite-state model meets a given specification
Upload media
Subclass of
Authority file
Edit infobox data on Wikidata

Subcategories

This category has the following 8 subcategories, out of 8 total.

Media in category "Model checking (computer science)"

The following 11 files are in this category, out of 11 total.