Верификация программ: состояние, проблемы, результаты. I

Представлено аналiтичний огляд сучасних методiв верифiкацiї програмного забезпечення послiдовних, функцiональних, паралельних та розподiлених систем. Основну увагу придiлено методам верифiкацiї на основi властивостей абстрактних iнтерпретацiй, транзицiйних систем, мереж Петрi. An analytical survey o...

Повний опис

Збережено в:
Бібліографічні деталі
Опубліковано в: :Кибернетика и системный анализ
Дата:2013
Автори: Крывый, С.Л., Максимец, А.Н.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут кібернетики ім. В.М. Глушкова НАН України 2013
Теми:
Онлайн доступ:https://nasplib.isofts.kiev.ua/handle/123456789/86285
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Верификация программ: состояние, проблемы, результаты. I / С.Л. Крывый, А.Н. Максимец // Кибернетика и системный анализ. — 2013. — Т. 49, № 6. — С. 3-14. — Бібліогр.: 20 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine