Englisch ⇄ Russisch +

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