Пошук інваріантів U-Y- програм інтераційним алгоритмом над абсолютно вільними алгебрами данних

dc.contributor.authorМаксимець, О.М.
dc.date.accessioned2015-09-23T16:21:23Z
dc.date.available2015-09-23T16:21:23Z
dc.date.issued2012
dc.description.abstractРозглядається проблема пошуку програмних інваріантів у програмах над вільними алгебрами даних. Для отримання більш релевантних результатів при верифікації програмного забезпечення сучасним «пруверам» необхідні інваріанти програм. Представлено реалізацію ітераційного алгоритму генерації інваріантів на абсолютно вільних алгебрах. Показано, що алгоритм генерує релевантні інваріанти для відповідної вільної алгебри.uk_UA
dc.description.abstractThe problem of generating program invariants on free algebras is considered. Modern provers need program invariants as input to get more relevant results for software verification. Implementation of iterative algorithm for generating invariants on absolutely free algebras is presented. We show that the algorithm generates relevant invariants corresponding to free algebras.uk_UA
dc.identifier.citationПошук інваріантів U-Y- програм інтераційним алгоритмом над абсолютно вільними алгебрами данних / О.М. Максимець // Проблеми програмування. — 2012. — № 2-3. — С. 228-233. — Бібліогр.: 7 назв. — укр.uk_UA
dc.identifier.issn1727-4907
dc.identifier.udc51.681.3
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/86607
dc.language.isoukuk_UA
dc.publisherІнститут програмних систем НАН Україниuk_UA
dc.relation.ispartofПроблеми програмування
dc.statuspublished earlieruk_UA
dc.subjectФормальні методи програмуванняuk_UA
dc.titleПошук інваріантів U-Y- програм інтераційним алгоритмом над абсолютно вільними алгебрами даннихuk_UA

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1
Завантаження...
Ескіз
Назва:
27-Maximets.pdf
Розмір:
324.28 KB
Формат:
Adobe Portable Document Format

Контейнер ліцензії

Зараз показуємо 1 - 1 з 1
Завантаження...
Ескіз
Назва:
license.txt
Розмір:
817 B
Формат:
Item-specific license agreed upon to submission
Опис: