Home›Browse›formal verification🌐EnglishEnglishEspañolFrançaisItalianoPolskiPortuguêsSvenskaTürkçeРусскийالعربيةفارسی한국어中文日本語EntityQ173326· pop 22· linked from 295 articlesformal verificationSign in to saveact of proving or disproving the correctness of intended algorithmsWikidata factsSubclass ofverificationShow 1 more facthas goalcorrectnessSources (4)wikidata.orgpl.wikipedia.orgdocs.openalex.orgweb.archive.orgvia Wikidata · CC0Available in 22 languagesEspañolFrançais中文日本語РусскийPortuguêsItalianoالعربيةBasqueCatalanCzechGreekHebrewPolskiSerbiansimpleSvenskaTürkçeShow 3 moreUkrainianفارسی한국어via Wikidata sitelinks · CC0