Наукова електронна бібліотека
періодичних видань НАН України
періодичних видань НАН України
Верификация программ: состояние, проблемы, экспериментальные результаты. II
Репозиторій DSpace/Manakin
JavaScript is disabled for your browser. Some features of this site may not work without it.
Верификация программ: состояние, проблемы, экспериментальные результаты. II
Інші назви:
Verification of programs: status, problems and experimental results. II
Тема:
Верифікація програм
УДК:
51.681.3
Посилання:
Верификация программ: состояние, проблемы, экспериментальные результаты. II / А.Н. Максимец // Проблеми програмування. — 2014. — № 1. — С. 76-89. — Бібліогр.: 7 назв. — рос.
Дата:
2014
Переглядів:
933
Завантажень:
696
Анотація:
Рассматриваются алгоритмы поиска инвариантных соотношений в программах с простыми переменными, которые относятся к методам анализа потоков данных и верификации. Приводится краткий обзор таких методов и примеры для иллюстрации работы предлагаемых алгоритмов.
