| Subject | English | Russian |
| progr. | dynamic verification | динамическая верификация (ssn) |
| progr. | dynamic verification methods | методы динамической верификации (ssn) |
| softw. | employ static and dynamic verification | выполнить статическую и динамическую верификацию (корпорации AdaCore Alex_Odeychuk) |
| softw. | from a dynamic verification point of view | с точки зрения динамической верификации (types can be associated with constraints, such as value ranges or arbitrary boolean predicates. These types, ranges and predicates will be verified at specific points in the application, allowing early detection of inconsistencies; корпорации AdaCore Alex_Odeychuk) |
| progr. | static and dynamic verification | статическая и динамическая верификация программного обеспечения (корпорации AdaCore Alex_Odeychuk) |
| progr. | static and dynamic verification | статическая и динамическая верификация (корпорации AdaCore Alex_Odeychuk) |