|
Верификация коммуникационных протоколов, представленных на языке ESTELLE, с помощью сетей Петри высокого уровня [Текст] / В. А. Непомящий, Г. И. Алексеев, А. В. Быстров [et al.] // Программирование. – 2001. – № 2. – 5-20.
Представлен программный комплекс EPV, ориентированный на верификацию статических Estelle-спецификаций коммуникационных протоколов посредством их трансляции в ИВТ-сети. Описаны эксперименты по симуляции и поиску семантических ошибок реально используемых протоколов |