| English | Russian |
| 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) |