Функционал модуля выгрузки данных заключается в извлечении верифицируемых данных из СОЗ .
Полученные данные в виде файлов поступают на вход модуля построения логической модели ,
Функционал модуля выгрузки данных заключается в извлечении верифицируемых данных из СОЗ .
Полученные данные в виде файлов поступают на вход модуля построения логической модели , где формируются домены и предикаты .