Home›Formal methods terminology›صحت (علوم رایانه)🌐فارسیEnglishDeutschEspañolFrançaisPolskiPortuguêsالعربيةفارسی한국어中文日本語EntityQ360812· pop 14· linked from 126 articlesصحت (علوم رایانه)Also known as correctness (computer science)quality of an algorithm being correct with respect to a specificationAvailable in 13 languagesEspañolFrançaisDeutsch中文日本語PortuguêsالعربيةHungarianPolskiSerbianConnectionsQ15777EntityalgorithmEntityCategoriesFormal methods terminologySoftware qualityTheoretical computer science