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

verification condition generation מתח
.טכנול	генерирование условий верификации (при доказательстве правильности программ)