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

Дмитрий Евгеньевич Пальчунов (автор), Айя Галиевна Галиева (автор)

Результат исследования: Патенты/Свидетельства о регистрациисвидетельство о регистрации программ для ЭВМ

Аннотация

Программа предназначена для создания формализованных автоматизированных контрактов (смарт-контрактов) с поддержкой их автоматизированной верификации и валидации. Программа реализует процесс создания смарт- контракта по имеющемуся набору шаблонов и исполнения смарт-контракта. Отличительной особенностью программы является возможность валидации смарт-контракта экспертами предметной области, не имеющими навыков программирования, что значительно упрощает и удешевляет процесс аудита созданных смарт-контрактов. Это достигается за счёт того, что программа позволяет одновременно с созданием смарт-контракта в автоматизированном режиме сгенерировать его описание на естественном языке для валидации условий, заданных стейкхолдерами. ОС: Windows 7 и выше.
Язык оригиналарусский
Номер патента2021610633
Дата приоритета28.12.2020
СостояниеОпубликовано - 15 янв 2021

Цитировать