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

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

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

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

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

Правообладатель:
Государственное казенное образовательное учреждение высшего профессионального образования Академия Федеральной службы охраны Российской Федерации (Академия ФСО России)

Название программы для ЭВМ:
«Программное средство построения модели исполняемого файла на языке Promela»

Реферат:
Программа предназначена для построения модели исполняемого файла на языке моделирования Promela (Process meta language). При этом предполагается преобразование исполняемого файла из бинарного представления к модели, описанной на языке Promela, для последующей верификации этой модели на соответствие требованиям заявленной спецификации.

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

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

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

Объем программы для ЭВМ: 2,3 Мб