A main feature of EXPRESS is the possibility to formally validate a population of datatypes - this is to check for all the structural and algorithmic rules.
Главная особенность экспресс-это возможность официально подтвердить населения типы данных — это проверка для всех структурных и алгоритмических правил.