Inglés ⇄ Ruso +

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