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

Скорочена інформація про документ
dc.contributor.advisorЗаболотня, Тетяна Миколаївна
dc.contributor.authorКорунська, Анна Михайлівна
dc.date.accessioned2022-02-21T09:57:42Z
dc.date.available2022-02-21T09:57:42Z
dc.date.issued2021-12
dc.description.abstractenThis master's thesis is devoted to the development and implementation of a modified smart contracts automated verification method. The thesis analyzes the existing methods of automated verification of the software code of smart contracts, defines the requirements for the developed method. This method differs from the existing ones in that it allows verifying the compliance of the smart contracts code with user-defined functional requirements. The practical value of the results obtained in the work is the integration into the Slither open-source analysis tool. In this master's thesis, software that verifies formally specified user requirements based on an analysis module integrated into the Slither open source tool has been developed.uk
dc.description.abstractukДана магістерська дисертація присвячена розробленню та реалізації модифікованого методу автоматизованої верифікації програмного коду смарт-контрактів. В дисертації проаналізовано існуючі методи автоматизованої верифікації програмного коду смарт-контрактів, визначено вимоги до розроблюваного методу. Даний метод відрізняється від існуючих тим, що дозволяє проводити верифікацію відповідності програмного коду смарт-контрактів заданим користувачем функціональним вимогам. Практична цінність отриманих в роботі результатів полягає в інтеграції в інструмент Slither. У даній магістерській дисертації розроблено програмне забезпечення, яке дозволяє перевіряти формально задані користувачем вимоги на основі модуля аналізу, інтегрованого в інструмент з відкритим вихідним кодом Slither.uk
dc.format.page134 с.uk
dc.identifier.citationКорунська, А. М. Метод автоматизованої верифікації програмного коду смарт-контрактів : магістерська дис. : 121 Інженерія програмного забезпечення / Корунська Анна Михайлівна. – Київ, 2021. – 134 с.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/46640
dc.language.isoukuk
dc.publisherКПІ ім. Ігоря Сікорськогоuk
dc.publisher.placeКиївuk
dc.subjectдецентралізовані системиuk
dc.subjectdecentralized systemsuk
dc.subjectблокчейнuk
dc.subjectblockchainuk
dc.subjectsolidityuk
dc.subjectсмарт-контрактuk
dc.subjectsmart contractuk
dc.subjectверифікаціяuk
dc.subjectverificationuk
dc.subjectsliheruk
dc.subjectslithIRuk
dc.subject.udc004.91uk
dc.titleМетод автоматизованої верифікації програмного коду смарт-контрактівuk
dc.typeMaster Thesisuk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
Korunska_magistr.pdf
Розмір:
4.27 MB
Формат:
Adobe Portable Document Format
Опис:
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
9.01 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Магістерські роботи (ПЗКС)
Магістерські роботи