Библиотека для верификации структурированных программ

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

Авторы
Зотов С.В.
Номер заявки
2014660183
Дата заявки
09.10.2014
Номер патента
2014662498
Дата регистрации
01.12.2014
Дата начала срока действия
09.10.2014
Дата окончания срока дейтсвия
-
Страна
Россия
База данных
Рефераты российских изобретений
Тип
Программа для ЭВМ
Язык
Русский
Статус
Действует
Подразделение
-
IPC
-
Направления исследований
05.13.01 Системный анализ, управление и обработка информации
Заявители
-
Патентообладатели
РУДН
Патентные поверенные
-
Организации
  • 1 РУДН
Ключевые слова
-
Дата создания
19.08.2019
Дата изменения
19.08.2019
Постоянная ссылка
https://repository.rudn.ru/ru/records/patent/record/39968/