Anglais ⇄ Russe +

statically verify contraintes
progr.	выполнить статический анализ кода (Alex_Odeychuk); выполнить статическую верификацию (свойств режима выполнения кода; корпорации AdaCore Alex_Odeychuk)