Проект научного сотрудника лаборатории ПОИС получил поддержку Научного фонда

Исследование Леонида Дворянского нацелено на преодоление проблемы  высокой сложности поведенческого анализа, используя структурные методы и композициональность поведенческих свойств компонент NP-сетей. Известно, что структурные методы намного эффективнее анализа, основанного на графах достижимости и покрытия. В данном исследовании планируется: обобщить основанные на ловушках и сифонах техники на NP-сети, разработать использующие предложенные техники методы анализа, а также изучить композициональность ловушек и сифонов.