Разрабатываемая система может использоваться для выявления ошибок и уязвимостей в проектных моделях СБИС, посредством валидации результатов работы САПР, что требуется в доверенных маршрутах проектирования, применяемых для создания объектов критической информационной инфраструктуры.
Корректно (is_correct): 1