Home›Formal methods›formal methods🌐EnglishEnglishBahasa IndonesiaDeutschEspañolFrançaisItalianoNederlandsPolskiPortuguêsSvenskaTiếng ViệtTürkçeРусскийالعربيةفارسی한국어中文日本語EntityQ1049183· pop 27· linked from 604 articlesformal methodsmathematical program specification intended to allow correctness proofs, including algorithmicallyWikidata factsShow 2 more factsStack Exchange tagcs.stackexchange.com/tags/formal-methodsCommons categoryFormal methodsSources (4)wikidata.orgdocs.openalex.orgweb.archive.orgformalmethods.fandom.comvia Wikidata · CC0Available in 27 languagesEspañolFrançaisDeutsch中文日本語РусскийPortuguêsItalianoالعربيةAlbanianAzerbaijaniConnectionsalgorithmEntityBackus–Naur formEntityCategoriesFormal methodsSoftware development philosophiesSpecification languagesTheoretical computer science