Home›Browse›formal methods🌐EnglishEnglishBahasa IndonesiaDeutschEspañolFrançaisItalianoNederlandsPolskiPortuguêsSvenskaTiếng ViệtTürkçeРусскийالعربيةفارسی한국어中文日本語EntityQ1049183· pop 27· linked from 604 articlesformal methodsSign in to savemathematical program specification intended to allow correctness proofs, including algorithmicallyAvailable in 27 languagesEspañolFrançaisDeutsch中文日本語РусскийPortuguêsItalianoالعربيةAlbanianAzerbaijaniBahasa IndonesiaBasqueHungarianLithuanianMalayNederlandsPolskiShow 8 moreSerbianSvenskaTiếng ViệtTürkçeUkrainianzh_yueفارسی한국어via Wikidata sitelinks · CC0