model checking (Q1569697)
verifying whether a finite-state model meets a given specification
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | model checking |
verifying whether a finite-state model meets a given specification |
Statements
Identifiers
Sitelinks
Wikipedia(16 entries)
- cawiki Comprovació de models
- dewiki Model Checking
- elwiki Έλεγχος μοντέλων
- enwiki Model checking
- eswiki Verificación de modelos
- fawiki وارسی مدل
- frwiki Vérification de modèles
- itwiki Model checking
- jawiki モデル検査
- ptwiki Verificação de modelos
- ruwiki Проверка моделей
- skwiki Overovanie modelov
- trwiki Model kontrolü
- ukwiki Перевірка моделі
- viwiki Model checking
- zhwiki 模型检测