выполнить статическую верификацию

statically verify (свойств режима выполнения кода; корпорации AdaCore Alex_Odeychuk)

выполнить статическую верификацию: 1 phrase in 1 subject

1