Sciact
Toggle navigation
  • EN
  • RU

Разделы:

  • Статьи
  • Книги
  • Доклады на конференциях
  • Тезисы докладов
  • Патенты

Программная система «СемКонт» Патенты

Язык: Русский
Тип: Программа для ЭВМ
Номер (11) Россия 2021610633
Номер заявки (21): 2020667890
Дата подачи заявки (22): 28 дек. 2020 г.
Дата начала отсчета срока действия патента (24): 15 янв. 2021 г.
Дата публикации патента (44,45,46): 15 янв. 2021 г.
Дата публикации заявки (43):
Авторы Пальчунов Д.Е. , Галиева А.Г.
Организации
1 Новосибирский государственный университет
Реферат: Программа предназначена для создания формализованных автоматизированных контрактов (смарт-контрактов) с поддержкой их автоматизированной верификации и валидации. Программа реализует процесс создания смарт- контракта по имеющемуся набору шаблонов и исполнения смарт-контракта. Отличительной особенностью программы является возможность валидации смарт-контракта экспертами предметной области, не имеющими навыков программирования, что значительно упрощает и удешевляет процесс аудита созданных смарт-контрактов. Это достигается за счёт того, что программа позволяет одновременно с созданием смарт-контракта в автоматизированном режиме сгенерировать его описание на естественном языке для валидации условий, заданных стейкхолдерами. ОС: Windows 7 и выше.
Библиографическая ссылка: Пальчунов Д.Е. , Галиева А.Г.
Программная система «СемКонт»
Номер: Россия2021610633, действие с 15 янв. 2021 г., Заявка 2020667890 с 28 дек. 2020 г. РИНЦ
Идентификаторы БД:
РИНЦ: 44761928
Название: Программная система «СемКонт»