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

Скорочена інформація про документ
dc.contributor.authorКрывый, С.Л.
dc.contributor.authorМаксимец, А.Н.
dc.date.accessioned2017-04-11T18:39:38Z
dc.date.available2017-04-11T18:39:38Z
dc.date.issued2014
dc.description.abstractРассмотрены современные методы верификации программного обеспечения последовательных, функциональных, параллельных и распределенных систем. Основное внимание уделяется методам верификации на основе свойств абстрактных интерпретаций, транзиционных систем, сетей Петри.uk_UA
dc.description.abstractРозглянуто сучасні методи верифікації програмного забезпечення послідовних, функціональних, паралельних та розподілених систем. Основну увагу приділено методам верифікації на основі властивостей абстрактних інтерпретацій, транзиційних систем, мереж Петрі.uk_UA
dc.description.abstractAn analytical survey of modern verification methods for sequential functional, reactive, and distributed systems is presented. The emphasis is on methods based on properties of abstract interpretation, transition systems, and Petri nets.uk_UA
dc.identifier.citationВерификация программ: состояние, проблемы, результаты. II / С.Л. Крывый, А.Н. Максимец // Кибернетика и системный анализ. — 2014. — Т. 50, № 1. — С. 11-20. — Бібліогр.: 11 назв. — рос.uk_UA
dc.identifier.udc51.681.3
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/115730
dc.language.isoruuk_UA
dc.publisherІнститут кібернетики ім. В.М. Глушкова НАН Україниuk_UA
dc.relation.ispartofКибернетика и системный анализ
dc.statuspublished earlieruk_UA
dc.subjectКибернетикаuk_UA
dc.titleВерификация программ: состояние, проблемы, результаты. IIuk_UA
dc.title.alternativeВерифікація програм: стан, проблеми, результати. IIuk_UA
dc.title.alternativeProgram verification: State of the art, problems, and results. IIuk_UA
dc.typeArticleuk_UA

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
02-Kryvyy.pdf
Розмір:
139.1 KB
Формат:
Adobe Portable Document Format
Завантажити

Контейнер ліцензії

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
817 B
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекція

Кибернетика и системный анализ, 2014, № 1