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