Программная система СемКонт
АНАЛИЗ ТЕКСТОВ ЕСТЕСТВЕННОГО ЯЗЫКА ВАЛИДАЦИЯ ВЕРИФИКАЦИЯ АВТОМАТИЗИРОВАННЫЙ КОНТРАКТ СМАРТ-КОНТРАКТ
Программа предназначена для создания формализованных автоматизированных контрактов (смарт-контрактов) с поддержкой их автоматизированной верификации и валидации. Программа реализует про-цесс создания смарт- контракта по имеющемуся набору шаблонов и исполнения смарт-контракта. Отли-чительной особенностью программы является возможность валидации смарт-контракта экспертами предметной области, не имеющими навыков программирования, что значительно упрощает и удешевля-ет процесс аудита созданных смарт-контрактов. Это достигается за счёт того, что программа позволяет одновременно с созданием смарт-контракта в автоматизированном режиме сгенерировать его описание на естественном языке для валидации условий, заданных стейкхолдерами.
Разработка формализованных автоматизированных контрактов (смарт-контрактов). Автоматизация ауди-та смарт-контрактов. Автоматизация бизнес-процессов предприятий. Разработка интеллектуальных по-мощников. Цифровизация и цифровая трансформация экономики.
Дмитрий
Пальчунов
Евгеньевич
Заведующий кафедрой
Доктор физико-математических наук
Доцент
B-3113-2016
16414211000
2070
http://a-server.math.nsc.ru/IM/sotrudl.asp?CodID=435
-
РОССИЯ
Михаил
Федорук
Петрович
ректор
РОССИЯ
28.23.29
Программная реализация интеллектуальных систем
01.02.EP
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
Дмитрий
Пальчунов
Евгеньевич
Формализация задачи, разработка алгоритма
РОССИЯ
Айя
Галиева
Галиевна
Разработка алгоритма, написание исходного текста программы
РОССИЯ
Новосибирский государственный университет; НГУ
Федеральное государственное автономное образовательное учреждение высшего образования "Новосибирский национальный исследовательский государственный университет"
1025403658565
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные бюджетные учреждения