🌐فارسیEnglishDeutschEspañolFrançaisItalianoPortuguêsTiếng ViệtTürkçeРусскийالعربيةفارسی한국어中文日本語EntityQ1569697· pop 16· linked from 213 articlesوارسی مدلverifying whether a finite-state model meets a given specificationAvailable in 16 languagesEspañolFrançaisDeutsch中文日本語РусскийPortuguêsItalianoCatalanGreekConnectionsoperational semanticsEntityPetri netEntityCategoriesLogic in computer scienceModel checking