Terms for subject Software containing employed

English	Russian
employ static and dynamic verification	выполнить статическую и динамическую верификацию (корпорации AdaCore Alex_Odeychuk)