Home›Browse›model checking🌐EnglishEnglishDeutschEspañolFrançaisItalianoPortuguêsTiếng ViệtTürkçeРусскийالعربيةفارسی한국어中文日本語EntityQ1569697· pop 16· linked from 213 articlesmodel checkingSign in to saveverifying whether a finite-state model meets a given specificationAvailable in 16 languagesEspañolFrançaisDeutsch中文日本語РусскийPortuguêsItalianoCatalanGreekSlovakTiếng ViệtTürkçeUkrainianفارسیvia Wikidata sitelinks · CC0