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