Search academic texts

Information × Registration Number 0516U000216, Doctoral dissertation Status д.ф.-м.н. Date 11-03-2016 popup.evolution o Title Symbolic methods in testing and verification of systems of high reliability Author Letychevskyi Oleksandr Oleksandrovich, popup.head Sergiyenko Ivan Vasyliovych popup.opponent Дорошенко Анатолій Юхимович popup.opponent Кліменко Віталій Петрович popup.opponent Львов Михайло Сергійович Description Визначено повну технологічну схему процесу розробки високонадійних систем,що інтегрований з процесом верифікації та тестування.Зроблено огляд символьних методів в процесі розробки програмних систем. Створено мову Live UCM. Розширено теорію предикатних перетворювачів для формул з універсальним квантором. Створено методи верифікації та модельного тестування для Live UCM специфікацій.Створено символьні методи перетворень моделей. Розглянуто приклади використання технології та реалізовані системи. Registration Date 2016-03-11 popup.nrat_date 2020-04-03 Close