Category:Model checking (computer science)

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search
Model checking 
Wikipedia-logo-v2.svg  Wikipedia
Authority control
Wikidata
Blue pencil.svg
Model checking (es); Model checking (fr); Проверка моделей (ru); Model Checking (de); Model checking (vi); وارسی مدل (fa); 模型检测 (zh); Modelių tikrinimas (lt); Model kontrolü (tr); モデル検査 (ja); Overovanie modelov (sk); Перевірка моделі (uk); 模型检测 (zh-cn); 모델체크 (ko); Model checking (en); Verificação de modelos (pt); Έλεγχος μοντέλων (el); Model checking (it) Modellprüfverfahren, Modelchecking, Modellprüfer, Modellprüfung (de); Verificação de Modelo, Model Checking (pt); Model checking, Model-checking (sk); Έλεγχος μοντέλου (el); Modelio patikrinimas (lt)

Subcategories

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

A

C

L

P

T

Media in category "Model checking (computer science)"

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