Search academic texts

Information × Registration Number 0415U006115, Candidate dissertation Status к.ф.-м.н. Date 13-11-2015 popup.evolution o Title Insertion modeling and verification of multithreaded systems Author Guba Anton Andriyovich, popup.head Letichevsky Alexander Adolfovich popup.opponent Нікітченко Микола Степанович popup.opponent Гороховський Семен Самуїлович Description Дисертаційна робота присвячена розробці та дослідженню формальних моделей багатопотокових систем. Описано формальну семантику мови UCM в термінах теорії агентів та середовищ. Побудовано алгоритм генерації тестових сценаріїв для UCM моделей. Розроблено алгоритм розподілення станів UCM моделі та обчислень над ними на конкретну та символьну частини. Побудовано алгоритм верифікації, що реалізує метод пошуку інваріантів для моделі. Registration Date 2015-11-13 popup.nrat_date 2020-04-03 Close