Наукова електронна бібліотека
періодичних видань НАН України
періодичних видань НАН України
Обзор современных систем и методов верификации формальных моделей
Репозиторій DSpace/Manakin
JavaScript is disabled for your browser. Some features of this site may not work without it.
Обзор современных систем и методов верификации формальных моделей
Тема:
Формальні методи розробки програмного забезпечення
УДК:
519.686
Посилання:
Обзор современных систем и методов верификации формальных моделей / А.В. Колчин, А.А. Летичевский, С.В. Потиенко, В.С. Песчаненко // Проблеми програмування. — 2012. — № 4. — С. 75-88. — Бібліогр.: 74 назв. — рос.
Дата:
2012
Переглядів:
816
Завантажень:
1374
Анотація:
Приведен обзор автоматических методов проверки правильности формальных моделей программных систем. Рассмотрены проверяемые свойства, методы редукции и современные инструментальные средства проверки моделей.
