Программная система «СемКонт»
Patents
| Language: |
Русский |
| Type: |
Computer program |
| Number |
Россия 2021610633 |
| Request number: |
2020667890 |
| Request date: |
Dec 28, 2020 |
| patent.field.start_date: |
Jan 15, 2021 |
| Registration date: |
Jan 15, 2021 |
| patent.field.request_publication_date: |
|
| Authors |
Пальчунов Д.Е.
,
Галиева А.Г.
|
| Affiliations |
| 1 |
Novosibirsk State University
|
|
Программа предназначена для создания формализованных автоматизированных контрактов (смарт-контрактов) с поддержкой их автоматизированной верификации и валидации. Программа реализует процесс создания смарт- контракта по имеющемуся набору шаблонов и исполнения смарт-контракта. Отличительной особенностью программы является возможность валидации смарт-контракта экспертами предметной области, не имеющими навыков программирования, что значительно упрощает и удешевляет процесс аудита созданных смарт-контрактов. Это достигается за счёт того, что программа позволяет одновременно с созданием смарт-контракта в автоматизированном режиме сгенерировать его описание на естественном языке для валидации условий, заданных стейкхолдерами. ОС: Windows 7 и выше.