Знайдено документів: 1
Інформація × Реєстраційний номер 0218U001338, 0116U004732 , Науково-дослідна робота Назва роботи Методи комп'ютерної алгебри та інсерційного моделювання в системах статичного аналізу та верифікації програмного забезпечення Назва етапу роботи Керівник роботи Львов Михайло Сергійович, Дата реєстрації 31-01-2018 Організація виконавець Херсонський державний університет Опис етапу Сформульовано функціональні вимоги до системи верифікації формальних моделей програм. Розглянуто алгоритм побудови канонічної форми лінійних напівалгебраїчних множин та його інсерційну модель. Описано структуру та архітектуру веб-ресурсу предметної області та наукової групи в цілях міжнародного наукового співробітництва. Розроблено прототип Web-ресурсу "Методи комп'ютерної алгебри та інсерційного моделювання в системах статичного аналізу та верифікації програмного забезпечення". Опис продукції Сформульовано функціональні вимоги до системи верифікації формальних моделей програм, які буде використано для розробки її прототипу. Розроблено інсерційну модель алгоритму побудови канонічної форми лінійних напівалгебраїчних множин. Розроблено прототип веб-ресурсу предметної області та наукової групи в цілях міжнародного наукового співробітництва "Методи комп'ютерної алгебри та інсерційного моделювання в системах статичного аналізу та верифікації програмного забезпечення". Автори роботи Блинов І.О. Вінник М.О. Кльонов Д.М. Кушнір Н.О. Мельник Д.Г. Песчаненко В.С. Полторацький М.Ю. Приймак К.С. Тарасіч Ю.Г. Черненко І.Є. Шорнік В.М. Додано в НРАТ 2020-04-02 Закрити
НДДКР ОК
Методи комп'ютерної алгебри та інсерційного моделювання в системах статичного аналізу та верифікації програмного забезпечення
Керівник: Львов Михайло Сергійович. Методи комп'ютерної алгебри та інсерційного моделювання в системах статичного аналізу та верифікації програмного забезпечення. (Етап: ). Херсонський державний університет. № 0218U001338
Знайдено документів: 1

Оновлено: 2026-03-25


Роздрукувати цю сторінку