Пошук інваріантів U-Y- програм інтераційним алгоритмом над абсолютно вільними алгебрами данних
Розглядається проблема пошуку програмних інваріантів у програмах над вільними алгебрами даних. Для отримання більш релевантних результатів при верифікації програмного забезпечення сучасним «пруверам» необхідні інваріанти програм. Представлено реалізацію ітераційного алгоритму генерації інваріантів н...
Збережено в:
Видавець: | Інститут програмних систем НАН України |
---|---|
Дата: | 2012 |
Автор: | |
Мова: | Ukrainian |
Опубліковано: |
Інститут програмних систем НАН України
2012
|
Назва видання: | Проблеми програмування |
Теми: | |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/86607 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Цитувати: | Пошук інваріантів U-Y- програм інтераційним алгоритмом над абсолютно вільними алгебрами данних / О.М. Максимець // Проблеми програмування. — 2012. — № 2-3. — С. 228-233. — Бібліогр.: 7 назв. — укр. |
Репозиторії
Digital Library of Periodicals of National Academy of Sciences of UkraineБудьте першим, хто залишить коментар!