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

Бойко, Ю. В.; Глибовец, Н. Н.; Ершов, С. В.; Крывый, С. Л.; Погорилый, С. Д.; Ролик, А. И.; Теленик, С. Ф.; Куляс, А. И.; Крак, Ю. В.; Ясочка, М. В.


	Наукова періодика України		Control systems & computers

Бойко Ю. В.
Методы исследования свойств высокопроизводительных инфраструктур. Обзор / Ю. В. Бойко, Н. Н. Глибовец, С. В. Ершов, С. Л. Крывый, С. Д. Погорилый, А. И. Ролик, С. Ф. Теленик, А. И. Куляс, Ю. В. Крак, М. В. Ясочка // Управляющие системы и машины. - 2015. - № 1. - С. 3–13. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2015_1_2

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

Повний текст PDF - 439.899 Kb

Зміст випуску Google Scholar

Цитування публікації

Цитованість авторів публікації:

Бібліографічний опис для цитування:

Бойко Ю. В. Методы исследования свойств высокопроизводительных инфраструктур. Обзор / Ю. В. Бойко, Н. Н. Глибовец, С. В. Ершов, С. Л. Крывый, С. Д. Погорилый, А. И. Ролик, С. Ф. Теленик, А. И. Куляс, Ю. В. Крак, М. В. Ясочка // Управляющие системы и машины. - 2015. - № 1. - С. 3–13. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2015_1_2.

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

Бойко Юрій Володимирович (1962–) (фізико-математичні науки)

Єршов Сергій Володимирович (1972–) (технічні науки)

Теленик Сергій Федорович (технічні науки)

Куляс Анатолій Іванович (технічні науки)

Ясочка Максим Володимирович (технічні науки)

Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"

Відділ інформаційно-комунікаційних технологій

Пам`ятка користувача