Методы исследования свойств высокопроизводительных инфраструктур. Обзор
Представлен аналитический обзор современных методов верификации программного обеспечения параллельных и распределенных систем. Описаны методы верификации на основе исследования свойств конечных автоматов, сетей Петри и транзиционных систем. Представлено аналітичний огляд сучасних методів верифікації...
Saved in:
| Published in: | Управляющие системы и машины |
|---|---|
| Date: | 2015 |
| Main Authors: | , , , , , , , , , |
| Format: | Article |
| Language: | Russian |
| Published: |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
2015
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/87174 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Методы исследования свойств высокопроизводительных инфраструктур. Обзор / Ю.В. Бойко, Н.Н. Глибовец, С.В. Ершов, С.Л. Крывый, С.Д. Погорилый, А.И. Ролик, С.Ф. Теленик, А.И. Куляс, Ю.В. Крак, М.В. Ясочка // Управляющие системы и машины. — 2015. — № 1. — С. 3–13. — Бібліогр.: 16 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862541593338183680 |
|---|---|
| author | Бойко, Ю.В. Глибовец, Н.Н. Ершов, С.В. Крывый, С.Л. Погорилый, С.Д. Ролик, А.И. Теленик, С.Ф. Куляс, А.И. Крак, Ю.В. Ясочка, М.В. |
| author_facet | Бойко, Ю.В. Глибовец, Н.Н. Ершов, С.В. Крывый, С.Л. Погорилый, С.Д. Ролик, А.И. Теленик, С.Ф. Куляс, А.И. Крак, Ю.В. Ясочка, М.В. |
| citation_txt | Методы исследования свойств высокопроизводительных инфраструктур. Обзор / Ю.В. Бойко, Н.Н. Глибовец, С.В. Ершов, С.Л. Крывый, С.Д. Погорилый, А.И. Ролик, С.Ф. Теленик, А.И. Куляс, Ю.В. Крак, М.В. Ясочка // Управляющие системы и машины. — 2015. — № 1. — С. 3–13. — Бібліогр.: 16 назв. — рос. |
| collection | DSpace DC |
| container_title | Управляющие системы и машины |
| description | Представлен аналитический обзор современных методов верификации программного обеспечения параллельных и распределенных систем. Описаны методы верификации на основе исследования свойств конечных автоматов, сетей Петри и транзиционных систем.
Представлено аналітичний огляд сучасних методів верифікації програмного забезпечення паралельних та розподілених систем. Описано методи верифікації на основі дослідження властивостей скінченних автоматів, мереж Петрі та транзиційних систем.
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.
|
| first_indexed | 2025-11-24T18:06:40Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-87174 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0130-5395 |
| language | Russian |
| last_indexed | 2025-11-24T18:06:40Z |
| publishDate | 2015 |
| publisher | Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України |
| record_format | dspace |
| spelling | Бойко, Ю.В. Глибовец, Н.Н. Ершов, С.В. Крывый, С.Л. Погорилый, С.Д. Ролик, А.И. Теленик, С.Ф. Куляс, А.И. Крак, Ю.В. Ясочка, М.В. 2015-10-14T08:02:47Z 2015-10-14T08:02:47Z 2015 Методы исследования свойств высокопроизводительных инфраструктур. Обзор / Ю.В. Бойко, Н.Н. Глибовец, С.В. Ершов, С.Л. Крывый, С.Д. Погорилый, А.И. Ролик, С.Ф. Теленик, А.И. Куляс, Ю.В. Крак, М.В. Ясочка // Управляющие системы и машины. — 2015. — № 1. — С. 3–13. — Бібліогр.: 16 назв. — рос. 0130-5395 https://nasplib.isofts.kiev.ua/handle/123456789/87174 51.681.3 Представлен аналитический обзор современных методов верификации программного обеспечения параллельных и распределенных систем. Описаны методы верификации на основе исследования свойств конечных автоматов, сетей Петри и транзиционных систем. Представлено аналітичний огляд сучасних методів верифікації програмного забезпечення паралельних та розподілених систем. Описано методи верифікації на основі дослідження властивостей скінченних автоматів, мереж Петрі та транзиційних систем. 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. ru Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України Управляющие системы и машины Фундаментальные и прикладные проблемы информатики и информационных технологий Методы исследования свойств высокопроизводительных инфраструктур. Обзор Methods for Investigating Properties of High-performance Infrastructures. The review Article published earlier |
| spellingShingle | Методы исследования свойств высокопроизводительных инфраструктур. Обзор Бойко, Ю.В. Глибовец, Н.Н. Ершов, С.В. Крывый, С.Л. Погорилый, С.Д. Ролик, А.И. Теленик, С.Ф. Куляс, А.И. Крак, Ю.В. Ясочка, М.В. Фундаментальные и прикладные проблемы информатики и информационных технологий |
| title | Методы исследования свойств высокопроизводительных инфраструктур. Обзор |
| title_alt | Methods for Investigating Properties of High-performance Infrastructures. The review |
| title_full | Методы исследования свойств высокопроизводительных инфраструктур. Обзор |
| title_fullStr | Методы исследования свойств высокопроизводительных инфраструктур. Обзор |
| title_full_unstemmed | Методы исследования свойств высокопроизводительных инфраструктур. Обзор |
| title_short | Методы исследования свойств высокопроизводительных инфраструктур. Обзор |
| title_sort | методы исследования свойств высокопроизводительных инфраструктур. обзор |
| topic | Фундаментальные и прикладные проблемы информатики и информационных технологий |
| topic_facet | Фундаментальные и прикладные проблемы информатики и информационных технологий |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/87174 |
| work_keys_str_mv | AT boikoûv metodyissledovaniâsvoistvvysokoproizvoditelʹnyhinfrastrukturobzor AT glibovecnn metodyissledovaniâsvoistvvysokoproizvoditelʹnyhinfrastrukturobzor AT eršovsv metodyissledovaniâsvoistvvysokoproizvoditelʹnyhinfrastrukturobzor AT kryvyisl metodyissledovaniâsvoistvvysokoproizvoditelʹnyhinfrastrukturobzor AT pogorilyisd metodyissledovaniâsvoistvvysokoproizvoditelʹnyhinfrastrukturobzor AT rolikai metodyissledovaniâsvoistvvysokoproizvoditelʹnyhinfrastrukturobzor AT teleniksf metodyissledovaniâsvoistvvysokoproizvoditelʹnyhinfrastrukturobzor AT kulâsai metodyissledovaniâsvoistvvysokoproizvoditelʹnyhinfrastrukturobzor AT krakûv metodyissledovaniâsvoistvvysokoproizvoditelʹnyhinfrastrukturobzor AT âsočkamv metodyissledovaniâsvoistvvysokoproizvoditelʹnyhinfrastrukturobzor AT boikoûv methodsforinvestigatingpropertiesofhighperformanceinfrastructuresthereview AT glibovecnn methodsforinvestigatingpropertiesofhighperformanceinfrastructuresthereview AT eršovsv methodsforinvestigatingpropertiesofhighperformanceinfrastructuresthereview AT kryvyisl methodsforinvestigatingpropertiesofhighperformanceinfrastructuresthereview AT pogorilyisd methodsforinvestigatingpropertiesofhighperformanceinfrastructuresthereview AT rolikai methodsforinvestigatingpropertiesofhighperformanceinfrastructuresthereview AT teleniksf methodsforinvestigatingpropertiesofhighperformanceinfrastructuresthereview AT kulâsai methodsforinvestigatingpropertiesofhighperformanceinfrastructuresthereview AT krakûv methodsforinvestigatingpropertiesofhighperformanceinfrastructuresthereview AT âsočkamv methodsforinvestigatingpropertiesofhighperformanceinfrastructuresthereview |