 |
| Subject | English | Russian |
| progr. | correct attributes of nonlocal variables visible to a program statement | корректные атрибуты нелокальных переменных, видимые операторам программы (ssn) |
| IT | correct program | правильная программа (удовлетворяющая спецификации) |
| progr. | correct program | корректная программа (ssn) |
| progr. | developing a correct program | создание корректной программы (ssn) |
| progr. | key to developing a correct program | ключ к созданию корректной программы (ssn) |
| progr. | provably correct program | доказуемо корректная программа (программа, написанная таким образом, что можно привлечь математический или логический аппарат для доказательства того, что она удовлетворяет предъявленным требованиям ssn) |
| progr. | provably correct programs | доказуемо корректные программы (ssn) |