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

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

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

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

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

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

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

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

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

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

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

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