Пошук академічних текстів

Інформація × Реєстраційний номер 0415U006115, Кандидатська дисертація На здобуття к.ф.-м.н. Дата захисту 13-11-2015 Статус Запланована Назва роботи Інсерційне моделювання та верифікація багатопотокових систем Здобувач Губа Антон Андрійович, Керівник Летичевський Олександр Адольфович Опонент Нікітченко Микола Степанович Опонент Гороховський Семен Самуїлович Опис Дисертаційна робота присвячена розробці та дослідженню формальних моделей багатопотокових систем. Описано формальну семантику мови UCM в термінах теорії агентів та середовищ. Побудовано алгоритм генерації тестових сценаріїв для UCM моделей. Розроблено алгоритм розподілення станів UCM моделі та обчислень над ними на конкретну та символьну частини. Побудовано алгоритм верифікації, що реалізує метод пошуку інваріантів для моделі. Дата реєстрації 2015-11-13 Додано в НРАТ 2020-04-03 Закрити