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

dc.contributor.author	Максимець, О.М.
dc.date.accessioned	2015-09-23T16:21:23Z
dc.date.available	2015-09-23T16:21:23Z
dc.date.issued	2012
dc.identifier.citation	Пошук інваріантів U-Y- програм інтераційним алгоритмом над абсолютно вільними алгебрами данних / О.М. Максимець // Проблеми програмування. — 2012. — № 2-3. — С. 228-233. — Бібліогр.: 7 назв. — укр.	uk_UA
dc.identifier.issn	1727-4907
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/86607
dc.description.abstract	Розглядається проблема пошуку програмних інваріантів у програмах над вільними алгебрами даних. Для отримання більш релевантних результатів при верифікації програмного забезпечення сучасним «пруверам» необхідні інваріанти програм. Представлено реалізацію ітераційного алгоритму генерації інваріантів на абсолютно вільних алгебрах. Показано, що алгоритм генерує релевантні інваріанти для відповідної вільної алгебри.	uk_UA
dc.description.abstract	The 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.language.iso	uk	uk_UA
dc.publisher	Інститут програмних систем НАН України	uk_UA
dc.relation.ispartof	Проблеми програмування
dc.subject	Формальні методи програмування	uk_UA
dc.title	Пошук інваріантів U-Y- програм інтераційним алгоритмом над абсолютно вільними алгебрами данних	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	51.681.3