English ⇄ Russian +

verification condition generation stresses
IT	генерирование условий верификации (при доказательстве правильности программ)