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

formal program validation
.טכנול	формальний доказ правильності програми