Компонент оценки эффективности верификации информационных потоков на основе метода проверки на модели

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