model checking (Q1569697)
Jump to navigation
Jump to search
verifying whether a finite-state model meets a given specification
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | model checking |
verifying whether a finite-state model meets a given specification |
Statements
Identifiers
Sitelinks
Wikipedia(14 entries)
- 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