Метод автоматизованої верифікації програмного коду смарт-контрактів
Вантажиться...
Дата
2021-12
Автори
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
Дана магістерська дисертація присвячена розробленню та реалізації модифікованого методу автоматизованої верифікації програмного коду смарт-контрактів.
В дисертації проаналізовано існуючі методи автоматизованої верифікації програмного коду смарт-контрактів, визначено вимоги до розроблюваного методу. Даний метод відрізняється від існуючих тим, що дозволяє проводити верифікацію відповідності програмного коду смарт-контрактів заданим користувачем функціональним вимогам. Практична цінність отриманих в роботі результатів полягає в інтеграції в інструмент Slither.
У даній магістерській дисертації розроблено програмне забезпечення, яке дозволяє перевіряти формально задані користувачем вимоги на основі модуля аналізу, інтегрованого в інструмент з відкритим вихідним кодом Slither.
Опис
Ключові слова
децентралізовані системи, decentralized systems, блокчейн, blockchain, solidity, смарт-контракт, smart contract, верифікація, verification, sliher, slithIR
Бібліографічний опис
Корунська, А. М. Метод автоматизованої верифікації програмного коду смарт-контрактів : магістерська дис. : 121 Інженерія програмного забезпечення / Корунська Анна Михайлівна. – Київ, 2021. – 134 с.