Верификация программ: состояние, проблемы, экспериментальные результаты. II
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Верификация программ: состояние, проблемы, экспериментальные результаты. II
|
|
| Creator |
Максимец, А.Н.
|
|
| Subject |
Верифікація програм
|
|
| Description |
Рассматриваются алгоритмы поиска инвариантных соотношений в программах с простыми переменными, которые относятся к методам анализа потоков данных и верификации. Приводится краткий обзор таких методов и примеры для иллюстрации работы предлагаемых алгоритмов.
|
|
| Date |
2015-09-30T13:54:29Z
2015-09-30T13:54:29Z 2014 |
|
| Type |
Article
|
|
| Identifier |
Верификация программ: состояние, проблемы, экспериментальные результаты. II / А.Н. Максимец // Проблеми програмування. — 2014. — № 1. — С. 76-89. — Бібліогр.: 7 назв. — рос.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/86742 51.681.3 |
|
| Language |
ru
|
|
| Relation |
Проблеми програмування
|
|
| Publisher |
Інститут програмних систем НАН України
|
|