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

proving an algorithm's correctness מתח
.תִכנו	оценка корректности алгоритма (ssn)