Search academic texts

Information × Registration Number 0821U102116, PhD dissertation Status Доктор філософії Date 30-06-2021 popup.evolution o 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 Description Мета роботи полягає в аналізі існуючих алгоритмів комп’ютерної алгебри та інсерційного моделювання в системах статичного аналізу та верифікації програмного забезпечення, побудові ефективних алгоритмів статичного аналізу програм. У розділі 1 надано аналіз існуючих методів та систем статичного аналізу, приведено базисні дефініції дисертаційного дослідження. У розділі 2 розглянуто проблему генерації інваріантів програм, представлено нові методи доказу інваріантності системи лінійних нерівностей і завершуваності лінійно визначених ітеративних циклів імперативних програм. У розділі 3 представлено новий алгоритм побудови канонічної форми лінійних півалгебраїчних формул (ЛПФ) та його реалізацію. Практичне значення наукових результатів полягає в можливості застосування отриманих результатів у задачах верифікації програмного забезпечення, а саме – в розробці спеціалізованих програмних систем верифікації формальних моделей програм. Registration Date 2021-07-12 popup.nrat_date 2021-07-12 Close