ДИНГАНКАР Аджит (US)

Изобретение относится к способам и устройствам проверки правильности структуры протокола. Технический результат заключается в повышении точности проверки правильности реализации протокола. Пространство покрытия состояний для структуры генерируется и сохраняется в базе данных. Во время моделирования встречающиеся состояния пространства покрытия маркируются. Из этого можно определить встретившиеся...