|
Автор: Бойко Ю.В., Глибовец Н.Н., Ершов С.В., Крывый С.Л., Погорилый С.Д., Ролик А.И., Теленик С.Ф., Куляс А.И., Крак Ю.В., Ясочка М.В.
-
Ключові слова:
мережі Петрі, сети Петри ; транзиції, транзиции
-
Анотація:
Представлен аналитический обзор современных методов верификации программного обеспечения параллельных и распределенных систем. Описаны методы верификации на основе исследования свойств конечных автоматов, сетей Петри и транзиционных систем.
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.
Представлено аналітичний огляд сучасних метод1в верифікації програмного забезпечення паралельних та розподілених систем. Описано методи верифікації на основі дослідження властивостей скінченних автоматів, мереж Петрі та транзиційних систем.
-
Є складовою частиною документа:
-
Теми документа
-
Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ
| 