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