Функционал модуля выгрузки данных заключается в извлечении верифицируемых данных из СОЗ .
Авторами был выбран подход на основе двоичных диаграмм решений ( ДДР , Binary Decision Diagram ) ,
Функционал модуля выгрузки данных заключается в извлечении верифицируемых данных из СОЗ .
Авторами был выбран подход на основе двоичных диаграмм решений ( ДДР , Binary Decision Diagram ) , поскольку авторы ведут исследования в области применения ДДР для логического вывода [ 1-3 ] .