🌐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 algorithmicallyAvailable in 27 languagesEspañolFrançaisDeutsch中文日本語РусскийPortuguêsItalianoالعربيةAlbanianAzerbaijaniConnectionsalgorithmEntityBackus–Naur formEntityCategoriesFormal methodsSoftware development philosophiesSpecification languagesTheoretical computer science