Home›Logic in computer science›model checking🌐EnglishEnglishDeutschEspañolFrançaisItalianoPortuguêsTiếng ViệtTürkçeРусскийالعربيةفارسی한국어中文日本語EntityQ1569697· pop 16· linked from 213 articlesmodel checkingverifying whether a finite-state model meets a given specificationWikidata factsShow 2 more factsCommons categoryModel checking (computer science)Stack Exchange tagcs.stackexchange.com/tags/model-checkingSources (3)wikidata.orgdocs.openalex.orgweb.archive.orgvia Wikidata · CC0Available in 16 languagesEspañolFrançaisDeutsch中文日本語РусскийPortuguêsItalianoCatalanGreekConnectionsoperational semanticsEntityPetri netEntityCategoriesLogic in computer scienceModel checking