Журнал
Научно-технический вестник информационных технологий, механики и оптики
УДК:004.4’242
Номер:8 (53)
В настоящей работе предлагается метод автоматической динамической верификации систем автоматов Мили, основанный на обходе альтернирующих автоматов. Описывается структура метода, правила построения протоколов и спецификации, а также выполняется анализ функциональных характеристик метода на основе разработанной реализации.