Изучение современного состояния научных исследований в области формальных методов и технологий программирования и сбор необходимой информации;Получение консультаций по вопросам научных исследований "Тестирование дискретных управляющих систем на основе моделей с конечным числом состояний";Проведение экспериментальных исследований "Сравнение методов синтеза проверяющих тестов для детерминированных автоматов". |