אנגלית ⇄ רוסית +

theory of correctness מתח
.תִכנו	теория правильности (программ ssn)