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

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	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 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

id	irk-123456789-87174
record_format	dspace
spelling	irk-123456789-871742015-10-15T03:01:59Z Методы исследования свойств высокопроизводительных инфраструктур. Обзор Бойко, Ю.В. Глибовец, Н.Н. Ершов, С.В. Крывый, С.Л. Погорилый, С.Д. Ролик, А.И. Теленик, С.Ф. Куляс, А.И. Крак, Ю.В. Ясочка, М.В. Фундаментальные и прикладные проблемы информатики и информационных технологий Представлен аналитический обзор современных методов верификации программного обеспечения параллельных и распределенных систем. Описаны методы верификации на основе исследования свойств конечных автоматов, сетей Петри и транзиционных систем. Представлено аналітичний огляд сучасних методів верифікації програмного забезпечення паралельних та розподілених систем. Описано методи верифікації на основі дослідження властивостей скінченних автоматів, мереж Петрі та транзиційних систем. An analytical survey of the modern verification methods of reactive and distributed systems is presented. The verification methods founded based on investigation properties of the finite state automata, Petri nets and the transition systems are described. 2015 Article Методы исследования свойств высокопроизводительных инфраструктур. Обзор / Ю.В. Бойко, Н.Н. Глибовец, С.В. Ершов, С.Л. Крывый, С.Д. Погорилый, А.И. Ролик, С.Ф. Теленик, А.И. Куляс, Ю.В. Крак, М.В. Ясочка // Управляющие системы и машины. — 2015. — № 1. — С. 3–13. — Бібліогр.: 16 назв. — рос. 0130-5395 http://dspace.nbuv.gov.ua/handle/123456789/87174 51.681.3 ru Управляющие системы и машины Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
institution	Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection	DSpace DC
language	Russian
topic	Фундаментальные и прикладные проблемы информатики и информационных технологий Фундаментальные и прикладные проблемы информатики и информационных технологий
spellingShingle	Фундаментальные и прикладные проблемы информатики и информационных технологий Фундаментальные и прикладные проблемы информатики и информационных технологий Бойко, Ю.В. Глибовец, Н.Н. Ершов, С.В. Крывый, С.Л. Погорилый, С.Д. Ролик, А.И. Теленик, С.Ф. Куляс, А.И. Крак, Ю.В. Ясочка, М.В. Методы исследования свойств высокопроизводительных инфраструктур. Обзор Управляющие системы и машины
description	Представлен аналитический обзор современных методов верификации программного обеспечения параллельных и распределенных систем. Описаны методы верификации на основе исследования свойств конечных автоматов, сетей Петри и транзиционных систем.
format	Article
author	Бойко, Ю.В. Глибовец, Н.Н. Ершов, С.В. Крывый, С.Л. Погорилый, С.Д. Ролик, А.И. Теленик, С.Ф. Куляс, А.И. Крак, Ю.В. Ясочка, М.В.
author_facet	Бойко, Ю.В. Глибовец, Н.Н. Ершов, С.В. Крывый, С.Л. Погорилый, С.Д. Ролик, А.И. Теленик, С.Ф. Куляс, А.И. Крак, Ю.В. Ясочка, М.В.
author_sort	Бойко, Ю.В.
title	Методы исследования свойств высокопроизводительных инфраструктур. Обзор
title_short	Методы исследования свойств высокопроизводительных инфраструктур. Обзор
title_full	Методы исследования свойств высокопроизводительных инфраструктур. Обзор
title_fullStr	Методы исследования свойств высокопроизводительных инфраструктур. Обзор
title_full_unstemmed	Методы исследования свойств высокопроизводительных инфраструктур. Обзор
title_sort	методы исследования свойств высокопроизводительных инфраструктур. обзор
publisher	Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
publishDate	2015
topic_facet	Фундаментальные и прикладные проблемы информатики и информационных технологий
url	http://dspace.nbuv.gov.ua/handle/123456789/87174
citation_txt	Методы исследования свойств высокопроизводительных инфраструктур. Обзор / Ю.В. Бойко, Н.Н. Глибовец, С.В. Ершов, С.Л. Крывый, С.Д. Погорилый, А.И. Ролик, С.Ф. Теленик, А.И. Куляс, Ю.В. Крак, М.В. Ясочка // Управляющие системы и машины. — 2015. — № 1. — С. 3–13. — Бібліогр.: 16 назв. — рос.
series	Управляющие системы и машины
work_keys_str_mv	AT bojkoûv metodyissledovaniâsvojstvvysokoproizvoditelʹnyhinfrastrukturobzor AT glibovecnn metodyissledovaniâsvojstvvysokoproizvoditelʹnyhinfrastrukturobzor AT eršovsv metodyissledovaniâsvojstvvysokoproizvoditelʹnyhinfrastrukturobzor AT kryvyjsl metodyissledovaniâsvojstvvysokoproizvoditelʹnyhinfrastrukturobzor AT pogorilyjsd metodyissledovaniâsvojstvvysokoproizvoditelʹnyhinfrastrukturobzor AT rolikai metodyissledovaniâsvojstvvysokoproizvoditelʹnyhinfrastrukturobzor AT teleniksf metodyissledovaniâsvojstvvysokoproizvoditelʹnyhinfrastrukturobzor AT kulâsai metodyissledovaniâsvojstvvysokoproizvoditelʹnyhinfrastrukturobzor AT krakûv metodyissledovaniâsvojstvvysokoproizvoditelʹnyhinfrastrukturobzor AT âsočkamv metodyissledovaniâsvojstvvysokoproizvoditelʹnyhinfrastrukturobzor
first_indexed	2023-10-18T19:35:00Z
last_indexed	2023-10-18T19:35:00Z
_version_	1796147354845315072

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

Репозитарії

Схожі ресурси