Anglais ⇄ Russe +

provide automatic verification contraintes
logic.	обеспечить автоматическую верификацию (программного обеспечения Alex_Odeychuk); выполнить автоматическую верификацию (программного обеспечения Alex_Odeychuk)