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