Registration Number
0821U102116, PhD dissertation
Status
Доктор філософії
Date
30-06-2021
popup.evolution
.
Title
The static analysis of linearly defined programs and its application
Author
Tarasich Yuliia H.,
popup.head Lvov Mykhailo S.
popup.opponent Nikitchenko Mykola Stepanovych
popup.opponent Kyryychuk Dmytro L.
popup.review Babichev Serhii A.
popup.review Veitsblit Oleksandr Yosypovych
popup.rada
Kherson State University
Description
Мета роботи полягає в аналізі існуючих алгоритмів комп’ютерної алгебри та інсерційного моделювання в системах статичного аналізу та верифікації програмного забезпечення, побудові ефективних алгоритмів статичного аналізу програм.
У розділі 1 надано аналіз існуючих методів та систем статичного аналізу, приведено базисні дефініції дисертаційного дослідження.
У розділі 2 розглянуто проблему генерації інваріантів програм, представлено нові методи доказу інваріантності системи лінійних нерівностей і завершуваності лінійно визначених ітеративних циклів імперативних програм.
У розділі 3 представлено новий алгоритм побудови канонічної форми лінійних півалгебраїчних формул (ЛПФ) та його реалізацію.
Практичне значення наукових результатів полягає в можливості застосування отриманих результатів у задачах верифікації програмного забезпечення, а саме – в розробці спеціалізованих програмних систем верифікації формальних моделей програм.
Registration Date
2021-07-12
popup.nrat_date
2021-07-12 / 2026-07-01
