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

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

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

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

Дата публикации: 20.07.2016

Контактные реквизиты:
Тел.: +7(495)912-5317 (404); e-mail: info-lvc@linuxtesting.org; факс: (495) 912-15-24
	
Автор:
Мордань Виталий Олегович

Правообладатель:
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ УЧРЕЖДЕНИЕ НАУКИ ИНСТИТУТ СИСТЕМНОГО ПРОГРАММИРОВАНИЯ РОССИЙСКОЙ АКАДЕМИИ НАУК

Название программы для ЭВМ:
Программный компонент для проверки нескольких правил корректности за один запуск инструмента статической верификации

Реферат:
Программа предназначена для проверки нескольких правил корректности за один запуск инструмента статической верификации. В качестве входных данных программа принимает файлы с исходным кодом драйвера, подготовленные для проверки на основе нескольких правил корректности. В качестве выходных данных программа предоставляет результаты верификации драйвера для каждого правила корректности в формате системы статической верификации драйверов Linux.

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

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

Вид и версия операционной системы: Linux

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