Anglais ⇄ Russe +

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