Методи верифікації безпеки смарт-контрактів

Скорочена інформація про документ
dc.contributor.authorМокрій, В. С.
dc.contributor.authorВ'юхiн, Д. О.
dc.date.accessioned2025-12-30T11:57:40Z
dc.date.issued2025
dc.identifier.citationМокрій В. С. Методи верифікації безпеки смарт-контрактів / В. С. Мокрій, Д. О. В'юхiн // Проблеми інформатизації = Problems of informatization : тези доп. тринадцятої міжнар. наук.-техн. конф., 27-28 листопада 2025 р., м. Баку, м. Харків, м. Бельсько-Бяла : [у 4 т.]. Т. 2 : секцiї 3, 7 / Ін-т систем управління МНО Азербайджанської республіки , Національний технічний університет "Харківський політехнічний інститут", Харківський національний університет радіоелектроніки [та ін.] ; орг. ком.: співголови: Гашимов Ельшан Гіяс огли [та ін.] – Харків : НТУ "ХПІ", 2025. – С. 88-89.
dc.identifier.urihttps://repository.kpi.kharkov.ua/handle/KhPI-Press/96965
dc.language.isouk
dc.publisherНаціональний технічний університет "Харківський політехнічний інститут"
dc.subjectсмарт-контракти
dc.subjectблокчейн
dc.subjectстатичний аналіз
dc.subjectперевірка безпеки
dc.titleМетоди верифікації безпеки смарт-контрактів
dc.typeArticle

Файли

Контейнер файлів

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
Mokrii_Metody_veryfikatsii_2025.pdf
Розмір:
305.33 KB
Формат:
Adobe Portable Document Format
Завантажити

Ліцензійна угода

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
11.15 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекції

Проблеми інформатизації. 2025