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