Пошук інваріантів U-Y- програм інтераційним алгоритмом над абсолютно вільними алгебрами данних
Розглядається проблема пошуку програмних інваріантів у програмах над вільними алгебрами даних. Для отримання більш релевантних результатів при верифікації програмного забезпечення сучасним «пруверам» необхідні інваріанти програм. Представлено реалізацію ітераційного алгоритму генерації інваріантів н...
Gespeichert in:
| Veröffentlicht in: | Проблеми програмування |
|---|---|
| Datum: | 2012 |
| 1. Verfasser: | |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
Інститут програмних систем НАН України
2012
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/86607 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Пошук інваріантів U-Y- програм інтераційним алгоритмом над абсолютно вільними алгебрами данних / О.М. Максимець // Проблеми програмування. — 2012. — № 2-3. — С. 228-233. — Бібліогр.: 7 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862641351482408960 |
|---|---|
| author | Максимець, О.М. |
| author_facet | Максимець, О.М. |
| citation_txt | Пошук інваріантів U-Y- програм інтераційним алгоритмом над абсолютно вільними алгебрами данних / О.М. Максимець // Проблеми програмування. — 2012. — № 2-3. — С. 228-233. — Бібліогр.: 7 назв. — укр. |
| collection | DSpace DC |
| container_title | Проблеми програмування |
| description | Розглядається проблема пошуку програмних інваріантів у програмах над вільними алгебрами даних. Для отримання більш релевантних результатів при верифікації програмного забезпечення сучасним «пруверам» необхідні інваріанти програм. Представлено реалізацію ітераційного алгоритму генерації інваріантів на абсолютно вільних алгебрах. Показано, що алгоритм генерує релевантні інваріанти для відповідної вільної алгебри.
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.
|
| first_indexed | 2025-12-01T04:31:52Z |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-86607 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-12-01T04:31:52Z |
| publishDate | 2012 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Максимець, О.М. 2015-09-23T16:21:23Z 2015-09-23T16:21:23Z 2012 Пошук інваріантів U-Y- програм інтераційним алгоритмом над абсолютно вільними алгебрами данних / О.М. Максимець // Проблеми програмування. — 2012. — № 2-3. — С. 228-233. — Бібліогр.: 7 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/86607 51.681.3 Розглядається проблема пошуку програмних інваріантів у програмах над вільними алгебрами даних. Для отримання більш релевантних результатів при верифікації програмного забезпечення сучасним «пруверам» необхідні інваріанти програм. Представлено реалізацію ітераційного алгоритму генерації інваріантів на абсолютно вільних алгебрах. Показано, що алгоритм генерує релевантні інваріанти для відповідної вільної алгебри. 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 Інститут програмних систем НАН України Проблеми програмування Формальні методи програмування Пошук інваріантів U-Y- програм інтераційним алгоритмом над абсолютно вільними алгебрами данних published earlier |
| spellingShingle | Пошук інваріантів U-Y- програм інтераційним алгоритмом над абсолютно вільними алгебрами данних Максимець, О.М. Формальні методи програмування |
| title | Пошук інваріантів U-Y- програм інтераційним алгоритмом над абсолютно вільними алгебрами данних |
| title_full | Пошук інваріантів U-Y- програм інтераційним алгоритмом над абсолютно вільними алгебрами данних |
| title_fullStr | Пошук інваріантів U-Y- програм інтераційним алгоритмом над абсолютно вільними алгебрами данних |
| title_full_unstemmed | Пошук інваріантів U-Y- програм інтераційним алгоритмом над абсолютно вільними алгебрами данних |
| title_short | Пошук інваріантів U-Y- програм інтераційним алгоритмом над абсолютно вільними алгебрами данних |
| title_sort | пошук інваріантів u-y- програм інтераційним алгоритмом над абсолютно вільними алгебрами данних |
| topic | Формальні методи програмування |
| topic_facet | Формальні методи програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/86607 |
| work_keys_str_mv | AT maksimecʹom pošukínvaríantívuyprogramínteracíinimalgoritmomnadabsolûtnovílʹnimialgebramidannih |