Методы исследования свойств высокопроизводительных инфраструктур. Обзор

• Дата: 2015
• Автори: Бойко, Ю.В., Глибовец, Н.Н., Ершов, С.В., Крывый, С.Л., Погорилый, С.Д., Ролик, А.И., Теленик, С.Ф., Куляс, А.И., Крак, Ю.В., Ясочка, М.В.
• Формат: Стаття
• Мова: Russian
• Опубліковано: Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 2015
• Назва видання: Управляющие системы и машины
• Теми: Фундаментальные и прикладные проблемы информатики и информационных технологий
• Онлайн доступ: http://dspace.nbuv.gov.ua/handle/123456789/87174
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Цитувати: Методы исследования свойств высокопроизводительных инфраструктур. Обзор / Ю.В. Бойко, Н.Н. Глибовец, С.В. Ершов, С.Л. Крывый, С.Д. Погорилый, А.И. Ролик, С.Ф. Теленик, А.И. Куляс, Ю.В. Крак, М.В. Ясочка // Управляющие системы и машины. — 2015. — № 1. — С. 3–13. — Бібліогр.: 16 назв. — рос.

Представлен аналитический обзор современных методов верификации программного обеспечения параллельных и распределенных систем. Описаны методы верификации на основе исследования свойств конечных автоматов, сетей Петри и транзиционных систем....