Розробка інструментальних засобів для перевірки формальних моделей асинхронних систем

Створення алгоритмів та методів для автоматичної верифікації формальних моделей асинхронних промислових систем. Перевірка динамічних властивостей, редукції простору пошуку, генерації множини тестових сценаріїв, що задовольняють певним критеріям покриття.

Рубрика Программирование, компьютеры и кибернетика
Предмет Математичне та програмне забезпечення обчислювальних машин і систем
Вид автореферат
Язык украинский
Прислал(а) Колчин Олександр Валентинович
Дата добавления 26.09.2015
Размер файла 98,8 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.


Подобные документы

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.