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

formal program validation מתח
.טכנול	формальное доказательство правильности программы