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