РОССИЙСКАЯ ФЕДЕРАЦИЯ
ФЕДЕРАЛЬНАЯ СЛУЖБА ПО ИНТЕЛЛЕКТУАЛЬНОЙ СОБСТВЕННОСТИ
ГОСУДАРСТВЕННАЯ РЕГИСТРАЦИЯ ПРОГРАММЫ ДЛЯ ЭВМ

Номер регистрации (свидетельства): 2016663477

Дата регистрации: 08.12.2016

Номер и дата поступления заявки: 2016660144 29.09.2016

Дата публикации: 10.01.2017
	
Авторы:
Десницкий Василий Алексеевич,
Котенко Игорь Витальевич

Правообладатель:
Федеральное государственное бюджетное учреждение науки Санкт-Петербургский институт информатики и автоматизации Российской академии наук (СПИИРАН)

Название программы для ЭВМ:
Компонент оценки эффективности верификации информационных потоков на основе метода проверки на модели

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

Тип реализующей ЭВМ: IBM РС-совмест. ПК

Язык программирования: Promela

Вид и версия операционной системы: Windows 2000/XP/Vista/7/8, Linux

Объем программы для ЭВМ: 29 Кб