Search academic texts

Information × Registration Number 0409U002822, Candidate dissertation Status к.ф.-м.н. Date 12-06-2009 popup.evolution o Title Algebraic methods for verification of asynchronous parallel systems Author Potiyenko Stepan Valeriyevich, popup.head Letichevsky Alexander Adolfovich popup.opponent Дорошенко Анатолій Юхимович popup.opponent Гороховський Семен Самуїлович Description Дисертація присвячена створенню методів статичної верифікації формальних моделей. Такі методи базуються на підході доведення теорем та можуть бути безпосередньо застосовані до моделей із нескінченною множиною станів. Розроблені нові алгоритми статичного аналізу для перевірки властивостей несуперечливості, повноти та цілісності. Запропоновано два підходи до розв'язання проблеми досяжності заданих станів системи. Створено новий метод статичного визначення та фільтрації недосяжних станів та новий метод абстракцій за допомогою прихованих змінних. Побудовано нові алгоритми прямого та зворотного предикатних перетворювачів як функцій перетворення однієї множини станів в іншу. Множини станів визначаються формулами багатосортного числення предикатів першого порядку. Побудовано алгоритми трансляції підмножин мов MSC, SDL та UML у мову базових протоколів з метою використання створених в роботі формальних методів в промислових проектах. Registration Date 2009-06-12 popup.nrat_date 2020-04-04 Close