English ⇄ Chinese Danish Dutch Finnish French German Greek Italian Portuguese Russian Spanish Swedish +

partial correctness stresses
IT	частичная правильность
progr.	частичная корректность (свойство программы вычислять желаемый результат при условии, что она завершается ssn)